Disable free races in svcomp

They should be considered MemSafety issues instead.
goblint · Oct 4, 2023 · 35f6d00 · 35f6d00
1 parent 80b3b72
commit 35f6d00
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -61,6 +61,9 @@
         "domain": "partitioned"
       }
     },
+    "race": {
+      "free": false
+    },
     "autotune": {
       "enabled": true,
       "activated": [