From d4abe283ebd40326156ebaf1b70eb6815cb98665 Mon Sep 17 00:00:00 2001
From: Abdalla <a.eltayeb@campus.tu-berlin.de>
Date: Sun, 21 Jul 2024 15:06:50 +0200
Subject: [PATCH] path to my klee headers

---
 src/smt_solver/commands.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/smt_solver/commands.txt b/src/smt_solver/commands.txt
index 1170fcc..71e4a45 100644
--- 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"
+