From b07c939a4ecb956158264baa9bc59d57a2000d1f Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 16 Jul 2024 22:26:13 -0600
Subject: [PATCH] Update dependency: deps/k_release (#3965)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Jost Berthold <jost.berthold@gmail.com>
---
 .../test-collectiontest/README.md             |  2 +-
 .../state-map-lookup.simplify                 | 31 ++-----------------
 .../state-map-lookupOrDefault.simplify        |  4 +--
 deps/k_release                                |  2 +-
 4 files changed, 6 insertions(+), 33 deletions(-)

diff --git a/booster/test/rpc-integration/test-collectiontest/README.md b/booster/test/rpc-integration/test-collectiontest/README.md
index d9b713c54f..be3d191988 100644
--- 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
index dca6198108..9811a0341e 100644
--- 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"
-                    }
-                ]
             }
         ]
     }
-}
\ No newline at end of file
+}
diff --git a/booster/test/rpc-integration/test-collectiontest/state-map-lookupOrDefault.simplify b/booster/test/rpc-integration/test-collectiontest/state-map-lookupOrDefault.simplify
index 1b90a966aa..c0ca7de8b2 100644
--- 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 @@
             }
         ]
     }
-}
\ No newline at end of file
+}
diff --git a/deps/k_release b/deps/k_release
index ce63b3e768..f76dc70dd5 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.33
+7.1.64