Update dependency: deps/haskell-backend_release (#4319)

rv-jenkins · rv-auditor · geo2a · web-flow · commit debad6269c6a · 2024-05-16T14:06:20.000+02:00
~Blocked on runtimeverification/haskell-backend#3857 ~Blocked on runtimeverification/haskell-backend#3876 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Georgy Lukyanov <mail@geo2a.info> Co-authored-by: Guy Repta <50716988+gtrepta@users.noreply.github.com>
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-88ef647ec106b3ba1612ea848a61ba3c2fd3f786
+b27210141c06c5698201dc3f1fabc90bd09ffe59
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/88ef647ec106b3ba1612ea848a61ba3c2fd3f786";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/b27210141c06c5698201dc3f1fabc90bd09ffe59";
     nixpkgs.follows = "llvm-backend/nixpkgs";
     flake-utils.url = "github:numtide/flake-utils";
     llvm-backend = {
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 88ef647ec106b3ba1612ea848a61ba3c2fd3f786
+Subproject commit b27210141c06c5698201dc3f1fabc90bd09ffe59
diff --git a/pyk/src/pyk/kore/rpc.py b/pyk/src/pyk/kore/rpc.py
@@ -872,7 +872,7 @@ def from_dict(dct: Mapping[str, Any]) -> ImpliesResult:
         predicate = dct.get('condition', {}).get('predicate')
         logs = tuple(LogEntry.from_dict(l) for l in dct['logs']) if 'logs' in dct else ()
         return ImpliesResult(
-            valid=dct['satisfiable'],
+            valid=dct['valid'],
             implication=kore_term(dct['implication']),
             substitution=kore_term(substitution) if substitution is not None else None,
             predicate=kore_term(predicate) if predicate is not None else None,
diff --git a/pyk/src/tests/unit/kore/test_client.py b/pyk/src/tests/unit/kore/test_client.py
@@ -178,7 +178,7 @@ def test_execute(
         int_bottom,
         int_top,
         {'antecedent': kore(int_bottom), 'consequent': kore(int_top)},
-        {'satisfiable': True, 'implication': kore(int_top)},
+        {'valid': True, 'implication': kore(int_top)},
         ImpliesResult(True, int_top, None, None, ()),
     ),
 )

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-88ef647ec106b3ba1612ea848a61ba3c2fd3f786`
	`1`	`+b27210141c06c5698201dc3f1fabc90bd09ffe59`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`description = "K Framework";`
`3`	`3`	`inputs = {`
`4`		`- haskell-backend.url = "github:runtimeverification/haskell-backend/88ef647ec106b3ba1612ea848a61ba3c2fd3f786";`
	`4`	`+ haskell-backend.url = "github:runtimeverification/haskell-backend/b27210141c06c5698201dc3f1fabc90bd09ffe59";`
`5`	`5`	`nixpkgs.follows = "llvm-backend/nixpkgs";`
`6`	`6`	`flake-utils.url = "github:numtide/flake-utils";`
`7`	`7`	`llvm-backend = {`
Original file line number	Diff line number	Diff line change
`@@ -178,7 +178,7 @@ def test_execute(`
`178`	`178`	`int_bottom,`
`179`	`179`	`int_top,`
`180`	`180`	`{'antecedent': kore(int_bottom), 'consequent': kore(int_top)},`
`181`		`- {'satisfiable': True, 'implication': kore(int_top)},`
	`181`	`+ {'valid': True, 'implication': kore(int_top)},`
`182`	`182`	`ImpliesResult(True, int_top, None, None, ()),`
`183`	`183`	`),`
`184`	`184`	`)`