Make threadid path sensitive in svcomp

This is required for some ldv-races/ no-data-race tasks.
goblint · Oct 4, 2023 · b6dfb14 · b6dfb14
1 parent 35f6d00
commit b6dfb14
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -32,6 +32,14 @@
       "thread",
       "threadJoins"
     ],
+    "path_sens": [
+      "mutex",
+      "malloc_null",
+      "uninit",
+      "expsplit",
+      "activeSetjmp",
+      "threadid"
+    ],
     "context": {
       "widen": false
     },