From ad207a89403a1a7f31f80adaa1d68e32b1edfc88 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Fri, 18 Nov 2022 14:05:53 +0100
Subject: [PATCH] Remove congruenceTuning (covered in #911)

---
 src/autoTune.ml | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/src/autoTune.ml b/src/autoTune.ml
index ed9caea825..1972dc12af 100644
--- a/src/autoTune.ml
+++ b/src/autoTune.ml
@@ -368,14 +368,6 @@ let wideningOption factors file =
       print_endline "Enabled widening thresholds";
   }
 
-let congruenceOption factors file = 
-  {
-    value = 8000;
-    cost = 8000;
-    activate = fun () ->
-      print_endline "Congruence enabled for whole file";
-      set_bool "ana.int.congruence" true;
-  }
 
 let estimateComplexity factors file =
   let pathsEstimate = factors.loops + factors.controlFlowStatements / 90 in
@@ -437,7 +429,6 @@ let chooseConfig file =
   print_endline @@ "File: " ^ string_of_int fileCompplexity;
 
   let options = [] in
-  let options = if isActivated "congruence" then (congruenceOption factors file)::options else options in
   let options = if isActivated "octagon" then (apronOctagonOption factors file)::options else options in
   let options = if isActivated "wideningThresholds" then (wideningOption factors file)::options else options in