Enable ana.apron.invariant.diff-box in svcomp26 conf

karoliineh · karoliineh · commit ee4733d52e5b · 2025-11-20T14:59:34.000+02:00
diff --git a/conf/svcomp26.json b/conf/svcomp26.json
@@ -9,6 +9,11 @@
       "enums": false,
       "interval": true
     },
+    "apron": {
+      "invariant": {
+        "diff-box": true
+      }
+    },
     "float": {
       "interval": true,
       "evaluate_math_functions": true
