Automatically set cil.addNestedScopeAttr in autoTune when running `…

…memOutOfBounds`
goblint · Oct 3, 2023 · ac7dd71 · ac7dd71
1 parent 003b814
commit ac7dd71
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -225,6 +225,8 @@ let focusOnSpecification () =
     enableAnalyses uafAna
   | ValidDeref -> (* Enable the memOutOfBounds analysis *)
     let memOobAna = ["memOutOfBounds"] in
+    print_endline "Setting \"cil.addNestedScopeAttr\" to true";
+    set_bool "cil.addNestedScopeAttr" true;
     print_endline @@ "Specification: ValidDeref -> enabling memOutOfBounds analysis \"" ^ (String.concat ", " memOobAna) ^ "\"";
     enableAnalyses memOobAna
   | ValidMemtrack