change satisfiable to valid

runtimeverification · May 15, 2024 · d27fa4e · d27fa4e
1 parent 35c43c5
commit d27fa4e
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-006.json b/booster/test/rpc-integration/test-foundry-bug-report/response-006.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 6,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,

diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-008.json b/booster/test/rpc-integration/test-foundry-bug-report/response-008.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 8,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,

diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-010.json b/booster/test/rpc-integration/test-foundry-bug-report/response-010.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 10,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,

diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-012.json b/booster/test/rpc-integration/test-foundry-bug-report/response-012.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 12,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,

diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-014.json b/booster/test/rpc-integration/test-foundry-bug-report/response-014.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 14,
     "result": {
-        "satisfiable": false,
+        "valid": false,
         "implication": {
             "format": "KORE",
             "version": 1,

diff --git a/booster/test/rpc-integration/test-foundry-bug-report/response-016.json b/booster/test/rpc-integration/test-foundry-bug-report/response-016.json
@@ -2,7 +2,7 @@
     "jsonrpc": "2.0",
     "id": 16,
     "result": {
-        "satisfiable": true,
+        "valid": true,
         "implication": {
             "format": "KORE",
             "version": 1,