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 b5699e9253fd0e50aa3efddbfaafe262fb67e27b..88ea98bb10673888a20c645bb4002d961321af5f 100644 (file)
--- 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
+)