From 908a5bf951107a4f59b15f98fcf35e4024091f29 Mon Sep 17 00:00:00 2001 From: Rano | Ranadeep Date: Fri, 18 Nov 2022 17:28:51 +0100 Subject: [PATCH] refactor(spec): update existing tla specs with apalache type system 1.2 (#193) * update transfer spec * update counter spec * update reactor * update tests * fix cli test * project rules ci * update modelator version * update deps * update poetry lock * update readme * update pre-generated traces * instructions to set up apalache * comments in markdown * keep consistent index style with python reactors * remove length based counter * informative renaming --- .github/workflows/project.yml | 22 + examples/cosmos-sdk/transfer/transfer.tla | 16 +- examples/cosmwasm/counter/README.md | 22 +- examples/cosmwasm/counter/models/counter.tla | 75 ++- examples/cosmwasm/counter/reactors/reactor.py | 28 +- examples/cosmwasm/counter/tests/test_wasm.py | 8 +- .../cosmwasm/counter/traces/example0.itf.json | 413 -------------- .../cosmwasm/counter/traces/example1.itf.json | 475 +++++++++++------ .../counter/traces/example10.itf.json | 482 ++++++++++------- .../cosmwasm/counter/traces/example2.itf.json | 483 +++++++++++------ .../cosmwasm/counter/traces/example3.itf.json | 504 +++++++++++------- .../cosmwasm/counter/traces/example4.itf.json | 487 ++++++++++------- .../cosmwasm/counter/traces/example5.itf.json | 471 ++++++++++------ .../cosmwasm/counter/traces/example6.itf.json | 487 ++++++++++------- .../cosmwasm/counter/traces/example7.itf.json | 473 ++++++++++------ .../cosmwasm/counter/traces/example8.itf.json | 490 +++++++++++------ .../cosmwasm/counter/traces/example9.itf.json | 493 ++++++++++------- poetry.lock | 488 ++++++++--------- pyproject.toml | 24 +- tests/cli/test_transfer.md | 2 +- 20 files changed, 3437 insertions(+), 2506 deletions(-) create mode 100644 .github/workflows/project.yml delete mode 100644 examples/cosmwasm/counter/traces/example0.itf.json diff --git a/.github/workflows/project.yml b/.github/workflows/project.yml new file mode 100644 index 0000000..0f7e0dd --- /dev/null +++ b/.github/workflows/project.yml @@ -0,0 +1,22 @@ +name: Check project rules + +on: + workflow_dispatch: + push: + paths: + - .github/workflows/project.yml + - pyproject.toml + +jobs: + dependency-version-check: + runs-on: "ubuntu-latest" + container: "archlinux" + steps: + - name: Install dependencies + run: | + pacman -Syu --needed --noconfirm git yq + - name: Check out repository + uses: actions/checkout@v3 + - name: Check for git version + run: | + cat pyproject.toml | tomlq -r '.tool.poetry.dependencies[].git?' | (! grep --invert-match null) diff --git a/examples/cosmos-sdk/transfer/transfer.tla b/examples/cosmos-sdk/transfer/transfer.tla index 52fd4ed..f8234b4 100644 --- a/examples/cosmos-sdk/transfer/transfer.tla +++ b/examples/cosmos-sdk/transfer/transfer.tla @@ -1,10 +1,10 @@ ---- MODULE transfer ---- -EXTENDS Apalache, Integers, FiniteSets +EXTENDS Variants, Integers VARIABLES \* @type: Str -> Int; balances, - \* @type: [tag: Str, value: [wallets: Set(Str), sender: Str, receiver: Str, amount: Int]]; + \* @type: Init({wallets: Set(Str)}) | Transfer({sender: Str, receiver: Str, amount: Int}); action, \* @type: Int; step @@ -13,7 +13,7 @@ WALLETS == {"Alice", "Bob"} Init == /\ balances = [wallet \in WALLETS |-> 100] - /\ action = [tag |-> "Init", value |-> [wallets |-> WALLETS]] + /\ action = Variant("Init", [wallets |-> WALLETS]) /\ step = 0 Next == @@ -26,13 +26,15 @@ Next == ![sender] = @ - amount, ![receiver] = @ + amount ] - /\ action' = [tag |-> "Transfer", value |-> [sender |-> sender, receiver |-> receiver, amount |-> amount]] + /\ action' = Variant("Transfer", [sender |-> sender, receiver |-> receiver, amount |-> amount]) /\ step' = step + 1 View == - IF action.tag = "Transfer" - THEN action.value - ELSE [sender |-> "", receiver |-> "", amount |-> 0] + VariantGetOrElse( + "Transfer", + action, + [sender |-> "", receiver |-> "", amount |-> 0] + ) TestAliceZero == balances["Alice"] = 0 diff --git a/examples/cosmwasm/counter/README.md b/examples/cosmwasm/counter/README.md index d3cd86f..19462a0 100644 --- a/examples/cosmwasm/counter/README.md +++ b/examples/cosmwasm/counter/README.md @@ -21,13 +21,29 @@ git clone --depth 1 https://github.com/CosmWasm/wasmd ls wasmd/build/wasmd # wasmd binary ``` -### Finally run the tests +### Make sure Atomkraft is installed and set up Apalache + +``` +atomkraft model apalache get # to download and set up apalache +atomkraft model apalache info # confirm apalache distribution +``` + +### Generate traces + +```sh +atomkraft model simulate --model-path models/counter.tla --max-trace 10 --length 10 --traces-dir traces --view=View +``` + +### Run tests on generated traces ```sh -atomkraft test trace --path traces/example0.itf.json --reactor reactors/reactor.py --keypath last_msg.name +# just one trace +atomkraft test trace --path traces/example1.itf.json --reactor reactors/reactor.py --keypath last_msg.tag +# or all traces in a directory +atomkraft test trace --path traces --reactor reactors/reactor.py --keypath last_msg.tag ``` -## Recipe of this example project +## Recipe for this example project ### Install/update `atomkraft` cli diff --git a/examples/cosmwasm/counter/models/counter.tla b/examples/cosmwasm/counter/models/counter.tla index 52c532c..c963eaf 100644 --- a/examples/cosmwasm/counter/models/counter.tla +++ b/examples/cosmwasm/counter/models/counter.tla @@ -1,19 +1,23 @@ --------------------------- MODULE counter --------------------------------- -EXTENDS Integers, Apalache, Sequences - - -\* CONSTANTS -\* \* @type: Int; -\* MAX_STEP, -\* \* @type: Int; -\* MAX_ACCOUNTS +EXTENDS Integers, Variants, Sequences \* @type: () => Int; MAX_STEP == 20 \* @type: () => Int; MAX_ACCOUNTS == 3 +(* +@typeAlias: message = Instantiate({sender: Int, count: Int}) + | Reset({sender: Int, count: Int}) + | Increment({sender: Int}) + | GetCount({sender: Int}) + | StoreCwContract({sender: Int}) + ; +*) +typedef == TRUE + + VARIABLES \* @type: Int; count, @@ -21,34 +25,24 @@ VARIABLES owner, \* @type: Bool; instantiated, - \* @type: [name:Str, cnt: Int]; + \* @type: $message; last_msg, - \* @type: Seq([name:Str, cnt: Int]); + \* @type: Seq($message); messages, \* @type: Int; stepCount -\* @type: () => Str; -INSTANTIATE == "instantiate" -\* @type: () => Str; -RESET == "reset" -\* @type: () => Str; -INCREMENT == "increment" -\* @type: () => Str; -GET_COUNT == "get_count" -\* @type: () => Str; -STORE_CW == "store_cw_contract" - -\* @type: (Int, Int) => [name: Str, sender: Int, cnt: Int]; -Instaniate(_sender, val) == [name |-> INSTANTIATE, sender |-> _sender, cnt |-> val] -\* @type: (Int, Int) => [name: Str, sender: Int, cnt: Int]; -Reset(_sender, val) == [name |-> RESET, sender |-> _sender, cnt |-> val] -\* @type: (Int) => [name: Str, sender: Int]; -Increment(_sender) == [name |-> INCREMENT, sender |-> _sender] -\* @type: (Int) => [name: Str, sender: Int]; -GetCount(_sender) == [name |-> GET_COUNT, sender |-> _sender] -\* @type: (Int) => [name: Str, sender: Int]; -StoreCW(_sender) == [name |-> STORE_CW, sender |-> _sender] + +\* @type: (Int, Int) => $message; +Instaniate(_sender, _count) == Variant("Instantiate", [sender |-> _sender, count |-> _count]) +\* @type: (Int, Int) => $message; +Reset(_sender, _count) == Variant("Reset", [sender |-> _sender, count |-> _count]) +\* @type: (Int) => $message; +Increment(_sender) == Variant("Increment", [sender |-> _sender]) +\* @type: (Int) => $message; +GetCount(_sender) == Variant("GetCount", [sender |-> _sender]) +\* @type: (Int) => $message; +StoreCW(_sender) == Variant("StoreCwContract", [sender |-> _sender]) \* @type: () => Set(Int); @@ -69,9 +63,10 @@ ProcessInstantiate(_sender, _count) == /\ instantiated' = TRUE InstaniateNext(_sender) == - \E instantiate_cnt \in 0..100: - LET msg == Instaniate(_sender, instantiate_cnt) IN - /\ ProcessInstantiate(msg.sender, msg.cnt) + \E instantiate_count \in 0..100: + LET msg == Instaniate(_sender, instantiate_count) IN + LET msg_unpacked == VariantGetUnsafe("Instantiate", msg) IN + /\ ProcessInstantiate(msg_unpacked.sender, msg_unpacked.count) /\ last_msg' = msg ProcessReset(_owner, _sender, _count) == @@ -81,9 +76,10 @@ ProcessReset(_owner, _sender, _count) == /\ UNCHANGED<> ResetNext(_sender) == - \E reset_cnt \in 0..100: - LET msg == Reset(_sender, reset_cnt) IN - /\ ProcessReset(owner, msg.sender, msg.cnt) + \E reset_count \in 0..100: + LET msg == Reset(_sender, reset_count) IN + LET msg_unpacked == VariantGetUnsafe("Reset", msg) IN + /\ ProcessReset(owner, msg_unpacked.sender, msg_unpacked.count) /\ last_msg' = msg ProcessIncrement == @@ -114,8 +110,5 @@ Next== /\ messages' = Append(messages, last_msg) /\ stepCount' = stepCount + 1 -Inv == stepCount < MAX_STEP - -View == <> -View2 == last_msg.name +View == <> =============================================================================== diff --git a/examples/cosmwasm/counter/reactors/reactor.py b/examples/cosmwasm/counter/reactors/reactor.py index 87a4df5..1b84f72 100644 --- a/examples/cosmwasm/counter/reactors/reactor.py +++ b/examples/cosmwasm/counter/reactors/reactor.py @@ -20,9 +20,10 @@ def state(): return {} -@step("store_cw_contract") +@step("StoreCwContract") def store_contract(testnet: Testnet, state: Dict, last_msg): - logging.info("Step: store_cw_contract") + last_msg = last_msg.value + logging.info("Step: StoreCwContract") testnet.oneshot() time.sleep(10) @@ -65,10 +66,11 @@ def store_contract(testnet: Testnet, state: Dict, last_msg): time.sleep(0.5) -@step("instantiate") +@step("Instantiate") def instantiate(testnet: Testnet, state: Dict, last_msg): - logging.info("Step: instantiate") - dict_msg = {"count": last_msg["cnt"]} + last_msg = last_msg.value + logging.info("Step: Instantiate") + dict_msg = {"count": last_msg.count} msg = MsgInstantiateContract( sender=testnet.acc_addr(last_msg.sender), @@ -100,10 +102,11 @@ def instantiate(testnet: Testnet, state: Dict, last_msg): state["contract_address"] = contract_address -@step("reset") +@step("Reset") def reset(testnet: Testnet, state: Dict, last_msg): - logging.info("Step: reset") - dict_msg = {"reset": {"count": last_msg["cnt"]}} + last_msg = last_msg.value + logging.info("Step: Reset") + dict_msg = {"reset": {"count": last_msg.count}} contract_address = state["contract_address"] msg = MsgExecuteContract( @@ -125,9 +128,10 @@ def reset(testnet: Testnet, state: Dict, last_msg): logging.info("\tlog: %s\n", result.raw_log) -@step("increment") +@step("Increment") def increment(testnet: Testnet, state: Dict, last_msg): - logging.info("Step: increment") + last_msg = last_msg.value + logging.info("Step: Increment") dict_msg = {"increment": {}} contract_address = state["contract_address"] @@ -150,9 +154,9 @@ def increment(testnet: Testnet, state: Dict, last_msg): logging.info("\tlog: %s\n", result.raw_log) -@step("get_count") +@step("GetCount") def get_count(testnet: Testnet, state: Dict, count): - logging.info("Step: get_count") + logging.info("Step: GetCount") dict_msg = {"get_count": {}} contract_address = state["contract_address"] diff --git a/examples/cosmwasm/counter/tests/test_wasm.py b/examples/cosmwasm/counter/tests/test_wasm.py index 0f5cf8f..0f58d10 100644 --- a/examples/cosmwasm/counter/tests/test_wasm.py +++ b/examples/cosmwasm/counter/tests/test_wasm.py @@ -1,13 +1,13 @@ from modelator.pytest.decorators import itf, mbt -@mbt("models/counter.tla", keypath="last_msg.name", checker_params={"view", "View2"}) +@mbt("models/counter.tla", keypath="last_msg.tag", checker_params={"view", "View2"}) def test_traces_from_model(): print("auto-generated traces from tla file executed succesfully") -@itf("traces/example0.itf.json", keypath="last_msg.name") -@itf("traces/example1.itf.json", keypath="last_msg.name") -@itf("traces/example2.itf.json", keypath="last_msg.name") +@itf("traces/example0.itf.json", keypath="last_msg.tag") +@itf("traces/example1.itf.json", keypath="last_msg.tag") +@itf("traces/example2.itf.json", keypath="last_msg.tag") def test_use_generated_traces(): print("itf traces executed succesfully") diff --git a/examples/cosmwasm/counter/traces/example0.itf.json b/examples/cosmwasm/counter/traces/example0.itf.json deleted file mode 100644 index 3b46e59..0000000 --- a/examples/cosmwasm/counter/traces/example0.itf.json +++ /dev/null @@ -1,413 +0,0 @@ -{ - "#meta": { - "format": "ITF", - "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" - }, - "vars": [ - "owner", - "instantiated", - "stepCount", - "messages", - "count", - "last_msg" - ], - "states": [ - { - "#meta": { - "index": 0 - }, - "count": 0, - "instantiated": false, - "last_msg": { - "name": "store_cw_contract", - "sender": 0 - }, - "messages": [], - "owner": 0, - "stepCount": 1 - }, - { - "#meta": { - "index": 1 - }, - "count": 0, - "instantiated": true, - "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 2 - }, - { - "#meta": { - "index": 2 - }, - "count": 0, - "instantiated": true, - "last_msg": { - "name": "get_count", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 3 - }, - { - "#meta": { - "index": 3 - }, - "count": 0, - "instantiated": true, - "last_msg": { - "name": "get_count", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 4 - }, - { - "#meta": { - "index": 4 - }, - "count": 1, - "instantiated": true, - "last_msg": { - "name": "increment", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 5 - }, - { - "#meta": { - "index": 5 - }, - "count": 2, - "instantiated": true, - "last_msg": { - "name": "increment", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 6 - }, - { - "#meta": { - "index": 6 - }, - "count": 3, - "instantiated": true, - "last_msg": { - "name": "increment", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 7 - }, - { - "#meta": { - "index": 7 - }, - "count": 4, - "instantiated": true, - "last_msg": { - "name": "increment", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 8 - }, - { - "#meta": { - "index": 8 - }, - "count": 4, - "instantiated": true, - "last_msg": { - "name": "get_count", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 9 - }, - { - "#meta": { - "index": 9 - }, - "count": 0, - "instantiated": true, - "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 10 - }, - { - "#meta": { - "index": 10 - }, - "count": 1, - "instantiated": true, - "last_msg": { - "name": "increment", - "sender": 0 - }, - "messages": [ - { - "name": "store_cw_contract", - "sender": 0 - }, - { - "cnt": 0, - "name": "instantiate", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "increment", - "sender": 0 - }, - { - "name": "get_count", - "sender": 0 - }, - { - "cnt": 0, - "name": "reset", - "sender": 0 - } - ], - "owner": 0, - "stepCount": 11 - } - ] -} diff --git a/examples/cosmwasm/counter/traces/example1.itf.json b/examples/cosmwasm/counter/traces/example1.itf.json index 3b46e59..2a9bf8c 100644 --- a/examples/cosmwasm/counter/traces/example1.itf.json +++ b/examples/cosmwasm/counter/traces/example1.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,21 +62,27 @@ "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { @@ -78,225 +92,312 @@ "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { "#meta": { "index": 6 }, - "count": 3, + "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 4, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 4, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { @@ -306,108 +407,156 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { "#meta": { "index": 10 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example10.itf.json b/examples/cosmwasm/counter/traces/example10.itf.json index 9a7915c..79a0cfc 100644 --- a/examples/cosmwasm/counter/traces/example10.itf.json +++ b/examples/cosmwasm/counter/traces/example10.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:08 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:47 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,104 +38,129 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { "#meta": { "index": 2 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { "#meta": { "index": 3 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 0, + "count": 3, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { @@ -141,35 +170,46 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { @@ -179,192 +219,253 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 2, + "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { "#meta": { "index": 9 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { @@ -374,58 +475,77 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example2.itf.json b/examples/cosmwasm/counter/traces/example2.itf.json index e4bfb9d..502d787 100644 --- a/examples/cosmwasm/counter/traces/example2.itf.json +++ b/examples/cosmwasm/counter/traces/example2.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,255 +62,346 @@ "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { "#meta": { "index": 3 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 1, + "count": 2, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { "#meta": { "index": 6 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 2, + "count": 1, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { @@ -312,50 +411,72 @@ "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { @@ -365,55 +486,79 @@ "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example3.itf.json b/examples/cosmwasm/counter/traces/example3.itf.json index ca0723d..f4391fb 100644 --- a/examples/cosmwasm/counter/traces/example3.itf.json +++ b/examples/cosmwasm/counter/traces/example3.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,384 +62,502 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { "#meta": { "index": 3 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { "#meta": { "index": 6 }, - "count": 1, + "count": 2, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 0, + "count": 3, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 1, + "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { "#meta": { "index": 9 }, - "count": 2, + "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { "#meta": { "index": 10 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example4.itf.json b/examples/cosmwasm/counter/traces/example4.itf.json index 33abce2..6499425 100644 --- a/examples/cosmwasm/counter/traces/example4.itf.json +++ b/examples/cosmwasm/counter/traces/example4.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,22 +62,27 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { @@ -79,27 +92,33 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { @@ -109,70 +128,87 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { @@ -182,139 +218,182 @@ "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { @@ -324,114 +403,152 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { "#meta": { "index": 10 }, - "count": 1, + "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example5.itf.json b/examples/cosmwasm/counter/traces/example5.itf.json index 77055b7..c02993f 100644 --- a/examples/cosmwasm/counter/traces/example5.itf.json +++ b/examples/cosmwasm/counter/traces/example5.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,385 +38,510 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { "#meta": { "index": 2 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { "#meta": { "index": 3 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { "#meta": { "index": 6 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 1, + "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { "#meta": { "index": 9 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { "#meta": { "index": 10 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example6.itf.json b/examples/cosmwasm/counter/traces/example6.itf.json index 38a5bc1..0e0378b 100644 --- a/examples/cosmwasm/counter/traces/example6.itf.json +++ b/examples/cosmwasm/counter/traces/example6.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:09 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,22 +62,27 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { @@ -79,101 +92,126 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 1, + "count": 2, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { @@ -183,40 +221,52 @@ "count": 2, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { @@ -226,211 +276,278 @@ "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 3, + "count": 2, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { "#meta": { "index": 9 }, - "count": 4, + "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { "#meta": { "index": 10 }, - "count": 0, + "count": 4, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example7.itf.json b/examples/cosmwasm/counter/traces/example7.itf.json index 98dec36..073d421 100644 --- a/examples/cosmwasm/counter/traces/example7.itf.json +++ b/examples/cosmwasm/counter/traces/example7.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:08 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,22 +62,27 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { @@ -79,96 +92,123 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 1, + "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 2, + "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { @@ -178,39 +218,52 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { @@ -220,43 +273,58 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { @@ -266,48 +334,65 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { @@ -317,52 +402,71 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { @@ -372,57 +476,78 @@ "count": 2, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example8.itf.json b/examples/cosmwasm/counter/traces/example8.itf.json index 53fc751..bee51f5 100644 --- a/examples/cosmwasm/counter/traces/example8.itf.json +++ b/examples/cosmwasm/counter/traces/example8.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:08 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:48 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,17 +38,21 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { @@ -54,50 +62,65 @@ "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { "#meta": { "index": 3 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { @@ -107,153 +130,210 @@ "count": 1, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { "#meta": { "index": 6 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { @@ -263,163 +343,223 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { "#meta": { "index": 9 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { "#meta": { "index": 10 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/examples/cosmwasm/counter/traces/example9.itf.json b/examples/cosmwasm/counter/traces/example9.itf.json index 9c2b069..befbf52 100644 --- a/examples/cosmwasm/counter/traces/example9.itf.json +++ b/examples/cosmwasm/counter/traces/example9.itf.json @@ -2,7 +2,7 @@ "#meta": { "format": "ITF", "format-description": "https://apalache.informal.systems/docs/adr/015adr-trace.html", - "description": "Created by Apalache on Tue Jul 05 17:54:08 CEST 2022" + "description": "Created by Apalache on Fri Nov 18 12:50:47 CET 2022" }, "vars": [ "owner", @@ -20,10 +20,14 @@ "count": 0, "instantiated": false, "last_msg": { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, - "messages": [], + "messages": [ + + ], "owner": 0, "stepCount": 1 }, @@ -34,334 +38,444 @@ "count": 0, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 2 }, { "#meta": { "index": 2 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 3 }, { "#meta": { "index": 3 }, - "count": 0, + "count": 1, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 4 }, { "#meta": { "index": 4 }, - "count": 0, + "count": 2, "instantiated": true, "last_msg": { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 5 }, { "#meta": { "index": 5 }, - "count": 1, + "count": 3, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 6 }, { "#meta": { "index": 6 }, - "count": 1, + "count": 0, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 7 }, { "#meta": { "index": 7 }, - "count": 2, + "count": 0, "instantiated": true, "last_msg": { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 8 }, { "#meta": { "index": 8 }, - "count": 2, + "count": 1, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 9 }, { "#meta": { "index": 9 }, - "count": 2, + "count": 1, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 10 }, { @@ -371,56 +485,79 @@ "count": 2, "instantiated": true, "last_msg": { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, "messages": [ { - "name": "store_cw_contract", - "sender": 0 + "tag": "StoreCwContract", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "instantiate", - "sender": 0 + "tag": "Instantiate", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "cnt": 0, - "name": "reset", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "increment", - "sender": 0 + "tag": "Reset", + "value": { + "count": 0, + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "Increment", + "value": { + "sender": 1 + } }, { - "name": "get_count", - "sender": 0 + "tag": "GetCount", + "value": { + "sender": 1 + } } ], - "owner": 0, + "owner": 1, "stepCount": 11 } ] -} +} \ No newline at end of file diff --git a/poetry.lock b/poetry.lock index 5f60f18..b5208c4 100644 --- a/poetry.lock +++ b/poetry.lock @@ -208,11 +208,11 @@ cffi = ">=1.3.0" [[package]] name = "colorama" -version = "0.4.5" +version = "0.4.6" description = "Cross-platform colored terminal text." category = "main" optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*" +python-versions = "!=3.0.*,!=3.1.*,!=3.2.*,!=3.3.*,!=3.4.*,!=3.5.*,!=3.6.*,>=2.7" [[package]] name = "commonmark" @@ -227,7 +227,7 @@ test = ["flake8 (==3.7.8)", "hypothesis (==3.55.3)"] [[package]] name = "copier" -version = "6.2.0" +version = "7.0.1" description = "A library for rendering project templates." category = "main" optional = false @@ -248,9 +248,6 @@ pyyaml = ">=5.3.1" pyyaml-include = ">=1.2" questionary = ">=1.8.1" -[package.extras] -docs = ["mkdocs-material (>=8.2,<9.0.0)", "mkdocstrings[python] (>=0.19.0)"] - [[package]] name = "crcmod" version = "1.7" @@ -261,17 +258,17 @@ python-versions = "*" [[package]] name = "deepdiff" -version = "5.8.1" -description = "Deep Difference and Search of any Python object/data." +version = "6.2.1" +description = "Deep Difference and Search of any Python object/data. Recreate objects by adding adding deltas to each other." category = "main" optional = false -python-versions = ">=3.6" +python-versions = ">=3.7" [package.dependencies] -ordered-set = ">=4.1.0,<4.2.0" +ordered-set = ">=4.0.2,<4.2.0" [package.extras] -cli = ["clevercsv (==0.7.1)", "click (==8.0.3)", "pyyaml (==5.4.1)", "toml (==0.10.2)"] +cli = ["clevercsv (==0.7.4)", "click (==8.1.3)", "pyyaml (==6.0)", "toml (==0.10.2)"] [[package]] name = "dill" @@ -286,7 +283,7 @@ graph = ["objgraph (>=1.7.2)"] [[package]] name = "dunamai" -version = "1.14.0" +version = "1.14.1" description = "Dynamic version generation" category = "main" optional = false @@ -318,6 +315,17 @@ category = "main" optional = false python-versions = "*" +[[package]] +name = "exceptiongroup" +version = "1.0.4" +description = "Backport of PEP 654 (exception groups)" +category = "main" +optional = false +python-versions = ">=3.7" + +[package.extras] +test = ["pytest (>=6)"] + [[package]] name = "fire" version = "0.4.0" @@ -526,7 +534,7 @@ python-versions = "*" [[package]] name = "modelator" -version = "0.6.5" +version = "0.6.6" description = "Framework for Model Based Testing" category = "main" optional = false @@ -534,33 +542,32 @@ python-versions = ">=3.8,<4.0" [package.dependencies] appdirs = ">=1.4.4,<2.0.0" -deepdiff = ">=5.8.1,<6.0.0" -modelator-py = ">=0.2.3,<0.3.0" +deepdiff = ">=6.2.1,<7.0.0" +modelator-py = ">=0.2.6,<0.3.0" munch = ">=2.5.0,<3.0.0" -pyrsistent = ">=0.18.1,<0.19.0" -rich = ">=12.5.1,<13.0.0" +pyrsistent = ">=0.19.2,<0.20.0" +rich = ">=12.6.0,<13.0.0" semver = ">=2.13.0,<3.0.0" -tabulate = ">=0.8.9,<0.9.0" +tabulate = ">=0.9.0,<0.10.0" toml = ">=0.10.2,<0.11.0" -typer = {version = ">=0.6.1,<0.7.0", extras = ["all"]} -typing-extensions = ">=4.2.0,<5.0.0" -watchdog = ">=2.1.8,<3.0.0" +typer = {version = ">=0.7.0,<0.8.0", extras = ["all"]} +typing-extensions = ">=4.4.0,<5.0.0" +watchdog = ">=2.1.9,<3.0.0" wget = ">=3.2,<4.0" [[package]] name = "modelator-py" -version = "0.2.3" +version = "0.2.6" description = "Lightweight utilities to assist model writing and model-based testing activities using the TLA+ ecosystem" category = "main" optional = false python-versions = ">=3.8,<4.0" [package.dependencies] -fire = ">=0.4.0,<0.5.0" -infix = "1.2" -pathos = ">=0.2.8,<0.3.0" -ply = "3.10" -recordclass = ">=0.16.2,<0.17.0" +fire = ">=0.4,<0.5" +infix = ">=1.2,<2.0" +pathos = ">=0.3,<0.4" +ply = ">=3.11,<4.0" [[package]] name = "multidict" @@ -647,21 +654,21 @@ pyparsing = ">=2.0.2,<3.0.5 || >3.0.5" [[package]] name = "pathos" -version = "0.2.9" +version = "0.3.0" description = "parallel graph management and execution in heterogeneous computing" category = "main" optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*, !=3.5.*, !=3.6.*" +python-versions = ">=3.7" [package.dependencies] -dill = ">=0.3.5.1" -multiprocess = ">=0.70.13" -pox = ">=0.3.1" -ppft = ">=1.7.6.5" +dill = ">=0.3.6" +multiprocess = ">=0.70.14" +pox = ">=0.3.2" +ppft = ">=1.7.6.6" [[package]] name = "pathspec" -version = "0.10.1" +version = "0.10.2" description = "Utility library for gitignore style pattern matching of file paths." category = "main" optional = false @@ -697,7 +704,7 @@ ssh = ["paramiko"] [[package]] name = "ply" -version = "3.10" +version = "3.11" description = "Python Lex & Yacc" category = "main" optional = false @@ -724,7 +731,7 @@ dill = ["dill (>=0.3.6)"] [[package]] name = "prompt-toolkit" -version = "3.0.31" +version = "3.0.32" description = "Library for building powerful interactive command lines in Python" category = "main" optional = false @@ -741,17 +748,9 @@ category = "main" optional = false python-versions = ">=3.7" -[[package]] -name = "py" -version = "1.11.0" -description = "library with cross-python path, ini-parsing, io, code, log facilities" -category = "main" -optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*" - [[package]] name = "py-sr25519-bindings" -version = "0.1.5" +version = "0.2.0" description = "Python bindings for sr25519 library" category = "main" optional = false @@ -827,7 +826,7 @@ diagrams = ["jinja2", "railroad-diagrams"] [[package]] name = "pyrsistent" -version = "0.18.1" +version = "0.19.2" description = "Persistent/Functional/Immutable data structures" category = "main" optional = false @@ -835,7 +834,7 @@ python-versions = ">=3.7" [[package]] name = "pytest" -version = "7.1.3" +version = "7.2.0" description = "pytest: simple powerful testing with Python" category = "main" optional = false @@ -844,11 +843,11 @@ python-versions = ">=3.7" [package.dependencies] attrs = ">=19.2.0" colorama = {version = "*", markers = "sys_platform == \"win32\""} +exceptiongroup = {version = ">=1.0.0rc8", markers = "python_version < \"3.11\""} iniconfig = "*" packaging = "*" pluggy = ">=0.12,<2.0" -py = ">=1.8.2" -tomli = ">=1.0.0" +tomli = {version = ">=1.0.0", markers = "python_version < \"3.11\""} [package.extras] testing = ["argcomplete", "hypothesis (>=3.56)", "mock", "nose", "pygments (>=2.7.2)", "requests", "xmlschema"] @@ -923,14 +922,6 @@ prompt_toolkit = ">=2.0,<4.0" [package.extras] docs = ["Sphinx (>=3.3,<4.0)", "sphinx-autobuild (>=2020.9.1,<2021.0.0)", "sphinx-autodoc-typehints (>=1.11.1,<2.0.0)", "sphinx-copybutton (>=0.3.1,<0.4.0)", "sphinx-rtd-theme (>=0.5.0,<0.6.0)"] -[[package]] -name = "recordclass" -version = "0.16.3" -description = "Mutable variant of collections.namedtuple -- recordclass.recordclass, which support assignments, and other memory saving variants." -category = "main" -optional = false -python-versions = "*" - [[package]] name = "rich" version = "12.6.0" @@ -994,11 +985,11 @@ python-versions = ">=3.6" [[package]] name = "tabulate" -version = "0.8.10" +version = "0.9.0" description = "Pretty-print tabular data" category = "main" optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*" +python-versions = ">=3.7" [package.extras] widechars = ["wcwidth"] @@ -1016,7 +1007,7 @@ doc = ["reno", "sphinx", "tornado (>=4.5)"] [[package]] name = "termcolor" -version = "2.0.1" +version = "2.1.0" description = "ANSI color formatting for output in terminal" category = "main" optional = false @@ -1078,15 +1069,15 @@ python-versions = ">=3.7" [[package]] name = "tomlkit" -version = "0.11.5" +version = "0.11.6" description = "Style preserving TOML library" category = "main" optional = false -python-versions = ">=3.6,<4.0" +python-versions = ">=3.6" [[package]] name = "typer" -version = "0.6.1" +version = "0.7.0" description = "Typer, build great CLIs. Easy to code. Based on Python type hints." category = "main" optional = false @@ -1101,8 +1092,8 @@ shellingham = {version = ">=1.3.0,<2.0.0", optional = true, markers = "extra == [package.extras] all = ["colorama (>=0.4.3,<0.5.0)", "rich (>=10.11.0,<13.0.0)", "shellingham (>=1.3.0,<2.0.0)"] dev = ["autoflake (>=1.3.1,<2.0.0)", "flake8 (>=3.8.3,<4.0.0)", "pre-commit (>=2.17.0,<3.0.0)"] -doc = ["mdx-include (>=1.4.1,<2.0.0)", "mkdocs (>=1.1.2,<2.0.0)", "mkdocs-material (>=8.1.4,<9.0.0)"] -test = ["black (>=22.3.0,<23.0.0)", "coverage (>=5.2,<6.0)", "isort (>=5.0.6,<6.0.0)", "mypy (==0.910)", "pytest (>=4.4.0,<5.4.0)", "pytest-cov (>=2.10.0,<3.0.0)", "pytest-sugar (>=0.9.4,<0.10.0)", "pytest-xdist (>=1.32.0,<2.0.0)", "rich (>=10.11.0,<13.0.0)", "shellingham (>=1.3.0,<2.0.0)"] +doc = ["cairosvg (>=2.5.2,<3.0.0)", "mdx-include (>=1.4.1,<2.0.0)", "mkdocs (>=1.1.2,<2.0.0)", "mkdocs-material (>=8.1.4,<9.0.0)", "pillow (>=9.3.0,<10.0.0)"] +test = ["black (>=22.3.0,<23.0.0)", "coverage (>=6.2,<7.0)", "isort (>=5.0.6,<6.0.0)", "mypy (==0.910)", "pytest (>=4.4.0,<8.0.0)", "pytest-cov (>=2.10.0,<5.0.0)", "pytest-sugar (>=0.9.4,<0.10.0)", "pytest-xdist (>=1.32.0,<4.0.0)", "rich (>=10.11.0,<13.0.0)", "shellingham (>=1.3.0,<2.0.0)"] [[package]] name = "typing-extensions" @@ -1133,7 +1124,7 @@ python-versions = "*" [[package]] name = "websockets" -version = "10.3" +version = "10.4" description = "An implementation of the WebSocket Protocol (RFC 6455 & 7692)" category = "main" optional = false @@ -1170,7 +1161,7 @@ multidict = ">=4.0" [metadata] lock-version = "1.1" python-versions = "^3.8" -content-hash = "bab5e431a7da030272167a9025135098804e0c61940f920b7a6e9782eadd0505" +content-hash = "2edb344b027d2f691067eb2746880907fabfe2eeb244a58c01eedf835a9c552d" [metadata.files] aiohttp = [ @@ -1451,31 +1442,31 @@ coincurve = [ {file = "coincurve-17.0.0.tar.gz", hash = "sha256:68da55aff898702952fda3ee04fd6ed60bb6b91f919c69270786ed766b548b93"}, ] colorama = [ - {file = "colorama-0.4.5-py2.py3-none-any.whl", hash = "sha256:854bf444933e37f5824ae7bfc1e98d5bce2ebe4160d46b5edf346a89358e99da"}, - {file = "colorama-0.4.5.tar.gz", hash = "sha256:e6c6b4334fc50988a639d9b98aa429a0b57da6e17b9a44f0451f930b6967b7a4"}, + {file = "colorama-0.4.6-py2.py3-none-any.whl", hash = "sha256:4f1d9991f5acc0ca119f9d443620b77f9d6b33703e51011c16baf57afb285fc6"}, + {file = "colorama-0.4.6.tar.gz", hash = "sha256:08695f5cb7ed6e0531a20572697297273c47b8cae5a63ffc6d6ed5c201be6e44"}, ] commonmark = [ {file = "commonmark-0.9.1-py2.py3-none-any.whl", hash = "sha256:da2f38c92590f83de410ba1a3cbceafbc74fee9def35f9251ba9a971d6d66fd9"}, {file = "commonmark-0.9.1.tar.gz", hash = "sha256:452f9dc859be7f06631ddcb328b6919c67984aca654e5fefb3914d54691aed60"}, ] copier = [ - {file = "copier-6.2.0-py3-none-any.whl", hash = "sha256:ae8aeb7a060035d56fe05ebdc4bce85d3516ceb7e97408437e869451e619d679"}, - {file = "copier-6.2.0.tar.gz", hash = "sha256:792c66ed1a6eddd85690ba12035fdbf087a65b18c8b07c2527e3581296e29649"}, + {file = "copier-7.0.1-py3-none-any.whl", hash = "sha256:c969890db6f1f69db02239f094458a91e36c22248d2952a03e75ac2460179c98"}, + {file = "copier-7.0.1.tar.gz", hash = "sha256:3d81916dad27d003674070b365bfcd965eb69d5a97920b226d6db88a6e7193d6"}, ] crcmod = [ {file = "crcmod-1.7.tar.gz", hash = "sha256:dc7051a0db5f2bd48665a990d3ec1cc305a466a77358ca4492826f41f283601e"}, ] deepdiff = [ - {file = "deepdiff-5.8.1-py3-none-any.whl", hash = "sha256:e9aea49733f34fab9a0897038d8f26f9d94a97db1790f1b814cced89e9e0d2b7"}, - {file = "deepdiff-5.8.1.tar.gz", hash = "sha256:8d4eb2c4e6cbc80b811266419cb71dd95a157094a3947ccf937a94d44943c7b8"}, + {file = "deepdiff-6.2.1-py3-none-any.whl", hash = "sha256:8ba27c185f9197b78c316ce7bb0c743d25d14f7cdb8ec3b340437dbc93dcbff2"}, + {file = "deepdiff-6.2.1.tar.gz", hash = "sha256:3fe134dde5b3922ff8c51fc1e95a972e659c853797231b836a5ccf15532fd516"}, ] dill = [ {file = "dill-0.3.6-py3-none-any.whl", hash = "sha256:a07ffd2351b8c678dfc4a856a3005f8067aea51d6ba6c700796a4d9e280f39f0"}, {file = "dill-0.3.6.tar.gz", hash = "sha256:e5db55f3687856d8fbdab002ed78544e1c4559a130302693d839dfe8f93f2373"}, ] dunamai = [ - {file = "dunamai-1.14.0-py3-none-any.whl", hash = "sha256:1e648a3c929bd7618df6bbfeb2b3e82dc59eae130af4affa8d876eb0b02f49df"}, - {file = "dunamai-1.14.0.tar.gz", hash = "sha256:002abe8b9273e61c03d85918181cf6f3a42940cbb99bd93c825242f3712a1331"}, + {file = "dunamai-1.14.1-py3-none-any.whl", hash = "sha256:6486738116c7c8db8f23b9f166ff2f7b0846a3f577fde2616e91bb62dc9686c4"}, + {file = "dunamai-1.14.1.tar.gz", hash = "sha256:fc3dc52c69eb14c5374e3ce9cb68413e143f7e5983ab0b55f0c099cd36572482"}, ] ecdsa = [ {file = "ecdsa-0.17.0-py2.py3-none-any.whl", hash = "sha256:5cf31d5b33743abe0dfc28999036c849a69d548f994b535e527ee3cb7f3ef676"}, @@ -1484,6 +1475,10 @@ ecdsa = [ ed25519-blake2b = [ {file = "ed25519-blake2b-1.4.tar.gz", hash = "sha256:d1a1cb9032ec307ce95b41c619440fd4d3fcecc18f224035cc7d6dc7a7d8ef40"}, ] +exceptiongroup = [ + {file = "exceptiongroup-1.0.4-py3-none-any.whl", hash = "sha256:542adf9dea4055530d6e1279602fa5cb11dab2395fa650b8674eaec35fc4a828"}, + {file = "exceptiongroup-1.0.4.tar.gz", hash = "sha256:bd14967b79cd9bdb54d97323216f8fdf533e278df937aa2a90089e7d6e06e5ec"}, +] fire = [ {file = "fire-0.4.0.tar.gz", hash = "sha256:c5e2b8763699d1142393a46d0e3e790c5eb2f0706082df8f647878842c216a62"}, ] @@ -1728,12 +1723,12 @@ mnemonic = [ {file = "mnemonic-0.19.tar.gz", hash = "sha256:4e37eb02b2cbd56a0079cabe58a6da93e60e3e4d6e757a586d9f23d96abea931"}, ] modelator = [ - {file = "modelator-0.6.5-py3-none-any.whl", hash = "sha256:64a8c2c0e839167edb4b22a684eabf488e4e783071db609bc683a455f7ef67f0"}, - {file = "modelator-0.6.5.tar.gz", hash = "sha256:bb7d4ea1f544be7dbf1cde4751745504c7c4b5550f97e2a2792072253597c6ba"}, + {file = "modelator-0.6.6-py3-none-any.whl", hash = "sha256:e1c6692c535a7bf85e14d0f18028e77ff9f9191b1ac0fa54cb0f4038c8f0d625"}, + {file = "modelator-0.6.6.tar.gz", hash = "sha256:1ebf17cd5861be8425934924b16385073d284f00722aca104c289e5ca4d57b55"}, ] modelator-py = [ - {file = "modelator_py-0.2.3-py3-none-any.whl", hash = "sha256:bd9015327b34df4559c9ab3676d0610157ffa3d71666d3c56bdf634e6756d538"}, - {file = "modelator_py-0.2.3.tar.gz", hash = "sha256:bd049ccf4623b8c812dd2a560d9b33bf35a32ab699e8e9b872e185e821ce2bab"}, + {file = "modelator_py-0.2.6-py3-none-any.whl", hash = "sha256:d43f9a9c396f3836d5f1896228ed051f6c2ad6cb476a5528c8f13e92abb2add1"}, + {file = "modelator_py-0.2.6.tar.gz", hash = "sha256:db1d45d7e92d3dfed4c04c836ce019b78f88ceb331db2a787c781c367d55443e"}, ] multidict = [ {file = "multidict-6.0.2-cp310-cp310-macosx_10_9_universal2.whl", hash = "sha256:0b9e95a740109c6047602f4db4da9949e6c5945cefbad34a1299775ddc9a62e2"}, @@ -1863,13 +1858,12 @@ packaging = [ {file = "packaging-21.3.tar.gz", hash = "sha256:dd47c42927d89ab911e606518907cc2d3a1f38bbd026385970643f9c5b8ecfeb"}, ] pathos = [ - {file = "pathos-0.2.9-py2-none-any.whl", hash = "sha256:6a6ddb514ce2719f63fb88d5ec4f4490e436b636b54f1102d952c9f7c52f18e2"}, - {file = "pathos-0.2.9-py3-none-any.whl", hash = "sha256:1c44373d8692897d5d15a8aa3b3a442ddc0814c5e848f4ff0ded5491f34b1dac"}, - {file = "pathos-0.2.9.tar.gz", hash = "sha256:a8dbddcd3d9af32ada7c6dc088d845588c513a29a0ba19ab9f64c5cd83692934"}, + {file = "pathos-0.3.0-py3-none-any.whl", hash = "sha256:b1f5a79b1c79a594330d451832642ee5bb61dd77dc75ba9e5c72087c77e8994c"}, + {file = "pathos-0.3.0.tar.gz", hash = "sha256:24fa8db51fbd9284da8e191794097c4bb2aa3fce411090e57af6385e61b97e09"}, ] pathspec = [ - {file = "pathspec-0.10.1-py3-none-any.whl", hash = "sha256:46846318467efc4556ccfd27816e004270a9eeeeb4d062ce5e6fc7a87c573f93"}, - {file = "pathspec-0.10.1.tar.gz", hash = "sha256:7ace6161b621d31e7902eb6b5ae148d12cfd23f4a249b9ffb6b9fee12084323d"}, + {file = "pathspec-0.10.2-py3-none-any.whl", hash = "sha256:88c2606f2c1e818b978540f73ecc908e13999c6c3a383daf3705652ae79807a5"}, + {file = "pathspec-0.10.2.tar.gz", hash = "sha256:8f6bf73e5758fd365ef5d58ce09ac7c27d2833a8d7da51712eac6e27e35141b0"}, ] pluggy = [ {file = "pluggy-1.0.0-py2.py3-none-any.whl", hash = "sha256:74134bbf457f031a36d68416e1509f34bd5ccc019f0bcc952c7b909d06b37bd3"}, @@ -1880,7 +1874,8 @@ plumbum = [ {file = "plumbum-1.8.0.tar.gz", hash = "sha256:f1da1f167a2afe731a85de3f56810f424926c0a1a8fd1999ceb2ef20b618246d"}, ] ply = [ - {file = "ply-3.10.tar.gz", hash = "sha256:96e94af7dd7031d8d6dd6e2a8e0de593b511c211a86e28a9c9621c275ac8bacb"}, + {file = "ply-3.11-py2.py3-none-any.whl", hash = "sha256:096f9b8350b65ebd2fd1346b12452efe5b9607f7482813ffca50c22722a807ce"}, + {file = "ply-3.11.tar.gz", hash = "sha256:00c7c1aaa88358b9c765b6d3000c6eec0ba42abca5351b095321aef446081da3"}, ] pox = [ {file = "pox-0.3.2-py3-none-any.whl", hash = "sha256:56fe2f099ecd8a557b8948082504492de90e8598c34733c9b1fdeca8f7b6de61"}, @@ -1891,8 +1886,8 @@ ppft = [ {file = "ppft-1.7.6.6.tar.gz", hash = "sha256:f933f0404f3e808bc860745acb3b79cd4fe31ea19a20889a645f900415be60f1"}, ] prompt-toolkit = [ - {file = "prompt_toolkit-3.0.31-py3-none-any.whl", hash = "sha256:9696f386133df0fc8ca5af4895afe5d78f5fcfe5258111c2a79a1c3e41ffa96d"}, - {file = "prompt_toolkit-3.0.31.tar.gz", hash = "sha256:9ada952c9d1787f52ff6d5f3484d0b4df8952787c087edf6a1f7c2cb1ea88148"}, + {file = "prompt_toolkit-3.0.32-py3-none-any.whl", hash = "sha256:24becda58d49ceac4dc26232eb179ef2b21f133fecda7eed6018d341766ed76e"}, + {file = "prompt_toolkit-3.0.32.tar.gz", hash = "sha256:e7f2129cba4ff3b3656bbdda0e74ee00d2f874a8bcdb9dd16f5fec7b3e173cae"}, ] protobuf = [ {file = "protobuf-3.20.3-cp310-cp310-manylinux2014_aarch64.whl", hash = "sha256:f4bd856d702e5b0d96a00ec6b307b0f51c1982c2bf9c0052cf9019e9a544ba99"}, @@ -1918,73 +1913,69 @@ protobuf = [ {file = "protobuf-3.20.3-py2.py3-none-any.whl", hash = "sha256:a7ca6d488aa8ff7f329d4c545b2dbad8ac31464f1d8b1c87ad1346717731e4db"}, {file = "protobuf-3.20.3.tar.gz", hash = "sha256:2e3427429c9cffebf259491be0af70189607f365c2f41c7c3764af6f337105f2"}, ] -py = [ - {file = "py-1.11.0-py2.py3-none-any.whl", hash = "sha256:607c53218732647dff4acdfcd50cb62615cedf612e72d1724fb1a0cc6405b378"}, - {file = "py-1.11.0.tar.gz", hash = "sha256:51c75c4126074b472f746a24399ad32f6053d1b34b68d2fa41e558e6f4a98719"}, -] py-sr25519-bindings = [ - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-macosx_10_7_x86_64.whl", hash = "sha256:6f05a82c3b2469c321aba9fbe5a3a12e6eb864d2e950ddfc3cf6635018d45a2f"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:f92e550347a881a3a38132859689f45c5b887930aaccefa95d4727b11a96e93c"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:494d6c79b42d677a87f20a8983e567cd82fe799d42d4dea2103d4e3a40a4fe3e"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:f0c4cb38c69fe56a149504142a794bdf3055a971fb89022426b992f1bb9bcf48"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:acbe85731aab5011c21c1f774886a8e8ad19c532f79a7bf3051a3390296de6d3"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-manylinux_2_28_aarch64.whl", hash = "sha256:1a583c411707fbfd58de0b0fe499520f8b4d705a9bae25bca7c4c598faf3703b"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-manylinux_2_28_armv7l.whl", hash = "sha256:50ae6349c73e4a96c4a7ab4c08a126ec068e5b7dea584c4e940c1788849c3eef"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:fbc946ed858c30f4b3b17731547ae5afc19a1b0d689116f21ce9456759cc2577"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-musllinux_1_1_aarch64.whl", hash = "sha256:c0dcd60ced3af33f08b5d2fb98bcd454f3c9c7993b2e44a8acde86da81fe73a7"}, - {file = "py_sr25519_bindings-0.1.5-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:0b735e5ae7a265dcb8dc160bc96950a13df8eb28bd85e0a27dc4dd2042856894"}, - {file = "py_sr25519_bindings-0.1.5-cp310-none-win32.whl", hash = "sha256:57e40ce6601abc3a3926fbc45eb87fb380533f4e4b9f6f161e38f65ace2e416c"}, - {file = "py_sr25519_bindings-0.1.5-cp310-none-win_amd64.whl", hash = "sha256:941f77629c3e4560fbdb824cce20954a9655341177a4e73bf2913f938888586d"}, - {file = "py_sr25519_bindings-0.1.5-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:a51a68ce8344649ab83f0bdc1c9be740bc1137ab346ab45a89935267847d861d"}, - {file = "py_sr25519_bindings-0.1.5-cp311-cp311-musllinux_1_1_aarch64.whl", hash = "sha256:744ea7143b6ab604a93abd1ef536559789521ff956405a31a9943fac50895e1f"}, - {file = "py_sr25519_bindings-0.1.5-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:2d8893c09731b2539c0e0f95c6c8a0d48e16e098cae08a45ce5f3ac56eef0191"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-macosx_10_7_x86_64.whl", hash = "sha256:c2982c9336756bcd2a10b3280c72eff06fbd0d58360cc2ab5770201bc67255ae"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:71f4a161aee1a75c90ef48c30e6240bf2c5c808eb2cce25a8620c8297f285c69"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:22646549bacd3084c37970304f50fd56fa0eff743bebdb818e20e8d1c9c1e706"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:1dd6d8fcad2918d8e33b1a85e764317581a78407e01559b564bbe193a2048fdd"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:5daf9724e360957cff30df37ea654405bb8e3bafcd5b8f201d5cf5ee835a4672"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-musllinux_1_1_aarch64.whl", hash = "sha256:698ada0b6f46ee6832af64e6f8497530ed3aed3c9503c5bde4021eee2367e6fa"}, - {file = "py_sr25519_bindings-0.1.5-cp36-cp36m-musllinux_1_1_x86_64.whl", hash = "sha256:32bacbf57f2ab0b17cec9f7724854db4a3b9a6dd37fa638a3cb9f57f4c099c21"}, - {file = "py_sr25519_bindings-0.1.5-cp36-none-win32.whl", hash = "sha256:4f2680df5f2ce7db89b8296f9a6f51f825d144bccfe919fca633856788846f7a"}, - {file = "py_sr25519_bindings-0.1.5-cp36-none-win_amd64.whl", hash = "sha256:9bb9e7df4b8acd94bd57e4d2b76d593193731792c9f63ccaa776d5254c0bde9e"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-macosx_10_7_x86_64.whl", hash = "sha256:b4ad318c8519c755fc957ef4ea2e4558c1b5cb405a531c99bdfdbfce93e01f8c"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:070656e3ad4d18de98d763bacdc0e2063fb35d2120b50d50cb46649e852026f9"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:efbcf2bfe0f201a9efb85a5badd5928d5b43941d026d7af484b5f831a884e6f4"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-manylinux_2_28_aarch64.whl", hash = "sha256:4d2188ae0f3f85d4b10f573f23ab324b085771c2f21aa9391beaf96a42e9dd6f"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-manylinux_2_28_armv7l.whl", hash = "sha256:5b3dc85b7bb0e19560fe0d343295d867ce476fbd593b700e5938fca65d10a57d"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:f91fa3eef5e86fb9ba9986eaa3d445299dd57a6489c7577794358f1913ca8f42"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-musllinux_1_1_aarch64.whl", hash = "sha256:af8c341a437aae13ad9550132ab08c9add36dbd50c7cbec01db3a96847567021"}, - {file = "py_sr25519_bindings-0.1.5-cp37-cp37m-musllinux_1_1_x86_64.whl", hash = "sha256:00b5f3666132b89b5f35ade4eeb93dffc6edcc34c6054e92174b77ee4c6329b8"}, - {file = "py_sr25519_bindings-0.1.5-cp37-none-win32.whl", hash = "sha256:2d80d9c7e91aa018638705a277be2ac6b540df069f67a45cb48db320f3459172"}, - {file = "py_sr25519_bindings-0.1.5-cp37-none-win_amd64.whl", hash = "sha256:b32a6b10c835e10f1ffc5afd0328e9ad343f4c4844795b376307f3277b701a75"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-macosx_10_7_x86_64.whl", hash = "sha256:738c4816a2c6ea1a0f7371a184cc4cdb48043431876c385fd268929ed884e5c1"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:dcf4cda92c9cf9f66673839cd7eb4cb43b8f2de5631e892f5ed9368a68aadc23"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:7dee40d1c307a72c5ff4e8bd66e44aaeb41fd254a9cc5bf7da60a545290ee779"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:7066c4cf7834bb308b40b895844a129e79cad1526f7a1f1c47c7b7162a01150b"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ddc2ba423b131e5d70e1ae7f200292917bd9ebbefdb20d08ef08b65aaf091af5"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-manylinux_2_28_aarch64.whl", hash = "sha256:4081e95a19373a46097aa9db2fc62abbe215c4844752c04da0f1cbb05fb0d5dd"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-manylinux_2_28_armv7l.whl", hash = "sha256:f1d295ded23fb341b64b0d8240caed0e54c0ce4065adea4752fd0d098c813705"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:86e9984dea40867136fbd76a01b9f03250b370a3aa8b92e503e06f806cfa62bc"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-musllinux_1_1_aarch64.whl", hash = "sha256:e084af8e2c40b06b42ceebf9207d812f63f82dd4494837f97bf6088d6c8d102a"}, - {file = "py_sr25519_bindings-0.1.5-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:a6c77ccbcf7228b83ef781ae5fe8efac7110154edacfbd53a38ff12b9a58b8bc"}, - {file = "py_sr25519_bindings-0.1.5-cp38-none-win32.whl", hash = "sha256:ad843f022149f0aa443a7222d38f6b7246bb36e9a15c9162088d3e5a5cbe0ce9"}, - {file = "py_sr25519_bindings-0.1.5-cp38-none-win_amd64.whl", hash = "sha256:6a2f160c424ab68b9bfda361ac41782931b2acbb81a67d21a2b044d8f235d0b1"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-macosx_10_7_x86_64.whl", hash = "sha256:0eb789abf08d8d9c9bd458a77c977d6546355f263efca8a8aee1e9d827ce1420"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:5fa7480b4a16e513a8b1c436050c5c052a68650c104124209e4030f69ce33628"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:d4b384198eca7bf04d2f128777dd19fb3ebba5a1c8ee1aa610104c8afad55f7a"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:83776025141f256b1725d647bc9e280f0e4a49d93c61bf0790f7e430741aaa50"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ca8b4c779a2a5207ce96989e2be3ad5d059b2667798fec99f4dcbac6626a8e86"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-manylinux_2_28_aarch64.whl", hash = "sha256:9b76db26d8ae84b1fbc4c8d0b2e49de28fcb968b4d4541b21c6a116510b2a6b4"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-manylinux_2_28_armv7l.whl", hash = "sha256:21b563d679ace42317d0cfbc1b4372443bda235dac6ac1f92ef2acffe50e6a3e"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:b205083c04ea9d61bf616329d1493a2299d8a6612567c7db8e210816bda78c69"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-musllinux_1_1_aarch64.whl", hash = "sha256:e50f59d5510fdfef7158770865eb03261e964ba79ad065ca0dca30c526b2712e"}, - {file = "py_sr25519_bindings-0.1.5-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:fd8f066685415f5e6ae9855f75a6f4d98bc7367345161d59983f86d713acce1c"}, - {file = "py_sr25519_bindings-0.1.5-cp39-none-win32.whl", hash = "sha256:d0cf53e1021da4ba1e943fc1a1489c09e829250544030e4f5fd50f1275afc43d"}, - {file = "py_sr25519_bindings-0.1.5-cp39-none-win_amd64.whl", hash = "sha256:a367bce4502448f2eecea37113c49a517314f5e1bcf61ef277053a0fe9064a2e"}, - {file = "py_sr25519_bindings-0.1.5-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:d1fae41f75a7c37ae985bbe8acd41a169951d09595c20e06431d87a2f83a36d3"}, - {file = "py_sr25519_bindings-0.1.5-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:78788491131b4fd9e3e0f053e3a972fc29832f86182d7e00e9e405fe9337952f"}, - {file = "py_sr25519_bindings-0.1.5-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:a0b0bcf24957cdfc6d612a2a35afc07ed836e9cec3e7c1de81ff1158166c0516"}, - {file = "py_sr25519_bindings-0.1.5.tar.gz", hash = "sha256:ffec99daaf894f21d2c11541dcd10f0502e50970a685eb7ef38a3ab5e1adee22"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-macosx_10_7_x86_64.whl", hash = "sha256:86cc1a571852a4f2ade827ebf211e066b23ab805d3e864cbe213a3d8cd53f7d5"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:453c9088e39dd04b07bf3ada6c473a5349c4dfd965009a35124b2c807117eda8"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:f12122a18b688e4a4bf0e74d3969d9e3f6f83d2b01fe88ab5f19c969e95192a2"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:f2815ecc958f6edbad79fee76899bd33b8950caa7106c1db08c828ec90e16fa7"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:bfe52e73d7f0237820f7a935397d5004733a1d890464701f2c3c71be6033c442"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-manylinux_2_28_armv7l.whl", hash = "sha256:df7e2fad636831919bfa479cd4b6fffdd429cde778da72b1834c1434dadaf982"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:f4ebeb2aac26a39160f2fad8ffc40ff98da835af57618c0446637bf182b9c927"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-musllinux_1_1_aarch64.whl", hash = "sha256:942a6b52e871d6e152dda80a60ed338dccedc69b6375e080e496bf886f2556c0"}, + {file = "py_sr25519_bindings-0.2.0-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:b24307c34a06209d0e34ca15ab4c0275617538dfdac1eac8aa25e792fa9f4108"}, + {file = "py_sr25519_bindings-0.2.0-cp310-none-win32.whl", hash = "sha256:2e06a2d1119a2ad063f11448bb27ec4f4ba77416043d98ae28ef30624cf0e12d"}, + {file = "py_sr25519_bindings-0.2.0-cp310-none-win_amd64.whl", hash = "sha256:16b36d9fe8bda873ab8376f3a4d0894b8d4ab2d702665afc3ab3ca69f0dc9495"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-macosx_10_7_x86_64.whl", hash = "sha256:54e8c41081a4c23eca4b19f52de2514c48ddec6f49844dff7ad4cfac0bc11712"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:6c73bd1a87849db9cd0e664b2d2e14208183dd8d11ac083d70e688fc28283a71"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:47d21382ea24f7f25e72cdddaca2f013ce46cc7983bcfebc611c795cea177eff"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:9c1448cf55bbf6f52d2e24766a8a84ba6d77100a991897e8519711ccd7409830"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:392b8b9875c89c9302930ad3d59567b62176f33adeee96a55ff61ba17fb7aac2"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-musllinux_1_1_aarch64.whl", hash = "sha256:7b56b5cbbfb36b41ddfa462989a03386590ac036f3a755ef64fffeb2fed88654"}, + {file = "py_sr25519_bindings-0.2.0-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:8f06ea3237e06666e3a4ff4719b4fba415472943831b229428753c37d5ecd1b4"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-macosx_10_7_x86_64.whl", hash = "sha256:c3de899a1e911b8945f09e6389f8d2df68924c12c78e3e66fedb15f1e4ff56ad"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:758761b605f90e4238304df7520155a3358b13cc55ee18c5113632da17343163"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:1f63580a224607e68b861eb03421465091c3104b6309e5fca7448f5aa6dbda60"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:37b999075b76cae8e84d5f19f2c8f28d3f24c93ba858ad49e58bcf22afe0406b"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-manylinux_2_28_armv7l.whl", hash = "sha256:5102c94e97d316009ad4482f24d9a933fc0b7eb0bb88e6a784a820cd1bd25827"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:b477b18940f472d4e25e141f19503a6e55aadff31b4822228a491c9638096baf"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-musllinux_1_1_aarch64.whl", hash = "sha256:7e69bf7bdc9920013c1a2bea25a8b02df9588d9856cb20270f4d8d95b8e83f52"}, + {file = "py_sr25519_bindings-0.2.0-cp36-cp36m-musllinux_1_1_x86_64.whl", hash = "sha256:dc436a34e17037833c3909062722ee3d46e28288972c87f619d163d00054d68e"}, + {file = "py_sr25519_bindings-0.2.0-cp36-none-win32.whl", hash = "sha256:fc27c847dd4df727388aaadc3870aeb472f2d5c35717536d319792fe08f6120a"}, + {file = "py_sr25519_bindings-0.2.0-cp36-none-win_amd64.whl", hash = "sha256:0441381c2a6f532831d560a1f2ae8a917c7190cf27f5428d9b0528fa28a72e2d"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-macosx_10_7_x86_64.whl", hash = "sha256:e1471134450e6189b7e38d245ab16b06f3de900b6d07aa66b1e6973cdbc00d01"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:302bd20e75d900d98e7961934b03958e8acc8784eed594ab48f9bb298396c734"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:1e09ac91f4b2e2b9c50e268f6ee292d9fa447c5b7cc6327cfeae7750d716f49e"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-manylinux_2_28_armv7l.whl", hash = "sha256:28b904739147c4f797627bd3b44d1e64d061533253abd1882c6d3b8944e7bbd8"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:0931ac85331aae33bef67460a3cce554ef5c1f7dfec0ebe2f5b9ea57c5bee65c"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-musllinux_1_1_aarch64.whl", hash = "sha256:cd8da64f9e42ff973b394ed9164f1e9a454279a058eed08ac8d006fcbd61093b"}, + {file = "py_sr25519_bindings-0.2.0-cp37-cp37m-musllinux_1_1_x86_64.whl", hash = "sha256:297ad50e3cace5c89dbf5bd916b714aac3ebe6bc76f85382dac228cbeb71449e"}, + {file = "py_sr25519_bindings-0.2.0-cp37-none-win32.whl", hash = "sha256:422d62ca74ebe5065eca88607552b9a5f1dc4abff0c597cc3793dd8adfb8c4ea"}, + {file = "py_sr25519_bindings-0.2.0-cp37-none-win_amd64.whl", hash = "sha256:d1b0ed9a4dded60f671f34fdd81c974dad159e98f43bcab21833f984e05920f9"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-macosx_10_7_x86_64.whl", hash = "sha256:37f11ffee535c624bf5ddc6109c2cdca9a2dbd10f7d310bcd1dd97f6121c532f"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:4e1b553a6b1cc1b0aa9da2d7157329713cc7f299acb12a052d326f9b594b145c"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:f0b6dcf1328027dba1f9236bd3432cc3cce1de55a12c1a3a4ea7a8dc3ab3e857"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:458c7e6d7447bd267a6f870a8801e995d710952566a0a52634f408bf804cf27a"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:d64253d7d08fd6073e7b79bba9cff78687e76698cc210d3c6f236b90766b9421"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-manylinux_2_28_armv7l.whl", hash = "sha256:a9aac20a196416b8daf764704a9cee71ddee16bc705d12b5c6bcb6f51e81ac6e"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:e162687189cf765f602178aa195a2be4284107622141ff746e92e14e266cf3b7"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-musllinux_1_1_aarch64.whl", hash = "sha256:d44ab4d150c9bdd1641ccad49942ecf2d0ef61bd66a7da41094bb4a9cbaca529"}, + {file = "py_sr25519_bindings-0.2.0-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:251ff9cef5dafd96ff241b77ff471912c40249b6df31e71c6c32de6a26a8dbc6"}, + {file = "py_sr25519_bindings-0.2.0-cp38-none-win32.whl", hash = "sha256:ca9794f9d4fc37cdc8cbb6724d5432a064d22c26ecde312928154b6bc691f4d3"}, + {file = "py_sr25519_bindings-0.2.0-cp38-none-win_amd64.whl", hash = "sha256:6406cb0aeb5cbb8cfaa37d59d15d7640c0d812a1cbb55657bee52fd3d9e92aa9"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-macosx_10_7_x86_64.whl", hash = "sha256:b9da73447c8f5b8392a8229c2b65d742709c6aa2d0c6b32e39b635fb245145f1"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-macosx_10_9_x86_64.macosx_11_0_arm64.macosx_10_9_universal2.whl", hash = "sha256:7f00236a802d6d3f3705713d5352ba968c0ce353a20519c445e66ce19869bfdc"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:d473199c0dbad846b0723c6663b1b6a04040ccdca700cb1609acac3e621f2087"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:44bede0dd42f75cf849d3ccb4e443d6425218035bc00a6330b11dc2cc1146f3b"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-manylinux_2_28_armv7l.whl", hash = "sha256:a8e462d2442726d9db07854dc2eb640b1a8a548948b1ff3aa580771ab739bab8"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.whl", hash = "sha256:55b1f67fdaeab91481fda54432dffdf87ed516d26461d31e70911c7ea55d6164"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-musllinux_1_1_aarch64.whl", hash = "sha256:ec11493d59075ba75fe0bc0312d502ffdc45b641a46fb084bf8b04906597688b"}, + {file = "py_sr25519_bindings-0.2.0-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:101ee46368da149ad332aea225d4ff2907dffce574e8f8f7fe56f5c29211f333"}, + {file = "py_sr25519_bindings-0.2.0-cp39-none-win32.whl", hash = "sha256:909f13f63f67f1e5595d4d495cf8a3c95e392626c08f94550cbf8f0e8ea1c743"}, + {file = "py_sr25519_bindings-0.2.0-cp39-none-win_amd64.whl", hash = "sha256:b3f86e4aad6c2b8ff74af76f38fde7fbaf9dd83bc4a7c259709092008c3b8e5d"}, + {file = "py_sr25519_bindings-0.2.0-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:38db0ee90bd676b9df7ddd03fcb2113b5a5e9d9c984d82426728acc0e9d54277"}, + {file = "py_sr25519_bindings-0.2.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:5dfe767069d5c5e8a313e77b6bd681ea4f6b5988b09b6b4c9399e255fe4a7c53"}, + {file = "py_sr25519_bindings-0.2.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:f8951d1a6e310a682a6253d547e44a9e7a606476dbc18dea3f121d98bdb81042"}, + {file = "py_sr25519_bindings-0.2.0.tar.gz", hash = "sha256:0c2fe92b7cdcebf6c5611a90054f8ba6ea90b68b8832896d2dc565537bc40b0c"}, ] pycparser = [ {file = "pycparser-2.21-py2.py3-none-any.whl", hash = "sha256:8ee45429555515e1f6b185e78100aea234072576aa43ab53aefcae078162fca9"}, @@ -2081,31 +2072,32 @@ pyparsing = [ {file = "pyparsing-3.0.9.tar.gz", hash = "sha256:2b020ecf7d21b687f219b71ecad3631f644a47f01403fa1d1036b0c6416d70fb"}, ] pyrsistent = [ - {file = "pyrsistent-0.18.1-cp310-cp310-macosx_10_9_universal2.whl", hash = "sha256:df46c854f490f81210870e509818b729db4488e1f30f2a1ce1698b2295a878d1"}, - {file = "pyrsistent-0.18.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:5d45866ececf4a5fff8742c25722da6d4c9e180daa7b405dc0a2a2790d668c26"}, - {file = "pyrsistent-0.18.1-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:4ed6784ceac462a7d6fcb7e9b663e93b9a6fb373b7f43594f9ff68875788e01e"}, - {file = "pyrsistent-0.18.1-cp310-cp310-win32.whl", hash = "sha256:e4f3149fd5eb9b285d6bfb54d2e5173f6a116fe19172686797c056672689daf6"}, - {file = "pyrsistent-0.18.1-cp310-cp310-win_amd64.whl", hash = "sha256:636ce2dc235046ccd3d8c56a7ad54e99d5c1cd0ef07d9ae847306c91d11b5fec"}, - {file = "pyrsistent-0.18.1-cp37-cp37m-macosx_10_9_x86_64.whl", hash = "sha256:e92a52c166426efbe0d1ec1332ee9119b6d32fc1f0bbfd55d5c1088070e7fc1b"}, - {file = "pyrsistent-0.18.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:d7a096646eab884bf8bed965bad63ea327e0d0c38989fc83c5ea7b8a87037bfc"}, - {file = "pyrsistent-0.18.1-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:cdfd2c361b8a8e5d9499b9082b501c452ade8bbf42aef97ea04854f4a3f43b22"}, - {file = "pyrsistent-0.18.1-cp37-cp37m-win32.whl", hash = "sha256:7ec335fc998faa4febe75cc5268a9eac0478b3f681602c1f27befaf2a1abe1d8"}, - {file = "pyrsistent-0.18.1-cp37-cp37m-win_amd64.whl", hash = "sha256:6455fc599df93d1f60e1c5c4fe471499f08d190d57eca040c0ea182301321286"}, - {file = "pyrsistent-0.18.1-cp38-cp38-macosx_10_9_universal2.whl", hash = "sha256:fd8da6d0124efa2f67d86fa70c851022f87c98e205f0594e1fae044e7119a5a6"}, - {file = "pyrsistent-0.18.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:7bfe2388663fd18bd8ce7db2c91c7400bf3e1a9e8bd7d63bf7e77d39051b85ec"}, - {file = "pyrsistent-0.18.1-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:0e3e1fcc45199df76053026a51cc59ab2ea3fc7c094c6627e93b7b44cdae2c8c"}, - {file = "pyrsistent-0.18.1-cp38-cp38-win32.whl", hash = "sha256:b568f35ad53a7b07ed9b1b2bae09eb15cdd671a5ba5d2c66caee40dbf91c68ca"}, - {file = "pyrsistent-0.18.1-cp38-cp38-win_amd64.whl", hash = "sha256:d1b96547410f76078eaf66d282ddca2e4baae8964364abb4f4dcdde855cd123a"}, - {file = "pyrsistent-0.18.1-cp39-cp39-macosx_10_9_universal2.whl", hash = "sha256:f87cc2863ef33c709e237d4b5f4502a62a00fab450c9e020892e8e2ede5847f5"}, - {file = "pyrsistent-0.18.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:6bc66318fb7ee012071b2792024564973ecc80e9522842eb4e17743604b5e045"}, - {file = "pyrsistent-0.18.1-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:914474c9f1d93080338ace89cb2acee74f4f666fb0424896fcfb8d86058bf17c"}, - {file = "pyrsistent-0.18.1-cp39-cp39-win32.whl", hash = "sha256:1b34eedd6812bf4d33814fca1b66005805d3640ce53140ab8bbb1e2651b0d9bc"}, - {file = "pyrsistent-0.18.1-cp39-cp39-win_amd64.whl", hash = "sha256:e24a828f57e0c337c8d8bb9f6b12f09dfdf0273da25fda9e314f0b684b415a07"}, - {file = "pyrsistent-0.18.1.tar.gz", hash = "sha256:d4d61f8b993a7255ba714df3aca52700f8125289f84f704cf80916517c46eb96"}, + {file = "pyrsistent-0.19.2-cp310-cp310-macosx_10_9_universal2.whl", hash = "sha256:d6982b5a0237e1b7d876b60265564648a69b14017f3b5f908c5be2de3f9abb7a"}, + {file = "pyrsistent-0.19.2-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:187d5730b0507d9285a96fca9716310d572e5464cadd19f22b63a6976254d77a"}, + {file = "pyrsistent-0.19.2-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:055ab45d5911d7cae397dc418808d8802fb95262751872c841c170b0dbf51eed"}, + {file = "pyrsistent-0.19.2-cp310-cp310-win32.whl", hash = "sha256:456cb30ca8bff00596519f2c53e42c245c09e1a4543945703acd4312949bfd41"}, + {file = "pyrsistent-0.19.2-cp310-cp310-win_amd64.whl", hash = "sha256:b39725209e06759217d1ac5fcdb510e98670af9e37223985f330b611f62e7425"}, + {file = "pyrsistent-0.19.2-cp37-cp37m-macosx_10_9_x86_64.whl", hash = "sha256:2aede922a488861de0ad00c7630a6e2d57e8023e4be72d9d7147a9fcd2d30712"}, + {file = "pyrsistent-0.19.2-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:879b4c2f4d41585c42df4d7654ddffff1239dc4065bc88b745f0341828b83e78"}, + {file = "pyrsistent-0.19.2-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:c43bec251bbd10e3cb58ced80609c5c1eb238da9ca78b964aea410fb820d00d6"}, + {file = "pyrsistent-0.19.2-cp37-cp37m-win32.whl", hash = "sha256:d690b18ac4b3e3cab73b0b7aa7dbe65978a172ff94970ff98d82f2031f8971c2"}, + {file = "pyrsistent-0.19.2-cp37-cp37m-win_amd64.whl", hash = "sha256:3ba4134a3ff0fc7ad225b6b457d1309f4698108fb6b35532d015dca8f5abed73"}, + {file = "pyrsistent-0.19.2-cp38-cp38-macosx_10_9_universal2.whl", hash = "sha256:a178209e2df710e3f142cbd05313ba0c5ebed0a55d78d9945ac7a4e09d923308"}, + {file = "pyrsistent-0.19.2-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:e371b844cec09d8dc424d940e54bba8f67a03ebea20ff7b7b0d56f526c71d584"}, + {file = "pyrsistent-0.19.2-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:111156137b2e71f3a9936baf27cb322e8024dac3dc54ec7fb9f0bcf3249e68bb"}, + {file = "pyrsistent-0.19.2-cp38-cp38-win32.whl", hash = "sha256:e5d8f84d81e3729c3b506657dddfe46e8ba9c330bf1858ee33108f8bb2adb38a"}, + {file = "pyrsistent-0.19.2-cp38-cp38-win_amd64.whl", hash = "sha256:9cd3e9978d12b5d99cbdc727a3022da0430ad007dacf33d0bf554b96427f33ab"}, + {file = "pyrsistent-0.19.2-cp39-cp39-macosx_10_9_universal2.whl", hash = "sha256:f1258f4e6c42ad0b20f9cfcc3ada5bd6b83374516cd01c0960e3cb75fdca6770"}, + {file = "pyrsistent-0.19.2-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:21455e2b16000440e896ab99e8304617151981ed40c29e9507ef1c2e4314ee95"}, + {file = "pyrsistent-0.19.2-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:bfd880614c6237243ff53a0539f1cb26987a6dc8ac6e66e0c5a40617296a045e"}, + {file = "pyrsistent-0.19.2-cp39-cp39-win32.whl", hash = "sha256:71d332b0320642b3261e9fee47ab9e65872c2bd90260e5d225dabeed93cbd42b"}, + {file = "pyrsistent-0.19.2-cp39-cp39-win_amd64.whl", hash = "sha256:dec3eac7549869365fe263831f576c8457f6c833937c68542d08fde73457d291"}, + {file = "pyrsistent-0.19.2-py3-none-any.whl", hash = "sha256:ea6b79a02a28550c98b6ca9c35b9f492beaa54d7c5c9e9949555893c8a9234d0"}, + {file = "pyrsistent-0.19.2.tar.gz", hash = "sha256:bfa0351be89c9fcbcb8c9879b826f4353be10f58f8a677efab0c017bf7137ec2"}, ] pytest = [ - {file = "pytest-7.1.3-py3-none-any.whl", hash = "sha256:1377bda3466d70b55e3f5cecfa55bb7cfcf219c7964629b967c37cf0bda818b7"}, - {file = "pytest-7.1.3.tar.gz", hash = "sha256:4f365fec2dff9c1162f834d9f18af1ba13062db0c708bf7b946f8a5c76180c39"}, + {file = "pytest-7.2.0-py3-none-any.whl", hash = "sha256:892f933d339f068883b6fd5a459f03d85bfcb355e4981e146d2c7616c21fef71"}, + {file = "pytest-7.2.0.tar.gz", hash = "sha256:c4014eb40e10f11f355ad4e3c2fb2c6c6d1919c73f3b5a433de4708202cade59"}, ] pytest-reportlog = [ {file = "pytest-reportlog-0.1.2.tar.gz", hash = "sha256:b1f71495699e398a40578c0ff3e73ec01b5a192d108e2bea73dbc7b3fa1f2595"}, @@ -2181,17 +2173,6 @@ questionary = [ {file = "questionary-1.10.0-py3-none-any.whl", hash = "sha256:fecfcc8cca110fda9d561cb83f1e97ecbb93c613ff857f655818839dac74ce90"}, {file = "questionary-1.10.0.tar.gz", hash = "sha256:600d3aefecce26d48d97eee936fdb66e4bc27f934c3ab6dd1e292c4f43946d90"}, ] -recordclass = [ - {file = "recordclass-0.16.3-cp36-cp36m-win32.whl", hash = "sha256:433b2574386ee9b87910fbc82fd2aaaabc2e88d5fb898def684d00b84405fb77"}, - {file = "recordclass-0.16.3-cp36-cp36m-win_amd64.whl", hash = "sha256:f97679804715175c849644bfe0f3520ae4be1c151856d1cd7556fc4b9f44a198"}, - {file = "recordclass-0.16.3-cp37-cp37m-win32.whl", hash = "sha256:499ffdbec48d15ac401c5b1f62685fc411c72cb0eaab056ce3d595880679c6d5"}, - {file = "recordclass-0.16.3-cp37-cp37m-win_amd64.whl", hash = "sha256:4eb5852508c97652b9513ae3d167ef708a2ba4509e116a48d48237f3285ad551"}, - {file = "recordclass-0.16.3-cp38-cp38-win32.whl", hash = "sha256:8f24f4b4fb369ae037929670560f0724aa726d48ade2b87fc876eae2703ec0d8"}, - {file = "recordclass-0.16.3-cp38-cp38-win_amd64.whl", hash = "sha256:ed02ba5b8a6503f58c4919fbd248dfe3cbcb700af426a68d4e52ce2a4369df07"}, - {file = "recordclass-0.16.3-cp39-cp39-win32.whl", hash = "sha256:bc68861e07463b890beb2c4e44593753dd2d4a9d7dec3cf170c1e77da8191dcf"}, - {file = "recordclass-0.16.3-cp39-cp39-win_amd64.whl", hash = "sha256:667253445ecc60f836ca528f5a505c1ac820c97f1e975e42697321d6105912b4"}, - {file = "recordclass-0.16.3.tar.gz", hash = "sha256:d41791e907425c8942d61ec3ec4c1e7e53639a077dda2ec890303bf61b1e114d"}, -] rich = [ {file = "rich-12.6.0-py3-none-any.whl", hash = "sha256:a4eb26484f2c82589bd9a17c73d32a010b1e29d89f1604cd9bf3a2097b81bb5e"}, {file = "rich-12.6.0.tar.gz", hash = "sha256:ba3a3775974105c221d31141f2c116f4fd65c5ceb0698657a11e9f295ec93fd0"}, @@ -2217,16 +2198,16 @@ smmap = [ {file = "smmap-5.0.0.tar.gz", hash = "sha256:c840e62059cd3be204b0c9c9f74be2c09d5648eddd4580d9314c3ecde0b30936"}, ] tabulate = [ - {file = "tabulate-0.8.10-py3-none-any.whl", hash = "sha256:0ba055423dbaa164b9e456abe7920c5e8ed33fcc16f6d1b2f2d152c8e1e8b4fc"}, - {file = "tabulate-0.8.10.tar.gz", hash = "sha256:6c57f3f3dd7ac2782770155f3adb2db0b1a269637e42f27599925e64b114f519"}, + {file = "tabulate-0.9.0-py3-none-any.whl", hash = "sha256:024ca478df22e9340661486f85298cff5f6dcdba14f3813e8830015b9ed1948f"}, + {file = "tabulate-0.9.0.tar.gz", hash = "sha256:0095b12bf5966de529c0feb1fa08671671b3368eec77d7ef7ab114be2c068b3c"}, ] tenacity = [ {file = "tenacity-8.1.0-py3-none-any.whl", hash = "sha256:35525cd47f82830069f0d6b73f7eb83bc5b73ee2fff0437952cedf98b27653ac"}, {file = "tenacity-8.1.0.tar.gz", hash = "sha256:e48c437fdf9340f5666b92cd7990e96bc5fc955e1298baf4a907e3972067a445"}, ] termcolor = [ - {file = "termcolor-2.0.1-py3-none-any.whl", hash = "sha256:7e597f9de8e001a3208c4132938597413b9da45382b6f1d150cff8d062b7aaa3"}, - {file = "termcolor-2.0.1.tar.gz", hash = "sha256:6b2cf769e93364a2676e1de56a7c0cff2cf5bd07f37e9cc80b0dd6320ebfe388"}, + {file = "termcolor-2.1.0-py3-none-any.whl", hash = "sha256:91dd04fdf661b89d7169cefd35f609b19ca931eb033687eaa647cef1ff177c49"}, + {file = "termcolor-2.1.0.tar.gz", hash = "sha256:b80df54667ce4f48c03fe35df194f052dc27a541ebbf2544e4d6b47b5d6949c4"}, ] terra-proto = [ {file = "terra-proto-2.1.0.tar.gz", hash = "sha256:accc66a77b6d18aadd3eb905cbd5d8d40e6d84116cb826fadfe75523a7674d71"}, @@ -2245,12 +2226,12 @@ tomli = [ {file = "tomli-2.0.1.tar.gz", hash = "sha256:de526c12914f0c550d15924c62d72abc48d6fe7364aa87328337a31007fe8a4f"}, ] tomlkit = [ - {file = "tomlkit-0.11.5-py3-none-any.whl", hash = "sha256:f2ef9da9cef846ee027947dc99a45d6b68a63b0ebc21944649505bf2e8bc5fe7"}, - {file = "tomlkit-0.11.5.tar.gz", hash = "sha256:571854ebbb5eac89abcb4a2e47d7ea27b89bf29e09c35395da6f03dd4ae23d1c"}, + {file = "tomlkit-0.11.6-py3-none-any.whl", hash = "sha256:07de26b0d8cfc18f871aec595fda24d95b08fef89d147caa861939f37230bf4b"}, + {file = "tomlkit-0.11.6.tar.gz", hash = "sha256:71b952e5721688937fb02cf9d354dbcf0785066149d2855e44531ebdd2b65d73"}, ] typer = [ - {file = "typer-0.6.1-py3-none-any.whl", hash = "sha256:54b19e5df18654070a82f8c2aa1da456a4ac16a2a83e6dcd9f170e291c56338e"}, - {file = "typer-0.6.1.tar.gz", hash = "sha256:2d5720a5e63f73eaf31edaa15f6ab87f35f0690f8ca233017d7d23d743a91d73"}, + {file = "typer-0.7.0-py3-none-any.whl", hash = "sha256:b5e704f4e48ec263de1c0b3a2387cd405a13767d2f907f44c1a08cbad96f606d"}, + {file = "typer-0.7.0.tar.gz", hash = "sha256:ff797846578a9f2a201b53442aedeb543319466870fbe1c701eab66dd7681165"}, ] typing-extensions = [ {file = "typing_extensions-4.4.0-py3-none-any.whl", hash = "sha256:16fa4864408f655d35ec496218b85f79b3437c829e93320c7c9215ccfd92489e"}, @@ -2288,54 +2269,75 @@ wcwidth = [ {file = "wcwidth-0.2.5.tar.gz", hash = "sha256:c4d647b99872929fdb7bdcaa4fbe7f01413ed3d98077df798530e5b04f116c83"}, ] websockets = [ - {file = "websockets-10.3-cp310-cp310-macosx_10_9_universal2.whl", hash = "sha256:661f641b44ed315556a2fa630239adfd77bd1b11cb0b9d96ed8ad90b0b1e4978"}, - {file = "websockets-10.3-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:b529fdfa881b69fe563dbd98acce84f3e5a67df13de415e143ef053ff006d500"}, - {file = "websockets-10.3-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:f351c7d7d92f67c0609329ab2735eee0426a03022771b00102816a72715bb00b"}, - {file = "websockets-10.3-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:379e03422178436af4f3abe0aa8f401aa77ae2487843738542a75faf44a31f0c"}, - {file = "websockets-10.3-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_12_i686.manylinux2010_i686.whl", hash = "sha256:e904c0381c014b914136c492c8fa711ca4cced4e9b3d110e5e7d436d0fc289e8"}, - {file = "websockets-10.3-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl", hash = "sha256:e7e6f2d6fd48422071cc8a6f8542016f350b79cc782752de531577d35e9bd677"}, - {file = "websockets-10.3-cp310-cp310-musllinux_1_1_aarch64.whl", hash = "sha256:b9c77f0d1436ea4b4dc089ed8335fa141e6a251a92f75f675056dac4ab47a71e"}, - {file = "websockets-10.3-cp310-cp310-musllinux_1_1_i686.whl", hash = "sha256:e6fa05a680e35d0fcc1470cb070b10e6fe247af54768f488ed93542e71339d6f"}, - {file = "websockets-10.3-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:2f94fa3ae454a63ea3a19f73b95deeebc9f02ba2d5617ca16f0bbdae375cda47"}, - {file = "websockets-10.3-cp310-cp310-win32.whl", hash = "sha256:6ed1d6f791eabfd9808afea1e068f5e59418e55721db8b7f3bfc39dc831c42ae"}, - {file = "websockets-10.3-cp310-cp310-win_amd64.whl", hash = "sha256:347974105bbd4ea068106ec65e8e8ebd86f28c19e529d115d89bd8cc5cda3079"}, - {file = "websockets-10.3-cp37-cp37m-macosx_10_9_x86_64.whl", hash = "sha256:fab7c640815812ed5f10fbee7abbf58788d602046b7bb3af9b1ac753a6d5e916"}, - {file = "websockets-10.3-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:994cdb1942a7a4c2e10098d9162948c9e7b235df755de91ca33f6e0481366fdb"}, - {file = "websockets-10.3-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.manylinux_2_12_i686.manylinux2010_i686.whl", hash = "sha256:aad5e300ab32036eb3fdc350ad30877210e2f51bceaca83fb7fef4d2b6c72b79"}, - {file = "websockets-10.3-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl", hash = "sha256:e49ea4c1a9543d2bd8a747ff24411509c29e4bdcde05b5b0895e2120cb1a761d"}, - {file = "websockets-10.3-cp37-cp37m-musllinux_1_1_aarch64.whl", hash = "sha256:6ea6b300a6bdd782e49922d690e11c3669828fe36fc2471408c58b93b5535a98"}, - {file = "websockets-10.3-cp37-cp37m-musllinux_1_1_i686.whl", hash = "sha256:ef5ce841e102278c1c2e98f043db99d6755b1c58bde475516aef3a008ed7f28e"}, - {file = "websockets-10.3-cp37-cp37m-musllinux_1_1_x86_64.whl", hash = "sha256:d1655a6fc7aecd333b079d00fb3c8132d18988e47f19740c69303bf02e9883c6"}, - {file = "websockets-10.3-cp37-cp37m-win32.whl", hash = "sha256:83e5ca0d5b743cde3d29fda74ccab37bdd0911f25bd4cdf09ff8b51b7b4f2fa1"}, - {file = "websockets-10.3-cp37-cp37m-win_amd64.whl", hash = "sha256:da4377904a3379f0c1b75a965fff23b28315bcd516d27f99a803720dfebd94d4"}, - {file = "websockets-10.3-cp38-cp38-macosx_10_9_universal2.whl", hash = "sha256:a1e15b230c3613e8ea82c9fc6941b2093e8eb939dd794c02754d33980ba81e36"}, - {file = "websockets-10.3-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:31564a67c3e4005f27815634343df688b25705cccb22bc1db621c781ddc64c69"}, - {file = "websockets-10.3-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:c8d1d14aa0f600b5be363077b621b1b4d1eb3fbf90af83f9281cda668e6ff7fd"}, - {file = "websockets-10.3-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:8fbd7d77f8aba46d43245e86dd91a8970eac4fb74c473f8e30e9c07581f852b2"}, - {file = "websockets-10.3-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_12_i686.manylinux2010_i686.whl", hash = "sha256:210aad7fdd381c52e58777560860c7e6110b6174488ef1d4b681c08b68bf7f8c"}, - {file = "websockets-10.3-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl", hash = "sha256:6075fd24df23133c1b078e08a9b04a3bc40b31a8def4ee0b9f2c8865acce913e"}, - {file = "websockets-10.3-cp38-cp38-musllinux_1_1_aarch64.whl", hash = "sha256:7f6d96fdb0975044fdd7953b35d003b03f9e2bcf85f2d2cf86285ece53e9f991"}, - {file = "websockets-10.3-cp38-cp38-musllinux_1_1_i686.whl", hash = "sha256:c7250848ce69559756ad0086a37b82c986cd33c2d344ab87fea596c5ac6d9442"}, - {file = "websockets-10.3-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:28dd20b938a57c3124028680dc1600c197294da5db4292c76a0b48efb3ed7f76"}, - {file = "websockets-10.3-cp38-cp38-win32.whl", hash = "sha256:54c000abeaff6d8771a4e2cef40900919908ea7b6b6a30eae72752607c6db559"}, - {file = "websockets-10.3-cp38-cp38-win_amd64.whl", hash = "sha256:7ab36e17af592eec5747c68ef2722a74c1a4a70f3772bc661079baf4ae30e40d"}, - {file = "websockets-10.3-cp39-cp39-macosx_10_9_universal2.whl", hash = "sha256:a141de3d5a92188234afa61653ed0bbd2dde46ad47b15c3042ffb89548e77094"}, - {file = "websockets-10.3-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:97bc9d41e69a7521a358f9b8e44871f6cdeb42af31815c17aed36372d4eec667"}, - {file = "websockets-10.3-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:d6353ba89cfc657a3f5beabb3b69be226adbb5c6c7a66398e17809b0ce3c4731"}, - {file = "websockets-10.3-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:ec2b0ab7edc8cd4b0eb428b38ed89079bdc20c6bdb5f889d353011038caac2f9"}, - {file = "websockets-10.3-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_12_i686.manylinux2010_i686.whl", hash = "sha256:85506b3328a9e083cc0a0fb3ba27e33c8db78341b3eb12eb72e8afd166c36680"}, - {file = "websockets-10.3-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl", hash = "sha256:8af75085b4bc0b5c40c4a3c0e113fa95e84c60f4ed6786cbb675aeb1ee128247"}, - {file = "websockets-10.3-cp39-cp39-musllinux_1_1_aarch64.whl", hash = "sha256:07cdc0a5b2549bcfbadb585ad8471ebdc7bdf91e32e34ae3889001c1c106a6af"}, - {file = "websockets-10.3-cp39-cp39-musllinux_1_1_i686.whl", hash = "sha256:5b936bf552e4f6357f5727579072ff1e1324717902127ffe60c92d29b67b7be3"}, - {file = "websockets-10.3-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:e4e08305bfd76ba8edab08dcc6496f40674f44eb9d5e23153efa0a35750337e8"}, - {file = "websockets-10.3-cp39-cp39-win32.whl", hash = "sha256:bb621ec2dbbbe8df78a27dbd9dd7919f9b7d32a73fafcb4d9252fc4637343582"}, - {file = "websockets-10.3-cp39-cp39-win_amd64.whl", hash = "sha256:51695d3b199cd03098ae5b42833006a0f43dc5418d3102972addc593a783bc02"}, - {file = "websockets-10.3-pp37-pypy37_pp73-macosx_10_9_x86_64.whl", hash = "sha256:907e8247480f287aa9bbc9391bd6de23c906d48af54c8c421df84655eef66af7"}, - {file = "websockets-10.3-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:8b1359aba0ff810d5830d5ab8e2c4a02bebf98a60aa0124fb29aa78cfdb8031f"}, - {file = "websockets-10.3-pp37-pypy37_pp73-manylinux_2_5_i686.manylinux1_i686.manylinux_2_12_i686.manylinux2010_i686.whl", hash = "sha256:93d5ea0b5da8d66d868b32c614d2b52d14304444e39e13a59566d4acb8d6e2e4"}, - {file = "websockets-10.3-pp37-pypy37_pp73-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_12_x86_64.manylinux2010_x86_64.whl", hash = "sha256:7934e055fd5cd9dee60f11d16c8d79c4567315824bacb1246d0208a47eca9755"}, - {file = "websockets-10.3-pp37-pypy37_pp73-win_amd64.whl", hash = "sha256:3eda1cb7e9da1b22588cefff09f0951771d6ee9fa8dbe66f5ae04cc5f26b2b55"}, - {file = "websockets-10.3.tar.gz", hash = "sha256:fc06cc8073c8e87072138ba1e431300e2d408f054b27047d047b549455066ff4"}, + {file = "websockets-10.4-cp310-cp310-macosx_10_9_universal2.whl", hash = "sha256:d58804e996d7d2307173d56c297cf7bc132c52df27a3efaac5e8d43e36c21c48"}, + {file = "websockets-10.4-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:bc0b82d728fe21a0d03e65f81980abbbcb13b5387f733a1a870672c5be26edab"}, + {file = "websockets-10.4-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:ba089c499e1f4155d2a3c2a05d2878a3428cf321c848f2b5a45ce55f0d7d310c"}, + {file = "websockets-10.4-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:33d69ca7612f0ddff3316b0c7b33ca180d464ecac2d115805c044bf0a3b0d032"}, + {file = "websockets-10.4-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:62e627f6b6d4aed919a2052efc408da7a545c606268d5ab5bfab4432734b82b4"}, + {file = "websockets-10.4-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:38ea7b82bfcae927eeffc55d2ffa31665dc7fec7b8dc654506b8e5a518eb4d50"}, + {file = "websockets-10.4-cp310-cp310-musllinux_1_1_aarch64.whl", hash = "sha256:e0cb5cc6ece6ffa75baccfd5c02cffe776f3f5c8bf486811f9d3ea3453676ce8"}, + {file = "websockets-10.4-cp310-cp310-musllinux_1_1_i686.whl", hash = "sha256:ae5e95cfb53ab1da62185e23b3130e11d64431179debac6dc3c6acf08760e9b1"}, + {file = "websockets-10.4-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:7c584f366f46ba667cfa66020344886cf47088e79c9b9d39c84ce9ea98aaa331"}, + {file = "websockets-10.4-cp310-cp310-win32.whl", hash = "sha256:b029fb2032ae4724d8ae8d4f6b363f2cc39e4c7b12454df8df7f0f563ed3e61a"}, + {file = "websockets-10.4-cp310-cp310-win_amd64.whl", hash = "sha256:8dc96f64ae43dde92530775e9cb169979f414dcf5cff670455d81a6823b42089"}, + {file = "websockets-10.4-cp311-cp311-macosx_10_9_universal2.whl", hash = "sha256:47a2964021f2110116cc1125b3e6d87ab5ad16dea161949e7244ec583b905bb4"}, + {file = "websockets-10.4-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:e789376b52c295c4946403bd0efecf27ab98f05319df4583d3c48e43c7342c2f"}, + {file = "websockets-10.4-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:7d3f0b61c45c3fa9a349cf484962c559a8a1d80dae6977276df8fd1fa5e3cb8c"}, + {file = "websockets-10.4-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:f55b5905705725af31ccef50e55391621532cd64fbf0bc6f4bac935f0fccec46"}, + {file = "websockets-10.4-cp311-cp311-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:00c870522cdb69cd625b93f002961ffb0c095394f06ba8c48f17eef7c1541f96"}, + {file = "websockets-10.4-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:8f38706e0b15d3c20ef6259fd4bc1700cd133b06c3c1bb108ffe3f8947be15fa"}, + {file = "websockets-10.4-cp311-cp311-musllinux_1_1_aarch64.whl", hash = "sha256:f2c38d588887a609191d30e902df2a32711f708abfd85d318ca9b367258cfd0c"}, + {file = "websockets-10.4-cp311-cp311-musllinux_1_1_i686.whl", hash = "sha256:fe10ddc59b304cb19a1bdf5bd0a7719cbbc9fbdd57ac80ed436b709fcf889106"}, + {file = "websockets-10.4-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:90fcf8929836d4a0e964d799a58823547df5a5e9afa83081761630553be731f9"}, + {file = "websockets-10.4-cp311-cp311-win32.whl", hash = "sha256:b9968694c5f467bf67ef97ae7ad4d56d14be2751000c1207d31bf3bb8860bae8"}, + {file = "websockets-10.4-cp311-cp311-win_amd64.whl", hash = "sha256:a7a240d7a74bf8d5cb3bfe6be7f21697a28ec4b1a437607bae08ac7acf5b4882"}, + {file = "websockets-10.4-cp37-cp37m-macosx_10_9_x86_64.whl", hash = "sha256:74de2b894b47f1d21cbd0b37a5e2b2392ad95d17ae983e64727e18eb281fe7cb"}, + {file = "websockets-10.4-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:e3a686ecb4aa0d64ae60c9c9f1a7d5d46cab9bfb5d91a2d303d00e2cd4c4c5cc"}, + {file = "websockets-10.4-cp37-cp37m-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:b0d15c968ea7a65211e084f523151dbf8ae44634de03c801b8bd070b74e85033"}, + {file = "websockets-10.4-cp37-cp37m-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:00213676a2e46b6ebf6045bc11d0f529d9120baa6f58d122b4021ad92adabd41"}, + {file = "websockets-10.4-cp37-cp37m-musllinux_1_1_aarch64.whl", hash = "sha256:e23173580d740bf8822fd0379e4bf30aa1d5a92a4f252d34e893070c081050df"}, + {file = "websockets-10.4-cp37-cp37m-musllinux_1_1_i686.whl", hash = "sha256:dd500e0a5e11969cdd3320935ca2ff1e936f2358f9c2e61f100a1660933320ea"}, + {file = "websockets-10.4-cp37-cp37m-musllinux_1_1_x86_64.whl", hash = "sha256:4239b6027e3d66a89446908ff3027d2737afc1a375f8fd3eea630a4842ec9a0c"}, + {file = "websockets-10.4-cp37-cp37m-win32.whl", hash = "sha256:8a5cc00546e0a701da4639aa0bbcb0ae2bb678c87f46da01ac2d789e1f2d2038"}, + {file = "websockets-10.4-cp37-cp37m-win_amd64.whl", hash = "sha256:a9f9a735deaf9a0cadc2d8c50d1a5bcdbae8b6e539c6e08237bc4082d7c13f28"}, + {file = "websockets-10.4-cp38-cp38-macosx_10_9_universal2.whl", hash = "sha256:5c1289596042fad2cdceb05e1ebf7aadf9995c928e0da2b7a4e99494953b1b94"}, + {file = "websockets-10.4-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:0cff816f51fb33c26d6e2b16b5c7d48eaa31dae5488ace6aae468b361f422b63"}, + {file = "websockets-10.4-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:dd9becd5fe29773d140d68d607d66a38f60e31b86df75332703757ee645b6faf"}, + {file = "websockets-10.4-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:45ec8e75b7dbc9539cbfafa570742fe4f676eb8b0d3694b67dabe2f2ceed8aa6"}, + {file = "websockets-10.4-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:4f72e5cd0f18f262f5da20efa9e241699e0cf3a766317a17392550c9ad7b37d8"}, + {file = "websockets-10.4-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:185929b4808b36a79c65b7865783b87b6841e852ef5407a2fb0c03381092fa3b"}, + {file = "websockets-10.4-cp38-cp38-musllinux_1_1_aarch64.whl", hash = "sha256:7d27a7e34c313b3a7f91adcd05134315002aaf8540d7b4f90336beafaea6217c"}, + {file = "websockets-10.4-cp38-cp38-musllinux_1_1_i686.whl", hash = "sha256:884be66c76a444c59f801ac13f40c76f176f1bfa815ef5b8ed44321e74f1600b"}, + {file = "websockets-10.4-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:931c039af54fc195fe6ad536fde4b0de04da9d5916e78e55405436348cfb0e56"}, + {file = "websockets-10.4-cp38-cp38-win32.whl", hash = "sha256:db3c336f9eda2532ec0fd8ea49fef7a8df8f6c804cdf4f39e5c5c0d4a4ad9a7a"}, + {file = "websockets-10.4-cp38-cp38-win_amd64.whl", hash = "sha256:48c08473563323f9c9debac781ecf66f94ad5a3680a38fe84dee5388cf5acaf6"}, + {file = "websockets-10.4-cp39-cp39-macosx_10_9_universal2.whl", hash = "sha256:40e826de3085721dabc7cf9bfd41682dadc02286d8cf149b3ad05bff89311e4f"}, + {file = "websockets-10.4-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:56029457f219ade1f2fc12a6504ea61e14ee227a815531f9738e41203a429112"}, + {file = "websockets-10.4-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:f5fc088b7a32f244c519a048c170f14cf2251b849ef0e20cbbb0fdf0fdaf556f"}, + {file = "websockets-10.4-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:2fc8709c00704194213d45e455adc106ff9e87658297f72d544220e32029cd3d"}, + {file = "websockets-10.4-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:0154f7691e4fe6c2b2bc275b5701e8b158dae92a1ab229e2b940efe11905dff4"}, + {file = "websockets-10.4-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:4c6d2264f485f0b53adf22697ac11e261ce84805c232ed5dbe6b1bcb84b00ff0"}, + {file = "websockets-10.4-cp39-cp39-musllinux_1_1_aarch64.whl", hash = "sha256:9bc42e8402dc5e9905fb8b9649f57efcb2056693b7e88faa8fb029256ba9c68c"}, + {file = "websockets-10.4-cp39-cp39-musllinux_1_1_i686.whl", hash = "sha256:edc344de4dac1d89300a053ac973299e82d3db56330f3494905643bb68801269"}, + {file = "websockets-10.4-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:84bc2a7d075f32f6ed98652db3a680a17a4edb21ca7f80fe42e38753a58ee02b"}, + {file = "websockets-10.4-cp39-cp39-win32.whl", hash = "sha256:c94ae4faf2d09f7c81847c63843f84fe47bf6253c9d60b20f25edfd30fb12588"}, + {file = "websockets-10.4-cp39-cp39-win_amd64.whl", hash = "sha256:bbccd847aa0c3a69b5f691a84d2341a4f8a629c6922558f2a70611305f902d74"}, + {file = "websockets-10.4-pp37-pypy37_pp73-macosx_10_9_x86_64.whl", hash = "sha256:82ff5e1cae4e855147fd57a2863376ed7454134c2bf49ec604dfe71e446e2193"}, + {file = "websockets-10.4-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:d210abe51b5da0ffdbf7b43eed0cfdff8a55a1ab17abbec4301c9ff077dd0342"}, + {file = "websockets-10.4-pp37-pypy37_pp73-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:942de28af58f352a6f588bc72490ae0f4ccd6dfc2bd3de5945b882a078e4e179"}, + {file = "websockets-10.4-pp37-pypy37_pp73-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:c9b27d6c1c6cd53dc93614967e9ce00ae7f864a2d9f99fe5ed86706e1ecbf485"}, + {file = "websockets-10.4-pp37-pypy37_pp73-win_amd64.whl", hash = "sha256:3d3cac3e32b2c8414f4f87c1b2ab686fa6284a980ba283617404377cd448f631"}, + {file = "websockets-10.4-pp38-pypy38_pp73-macosx_10_9_x86_64.whl", hash = "sha256:da39dd03d130162deb63da51f6e66ed73032ae62e74aaccc4236e30edccddbb0"}, + {file = "websockets-10.4-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:389f8dbb5c489e305fb113ca1b6bdcdaa130923f77485db5b189de343a179393"}, + {file = "websockets-10.4-pp38-pypy38_pp73-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:09a1814bb15eff7069e51fed0826df0bc0702652b5cb8f87697d469d79c23576"}, + {file = "websockets-10.4-pp38-pypy38_pp73-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ff64a1d38d156d429404aaa84b27305e957fd10c30e5880d1765c9480bea490f"}, + {file = "websockets-10.4-pp38-pypy38_pp73-win_amd64.whl", hash = "sha256:b343f521b047493dc4022dd338fc6db9d9282658862756b4f6fd0e996c1380e1"}, + {file = "websockets-10.4-pp39-pypy39_pp73-macosx_10_9_x86_64.whl", hash = "sha256:932af322458da7e4e35df32f050389e13d3d96b09d274b22a7aa1808f292fee4"}, + {file = "websockets-10.4-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:d6a4162139374a49eb18ef5b2f4da1dd95c994588f5033d64e0bbfda4b6b6fcf"}, + {file = "websockets-10.4-pp39-pypy39_pp73-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:c57e4c1349fbe0e446c9fa7b19ed2f8a4417233b6984277cce392819123142d3"}, + {file = "websockets-10.4-pp39-pypy39_pp73-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:b627c266f295de9dea86bd1112ed3d5fafb69a348af30a2422e16590a8ecba13"}, + {file = "websockets-10.4-pp39-pypy39_pp73-win_amd64.whl", hash = "sha256:05a7233089f8bd355e8cbe127c2e8ca0b4ea55467861906b80d2ebc7db4d6b72"}, + {file = "websockets-10.4.tar.gz", hash = "sha256:eef610b23933c54d5d921c92578ae5f89813438fded840c2e9809d378dc765d3"}, ] wget = [ {file = "wget-3.2.zip", hash = "sha256:35e630eca2aa50ce998b9b1a127bb26b30dfee573702782aa982f875e3f16061"}, diff --git a/pyproject.toml b/pyproject.toml index 2fc471f..f2ddce6 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -20,23 +20,23 @@ classifiers = [ [tool.poetry.dependencies] python = "^3.8" -pytest = "^7.1.2" -copier = "^6.1.0" -typer = {extras = ["all"], version = "^0.6.1"} -modelator = "^0.6.5" -numpy = "^1.22.4" -hdwallet = "^2.1.1" -bip-utils = "^2.3.0" -tabulate = "^0.8.9" +pytest = "^7.2.0" +copier = "^7.0.1" +typer = {extras = ["all"], version = "^0.7.0"} +modelator = "^0.6.6" +numpy = "^1.23.4" +hdwallet = "^2.1.2" +bip-utils = "^2.7.0" +tabulate = "^0.9.0" jsonrpcclient = "^4.0.2" -websockets = "^10.3" -GitPython = "^3.1.27" -tomlkit = "^0.11.1" +websockets = "^10.4" +gitpython = "^3.1.29" +tomlkit = "^0.11.6" case-converter = "^1.1.0" pytest-reportlog = "^0.1.2" terra-sdk = "^3.0.1" terra-proto = "^2.1.0" -setuptools = "^65.3.0" +setuptools = "^65.5.1" tenacity = "^8.1.0" [build-system] diff --git a/tests/cli/test_transfer.md b/tests/cli/test_transfer.md index f095057..b2b5828 100644 --- a/tests/cli/test_transfer.md +++ b/tests/cli/test_transfer.md @@ -21,7 +21,7 @@ $ curl -sLo models/transfer.tla https://raw.githubusercontent.com/informalsystem ```sh $ atomkraft model apalache info ... -Apalache JAR file exists and its version is 0.25.10 +Apalache JAR file exists and its version is 0.30.1 ... ```