Undo setting mutex-meet-tid privatization in autotuner

goblint · Nov 22, 2023 · 06f543a · 06f543a
1 parent 8ae1172
commit 06f543a
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -223,10 +223,6 @@ let focusOnMemSafetySpecification (spec: Svcomp.Specification.t) =
     set_bool "cil.addNestedScopeAttr" true;
     print_endline @@ "Specification: ValidDeref -> enabling memOutOfBounds analysis \"" ^ (String.concat ", " memOobAna) ^ "\"";
     enableAnalyses memOobAna;
-    (* Set privatization to mutex-meet-tid *)
-    set_string "ana.base.privatization" "mutex-meet-tid";
-    (* Required for mutex-meet-tid privatization *)
-    GobConfig.set_auto "ana.path_sens[+]" "threadflag";
   | ValidMemtrack
   | ValidMemcleanup -> (* Enable the memLeak analysis *)
     let memLeakAna = ["memLeak"] in