Add termination to autotune for svcomp.json, but remove it from svcom…

…p23.json.
goblint · Nov 15, 2023 · cbe4ad0 · cbe4ad0
1 parent 245b438
commit cbe4ad0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -71,7 +71,8 @@
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic",
-        "memsafetySpecification"
+        "memsafetySpecification",
+        "termination"
       ]
     }
   },

diff --git a/conf/svcomp23.json b/conf/svcomp23.json
@@ -70,8 +70,7 @@
         "congruence",
         "octagon",
         "wideningThresholds",
-        "loopUnrollHeuristic",
-        "termination"
+        "loopUnrollHeuristic"
       ]
     }
   },