From f9e774a2f0fa538f5cb901a228981dc4f8d1ac84 Mon Sep 17 00:00:00 2001
From: Johanna Schinabeck <johanna@Johanna>
Date: Mon, 5 Feb 2024 09:16:19 +0100
Subject: [PATCH] fixed loopfreeCallstring configuration

---
 conf/loopfreeCallstring.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/conf/loopfreeCallstring.json b/conf/loopfreeCallstring.json
index 8a28076830..b88c35bbfb 100644
--- a/conf/loopfreeCallstring.json
+++ b/conf/loopfreeCallstring.json
@@ -1,7 +1,7 @@
 {
   "ana": {
     "sv-comp": {
-      "enabled": false,
+      "enabled": true,
       "functions": true
     },
     "int": {
@@ -108,7 +108,7 @@
   },
   "witness": {
     "graphml": {
-      "enabled": false,
+      "enabled": true,
       "id": "enumerate",
       "unknown": false
     },