Use threadflag path-sensitivity instead of threadid in svcomp conf

This is enough for ldv-races/race-2_1-container_of, etc, but cheaper.
goblint · Nov 1, 2023 · 35f9323 · 35f9323
1 parent 94307d0
commit 35f9323
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/conf/svcomp.json b/conf/svcomp.json
@@ -38,7 +38,7 @@
       "uninit",
       "expsplit",
       "activeSetjmp",
-      "threadid"
+      "threadflag"
     ],
     "context": {
       "widen": false