fixed loopfreeCallstring configuration

goblint · Feb 5, 2024 · f9e774a · f9e774a
1 parent abecc7a
commit f9e774a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
     },