disabled witness.yaml because join on loopfreeCallstring-stack is not…

… possible yet
goblint · Feb 19, 2024 · 9325303 · 9325303
1 parent 6520557
commit 9325303
Show file tree

Hide file tree

Showing 12 changed files with 12 additions and 12 deletions.
diff --git a/conf/callstring-fundec.json b/conf/callstring-fundec.json
@@ -113,7 +113,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/callstring-fundec_inf.json b/conf/callstring-fundec_inf.json
@@ -112,7 +112,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/callstring-loc.json b/conf/callstring-loc.json
@@ -113,7 +113,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/callstring-loc_inf.json b/conf/callstring-loc_inf.json
@@ -112,7 +112,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/callstring-stmt.json b/conf/callstring-stmt.json
@@ -113,7 +113,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/callstring-stmt_inf.json b/conf/callstring-stmt_inf.json
@@ -112,7 +112,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/context-gas-10.json b/conf/context-gas-10.json
@@ -111,7 +111,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/context-gas-20.json b/conf/context-gas-20.json
@@ -111,7 +111,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/context-gas-30.json b/conf/context-gas-30.json
@@ -111,7 +111,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/context-paper-24.json b/conf/context-paper-24.json
@@ -112,7 +112,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/context-widening.json b/conf/context-widening.json
@@ -112,7 +112,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"

diff --git a/conf/loopfree-callstring.json b/conf/loopfree-callstring.json
@@ -113,7 +113,7 @@
       "unknown": false
     },
     "yaml": {
-      "enabled": true,
+      "enabled": false,
       "format-version": "2.0",
       "entry-types": [
         "invariant_set"