correct ktest-tool command for mac

icyphy · Jul 21, 2024 · aee539d · aee539d
1 parent 1226c6e
commit aee539d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt_solver/extract_klee_input.py b/src/smt_solver/extract_klee_input.py
@@ -66,7 +66,7 @@ def run_ktest_tool(ktest_file, output_file):
     """
     # Run ktest-tool on the ktest file and save the output to the output file
     with open(output_file, 'w') as f:
-        subprocess.run(['klee.ktest-tool', ktest_file], stdout=f, text=True)
+        subprocess.run(['ktest-tool', ktest_file], stdout=f, text=True)