From 35f9323854d7e358a63b374c0bad3ced5cc1d4ed Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 1 Nov 2023 12:10:56 +0200
Subject: [PATCH] Use threadflag path-sensitivity instead of threadid in svcomp
 conf

This is enough for ldv-races/race-2_1-container_of, etc, but cheaper.
---
 conf/svcomp.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf/svcomp.json b/conf/svcomp.json
index df624e4b83..d17e1a5f1e 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -38,7 +38,7 @@
       "uninit",
       "expsplit",
       "activeSetjmp",
-      "threadid"
+      "threadflag"
     ],
     "context": {
       "widen": false