From 0d4c8995e9447d06d27c3cd532b7369aa5d70256 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 7 Feb 2022 20:46:18 -0800 Subject: [PATCH] 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. --- cmake/fuzzing-murxla.cmake | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 " DEPENDS Murxla-EP -) \ No newline at end of file +) -- 2.30.2