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