Update dependency: deps/k_release (#3965)

Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Jost Berthold <jost.berthold@gmail.com>
runtimeverification · Jul 17, 2024 · b07c939 · b07c939
1 parent f0dac45
commit b07c939
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 33 deletions.
diff --git a/booster/test/rpc-integration/test-collectiontest/README.md b/booster/test/rpc-integration/test-collectiontest/README.md
@@ -8,7 +8,7 @@ while adding the numbers it counts down from to the `Collection`.
 
 * `state-from-12.execute` request: starts from `State ( .Set, 12 )`
    - Expected response: `State( {1..12}, 0}`
-* `state-map-lookup.simplify` request for `{ 1 -> 111, 2 -> AVARIABLE }[1] orDefault 0`
+* `state-map-lookup.simplify` request for `{ 1 -> 111, 2 -> AVARIABLE }[1]`
    - Expected response: `111` (as a `KItem`)
 * `state-map-lookupOrDefault.simplify` request for `{ 1 -> 111, 2 -> AVARIABLE }[0] orDefault 0`
    - Expected response: `0` (as a `KItem`)

diff --git a/booster/test/rpc-integration/test-collectiontest/state-map-lookup.simplify b/booster/test/rpc-integration/test-collectiontest/state-map-lookup.simplify
@@ -3,7 +3,7 @@
     "version": 1,
     "term": {
         "tag": "App",
-        "name": "Lbl'UndsLSqBUndsRSqB'orDefault'UndsUnds'MAP'Unds'KItem'Unds'Map'Unds'KItem'Unds'KItem",
+        "name": "LblMap'Coln'lookup",
         "sorts": [],
         "args": [
             {
@@ -161,34 +161,7 @@
                         "value": "1"
                     }
                 ]
-            },
-            {
-                "tag": "App",
-                "name": "inj",
-                "sorts": [
-                    {
-                        "tag": "SortApp",
-                        "name": "SortInt",
-                        "args": []
-                    },
-                    {
-                        "tag": "SortApp",
-                        "name": "SortKItem",
-                        "args": []
-                    }
-                ],
-                "args": [
-                    {
-                        "tag": "DV",
-                        "sort": {
-                            "tag": "SortApp",
-                            "name": "SortInt",
-                            "args": []
-                        },
-                        "value": "0"
-                    }
-                ]
             }
         ]
     }
-}
+}
diff --git a/booster/test/rpc-integration/test-collectiontest/state-map-lookupOrDefault.simplify b/booster/test/rpc-integration/test-collectiontest/state-map-lookupOrDefault.simplify
@@ -3,7 +3,7 @@
     "version": 1,
     "term": {
         "tag": "App",
-        "name": "Lbl'UndsLSqBUndsRSqB'orDefault'UndsUnds'MAP'Unds'KItem'Unds'Map'Unds'KItem'Unds'KItem",
+        "name": "LblMap'Coln'lookupOrDefault",
         "sorts": [],
         "args": [
             {
@@ -191,4 +191,4 @@
             }
         ]
     }
-}
+}
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.33
+7.1.64