Minor changes

hmc-alpaqa · Jun 29, 2021 · b5f986a · b5f986a
1 parent 138096b
commit b5f986a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/klee/klee_general.py b/src/klee/klee_general.py
@@ -187,7 +187,7 @@ def main() -> None:
     # functions = ['08_selectionsort_no_helper', 'selectionsort']
     # functions = ['selectionsort']
     # functions = ['04_mincoins_no_helper']
-    # functions = ['06_binarysearch_no_helper']
+    functions = ['06_binarysearch_no_helper']
     # functions = ['16_printprimes_no_helper']
     labels = ["normal"] # the labels for the different "compilation methods"
     # xaxis = ['1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14',

diff --git a/src/tests/cFiles/benchmark/kleeversions/06_binarysearch_no_helper.c b/src/tests/cFiles/benchmark/kleeversions/06_binarysearch_no_helper.c
@@ -36,7 +36,9 @@ int mainn(int list [], int size)
 
     while (first <= last)
     {
-        mid = (first + last) / 2;
+        int t1 = first/2;
+        int t2 = last/2;
+        mid = t1 + t2;
         if (data > list[mid])
         {
             first = mid + 1;
@@ -49,6 +51,7 @@ int mainn(int list [], int size)
         else
         {
             found = mid + 1;
+            break;
         }
     }