fix: errors

icyphy · Sep 5, 2024 · a1961a2 · a1961a2
1 parent eb30c38
commit a1961a2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/test/tacle_test/programs/ext_func/ext_lib_test/ext_func.c b/test/tacle_test/programs/ext_func/ext_lib_test/ext_func.c
@@ -1,5 +1,5 @@
 #include "helper.h"
-#include </snap/klee/9/usr/local/include/klee/klee.h>
+#include </opt/homebrew/opt/klee/include/klee/klee.h>
 
 int ext_func(int x){
     if (abs(x) == 4) {

diff --git a/test/tacle_test/programs/if_elif_else/config.yaml b/test/tacle_test/programs/if_elif_else/config.yaml
@@ -3,6 +3,7 @@ gametime-project:
   file:
     location: if_elif_else.c
     analysis-function: test
+    additional-files: helper.c
     start-label: null
     end-label: null
 
@@ -11,7 +12,7 @@ gametime-project:
     include: null
     merge: null
     inline: yes
-    unroll-loops: Yes
+    unroll-loops: null
 
   analysis:
     maximum-error-scale-factor: 10