Fixed minor errors in update_bench_traces_rel_assert.py and update_be…

…nch_traces_rel_yaml.py
goblint · May 13, 2024 · 6e373d5 · 6e373d5
1 parent 531a711
commit 6e373d5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/update_bench_traces_rel_assert.py b/update_bench_traces_rel_assert.py
@@ -12,7 +12,7 @@
 goblint_assert = GoblintTool(
     name="goblint_assert",
     program=str(Path("../analyzer/goblint").absolute()),
-    args=["-v", "--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "dbg.debug","--set", "trans.activated[+]", "assert",
+    args=["-v", "--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "warn.debug","--set", "trans.activated[+]", "assert",
           "--set" ,"ana.activated[+]" ,"apron" ,"--set" ,"ana.path_sens[+]" ,"threadflag", "--set" ,"ana.relation.privatization", "mutex-meet-tid-cluster12"],
     dump = "assert"
 )
@@ -21,7 +21,7 @@ def index_tool_factory(name, args):
     goblint = GoblintTool(
         name=name,
         program=str(Path("../analyzer/goblint").absolute()),
-        args=["-v", "--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "dbg.debug"] + args,
+        args=["-v", "--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "warn.debug"] + args,
         dump= 'apron',
         assertion = goblint_assert
     )

diff --git a/update_bench_traces_rel_yaml.py b/update_bench_traces_rel_yaml.py
@@ -12,8 +12,9 @@
 goblint_witness = GoblintTool(
     name="witness_gen",
     program=str(Path("../analyzer/goblint").absolute()),
-    args=["--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "dbg.debug", "--enable",
-          "witness.yaml.enabled"],
+    args=["--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "warn.debug", "--enable",
+          "witness.yaml.enabled","--set" ,"ana.activated[+]" ,"apron" ,"--set" ,"ana.path_sens[+]" ,"threadflag", "--set" ,"ana.relation.privatization", "mutex-meet-tid-cluster12",
+          "--set", "witness.yaml.entry-types[-]", "invariant_set"],
     dump='witness'
 
 )
@@ -23,7 +24,7 @@ def index_tool_factory(name, args):
     goblint = GoblintTool(
         name=name,
         program=str(Path("../analyzer/goblint").absolute()),
-        args=["--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "dbg.debug"] + args,
+        args=["--conf", str(Path("../analyzer/conf/traces-rel.json").absolute()), "--enable", "warn.debug"] + args,
         dump='apron',
         validate= goblint_witness
     )