From: Gereon Kremer <nafur42@gmail.com>
Date: Tue, 8 Feb 2022 04:46:18 +0000 (-0800)
Subject: Print more commonly used murxla commands (#8046)
X-Git-Tag: cvc5-1.0.0~438
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0d4c8995e9447d06d27c3cd532b7369aa5d70256;p=cvc5.git

Print more commonly used murxla commands (#8046)

Given that murxla requires multiple invocations with different arguments for a typical workflow, I found it very helpful to have them recalled whenever I build it.
---

diff --git a/cmake/fuzzing-murxla.cmake b/cmake/fuzzing-murxla.cmake
index b5699e925..88ea98bb1 100644
--- a/cmake/fuzzing-murxla.cmake
+++ b/cmake/fuzzing-murxla.cmake
@@ -54,6 +54,8 @@ set(MURXLA_BINARY "deps/bin/murxla")
 add_custom_target(fuzz-murxla
   COMMAND echo ""
   COMMAND echo "Run Murxla as follows:"
-  COMMAND echo "  LD_LIBRARY_PATH=${CMAKE_BINARY_DIR}/murxla-install/usr/local/lib/ ${MURXLA_BINARY} -t 1 --cvc5"
+  COMMAND echo "  LD_LIBRARY_PATH=${CMAKE_BINARY_DIR}/murxla-install/usr/local/lib/ ${MURXLA_BINARY} -t 1 -d --cvc5"
+  COMMAND echo "Convert traces to SMT-LIB as follows:"
+  COMMAND echo "  LD_LIBRARY_PATH=${CMAKE_BINARY_DIR}/murxla-install/usr/local/lib/ ${MURXLA_BINARY} --smt2 -u <filename>"
   DEPENDS Murxla-EP
-)
\ No newline at end of file
+)