From 4f5dcf38f05095ff04c514d83051a79c1a863fa9 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 23 Nov 2022 10:08:45 +0200
Subject: [PATCH] Activate congruence autotuning in svcomp23 conf

---
 conf/svcomp23.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/conf/svcomp23.json b/conf/svcomp23.json
index 1e125745c3..56474fbe2b 100644
--- a/conf/svcomp23.json
+++ b/conf/svcomp23.json
@@ -67,6 +67,7 @@
         "mallocWrappers",
         "noRecursiveIntervals",
         "enums",
+        "congruence",
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic"