Update sv-comp configurations according to new schema

karoliineh · karoliineh · commit af517a4180a8 · 2026-03-05T16:59:33.000+02:00
diff --git a/conf/svcomp-ghost.json b/conf/svcomp-ghost.json
@@ -86,7 +86,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp23.json b/conf/svcomp23.json
@@ -68,7 +68,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic"
       ]
diff --git a/conf/svcomp24-validate.json b/conf/svcomp24-validate.json
@@ -84,7 +84,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp24.json b/conf/svcomp24.json
@@ -83,7 +83,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp25-validate.json b/conf/svcomp25-validate.json
@@ -64,7 +64,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp25.json b/conf/svcomp25.json
@@ -63,7 +63,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp26/level01.json b/conf/svcomp26/level01.json
@@ -55,7 +55,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp26/level04-validate.json b/conf/svcomp26/level04-validate.json
@@ -60,7 +60,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
diff --git a/conf/svcomp26/level04.json b/conf/svcomp26/level04.json
@@ -60,7 +60,8 @@
         "noRecursiveIntervals",
         "enums",
         "congruence",
-        "octagon",
+        "octagonAnalysis",
+        "octagonVars",
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
