Restore loopUnrollHeuristic in svcomp conf

Reverts 0bf0407 and 1844203.
goblint · Apr 4, 2024 · 27a7518 · 27a7518
1 parent ddcbc96
commit 27a7518
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 139 deletions.
diff --git a/conf/svcomp-validate.json b/conf/svcomp-validate.json
diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -84,6 +84,7 @@
         "congruence",
         "octagon",
         "wideningThresholds",
+        "loopUnrollHeuristic",
         "memsafetySpecification",
         "termination",
         "tmpSpecialAnalysis"