Activate congruence autotuning in svcomp23 conf

goblint · Nov 23, 2022 · 4f5dcf3 · 4f5dcf3
1 parent bf9e0be
commit 4f5dcf3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/conf/svcomp23.json b/conf/svcomp23.json
@@ -67,6 +67,7 @@
         "mallocWrappers",
         "noRecursiveIntervals",
         "enums",
+        "congruence",
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic"