Add default analyses to old confs

goblint · Feb 20, 2023 · b88dc23 · b88dc23
1 parent 027e363
commit b88dc23
Show file tree

Hide file tree

Showing 12 changed files with 30 additions and 7 deletions.
diff --git a/conf/bench-yaml-validate.json b/conf/bench-yaml-validate.json
@@ -15,6 +15,7 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "mallocWrapper",
       "mhp",
       "assert",

diff --git a/conf/bench-yaml.json b/conf/bench-yaml.json
@@ -15,6 +15,7 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "mallocWrapper",
       "mhp",
       "assert"

diff --git a/conf/examples/large-program.json b/conf/examples/large-program.json
@@ -1,7 +1,7 @@
 {
     "ana": {
       "activated": [
-        "base", "mallocWrapper","escape","mutex","mutexEvents","access"
+        "base", "mallocWrapper","escape","mutex","mutexEvents","access", "race", "assert"
       ],
       "base": {
         "privatization": "none",

diff --git a/conf/examples/medium-program.json b/conf/examples/medium-program.json
@@ -13,8 +13,11 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "escape",
       "expRelation",
+      "mhp",
+      "assert",
       "var_eq",
       "symb_locks",
       "region",

diff --git a/conf/examples/very-precise.json b/conf/examples/very-precise.json
@@ -26,8 +26,11 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "escape",
       "expRelation",
+      "mhp",
+      "assert",
       "var_eq",
       "symb_locks",
       "region",

diff --git a/conf/ldv-races.json b/conf/ldv-races.json
@@ -25,9 +25,11 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "escape",
       "expRelation",
-      "mhp"
+      "mhp",
+      "assert"
     ],
     "malloc": {
       "wrappers": [

diff --git a/conf/svcomp22-intervals-novareq-affeq-apron.json b/conf/svcomp22-intervals-novareq-affeq-apron.json
@@ -17,12 +17,15 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "escape",
       "expRelation",
       "apron",
       "symb_locks",
       "region",
-      "thread"
+      "thread",
+      "mhp",
+      "assert"
     ],
     "context": {
       "widen": false

diff --git a/conf/svcomp22-intervals-novareq-affeq-native.json b/conf/svcomp22-intervals-novareq-affeq-native.json
@@ -18,11 +18,14 @@
       "mutex",
       "affeq",
       "access",
+      "race",
       "escape",
       "expRelation",
       "symb_locks",
       "region",
-      "thread"
+      "thread",
+      "mhp",
+      "assert"
     ],
     "context": {
       "widen": false

diff --git a/conf/svcomp22-intervals-novareq-octagon-apron.json b/conf/svcomp22-intervals-novareq-octagon-apron.json
@@ -17,12 +17,15 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "escape",
       "expRelation",
       "apron",
       "symb_locks",
       "region",
-      "thread"
+      "thread",
+      "mhp",
+      "assert"
     ],
     "context": {
       "widen": false

diff --git a/conf/svcomp22-intervals-novareq-polyhedra-apron.json b/conf/svcomp22-intervals-novareq-polyhedra-apron.json
@@ -17,12 +17,15 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "escape",
       "expRelation",
       "apron",
       "symb_locks",
       "region",
-      "thread"
+      "thread",
+      "mhp",
+      "assert"
     ],
     "context": {
       "widen": false

diff --git a/conf/traces-rel-toy.json b/conf/traces-rel-toy.json
@@ -10,6 +10,7 @@
       "mutexEvents",
       "mutex",
       "access",
+      "race",
       "mallocWrapper",
       "mhp",
       "apron",

diff --git a/conf/zstd-race.json b/conf/zstd-race.json
@@ -2,7 +2,7 @@
   "ana": {
     "activated": [
       "expRelation", "base", "threadid", "threadflag", "threadreturn",
-      "escape", "mutexEvents", "mutex", "access", "mallocWrapper", "mhp",
+      "escape", "mutexEvents", "mutex", "access", "race", "mallocWrapper", "mhp", "assert",
       "symb_locks", "var_eq", "mallocFresh"
     ],
     "ctx_insens": [