Disable SV-COMP loop unrolling in preparation for PR #1372

sim642 · sim642 · commit 6201b38513ff · 2024-04-02T10:35:04.000+03:00
Partial cherry-pick of 0bf0407.
diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -84,7 +84,6 @@
         "congruence",
         "octagon",
         "wideningThresholds",
-        "loopUnrollHeuristic",
         "memsafetySpecification",
         "termination",
         "tmpSpecialAnalysis"
