Enable ana.apron.invariant.diff-box in svcomp26 verify confs

sim642 · sim642 · commit bb55b70d9129 · 2025-11-18T18:15:01.000+02:00
diff --git a/conf/svcomp26/verify.json b/conf/svcomp26/verify.json
@@ -1,4 +1,11 @@
 {
+  "ana": {
+    "apron": {
+      "invariant": {
+        "diff-box": true
+      }
+    }
+  },
   "witness": {
     "yaml": {
       "enabled": true,
