Activate abortUnless in svcomp-ghost conf also

goblint · Jul 31, 2024 · 6055e8d · 6055e8d
1 parent c18061e
commit 6055e8d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/conf/svcomp-ghost.json b/conf/svcomp-ghost.json
@@ -31,6 +31,7 @@
       "region",
       "thread",
       "threadJoins",
+      "abortUnless",
       "mutexGhosts",
       "pthreadMutexType"
     ],