path to my klee headers

icyphy · Jul 21, 2024 · d4abe28 · d4abe28
1 parent aee539d
commit d4abe28
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/smt_solver/commands.txt b/src/smt_solver/commands.txt
@@ -18,3 +18,6 @@ output: klee-last (klee tests)
 #ouput klee tests
 ktest-tool klee-last/test000001.ktest
 ouput: test-stats
+
+#klee_headers = "#include </opt/homebrew/opt/klee/include/klee/klee.h>\n#include <stdbool.h>\n"
+