From 6055e8dd7e768d2b061c16b9da61a579e120b146 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 31 Jul 2024 11:29:15 +0300
Subject: [PATCH] Activate abortUnless in svcomp-ghost conf also

---
 conf/svcomp-ghost.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/conf/svcomp-ghost.json b/conf/svcomp-ghost.json
index 84f127eb91..108b261322 100644
--- a/conf/svcomp-ghost.json
+++ b/conf/svcomp-ghost.json
@@ -31,6 +31,7 @@
       "region",
       "thread",
       "threadJoins",
+      "abortUnless",
       "mutexGhosts",
       "pthreadMutexType"
     ],