Update dependency: deps/hs-backend-booster_release (#4014)

Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Feb 23, 2024 · 59f8189 · 59f8189
1 parent d31fabe
commit 59f8189
Show file tree

Hide file tree

Showing 6 changed files with 61 additions and 21 deletions.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-54a1eb9c4278460b69b19d72280db54108f2d467
+6dbd2033cc4368328ea65121613782a23de6792d
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,9 +1,9 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/ac6908d0ca26f194802c72f66f200e7079139f1b";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/fa0d3b2809154e4c01c0ab62660f757a8fc31dfb";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/54a1eb9c4278460b69b19d72280db54108f2d467";
+      url = "github:runtimeverification/hs-backend-booster/6dbd2033cc4368328ea65121613782a23de6792d";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";

diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
diff --git a/k-distribution/tests/regression-new/set-symbolic-tests/inset-11-spec.k.out b/k-distribution/tests/regression-new/set-symbolic-tests/inset-11-spec.k.out
@@ -8,12 +8,12 @@
     false
   #Equals
     X:MyId in SET
+    SetItem ( Z:MyId )
   }
 #And
   {
     false
   #Equals
     Z:MyId in SET
-    SetItem ( X:MyId )
   }
 [Error] Prover: backend terminated because the configuration cannot be rewritten further. See output for more details.
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		54a1eb9c4278460b69b19d72280db54108f2d467
		6dbd2033cc4368328ea65121613782a23de6792d