diff --git a/deps/kevm_release b/deps/kevm_release
index e09b81e88..652ed6ae0 100644
--- a/deps/kevm_release
+++ b/deps/kevm_release
@@ -1 +1 @@
-1.0.768
+1.0.770
diff --git a/flake.lock b/flake.lock
index b67a374b0..d8022e002 100644
--- a/flake.lock
+++ b/flake.lock
@@ -435,16 +435,16 @@
]
},
"locked": {
- "lastModified": 1736278885,
- "narHash": "sha256-GQUnIH1E4EQIREbMEwfZ6yd+HiDJHZsorpjbmNYFXL8=",
+ "lastModified": 1736787819,
+ "narHash": "sha256-OlhRANj1kKrGkOB5aXsO82zYIyp4flvPLz1PBg0r+RQ=",
"owner": "runtimeverification",
"repo": "evm-semantics",
- "rev": "66ef01e4f4a64ba135ef566d1d52a72ed61c3d7f",
+ "rev": "6b5e0b73271ed3865dc7aa016e9a2749143620be",
"type": "github"
},
"original": {
"owner": "runtimeverification",
- "ref": "v1.0.768",
+ "ref": "v1.0.770",
"repo": "evm-semantics",
"type": "github"
}
diff --git a/flake.nix b/flake.nix
index 28175dcdc..aa513e26d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
description = "Kontrol";
inputs = {
- kevm.url = "github:runtimeverification/evm-semantics/v1.0.768";
+ kevm.url = "github:runtimeverification/evm-semantics/v1.0.770";
nixpkgs.follows = "kevm/nixpkgs";
k-framework.follows = "kevm/k-framework";
flake-utils.follows = "kevm/flake-utils";
diff --git a/poetry.lock b/poetry.lock
index 11f784c5c..2e2e4501e 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -1,4 +1,4 @@
-# This file is automatically @generated by Poetry 2.0.0 and should not be changed by hand.
+# This file is automatically @generated by Poetry 2.0.1 and should not be changed by hand.
[[package]]
name = "attrs"
@@ -379,41 +379,41 @@ profile = ["gprof2dot (>=2022.7.29)"]
[[package]]
name = "eth-hash"
-version = "0.7.0"
+version = "0.7.1"
description = "eth-hash: The Ethereum hashing function, keccak256, sometimes (erroneously) called sha3"
optional = false
-python-versions = ">=3.8, <4"
+python-versions = "<4,>=3.8"
groups = ["main"]
files = [
- {file = "eth-hash-0.7.0.tar.gz", hash = "sha256:bacdc705bfd85dadd055ecd35fd1b4f846b671add101427e089a4ca2e8db310a"},
- {file = "eth_hash-0.7.0-py3-none-any.whl", hash = "sha256:b8d5a230a2b251f4a291e3164a23a14057c4a6de4b0aa4a16fa4dc9161b57e2f"},
+ {file = "eth_hash-0.7.1-py3-none-any.whl", hash = "sha256:0fb1add2adf99ef28883fd6228eb447ef519ea72933535ad1a0b28c6f65f868a"},
+ {file = "eth_hash-0.7.1.tar.gz", hash = "sha256:d2411a403a0b0a62e8247b4117932d900ffb4c8c64b15f92620547ca5ce46be5"},
]
[package.extras]
-dev = ["build (>=0.9.0)", "bumpversion (>=0.5.3)", "ipython", "pre-commit (>=3.4.0)", "pytest (>=7.0.0)", "pytest-xdist (>=2.4.0)", "sphinx (>=6.0.0)", "sphinx-rtd-theme (>=1.0.0)", "towncrier (>=21,<22)", "tox (>=4.0.0)", "twine", "wheel"]
-docs = ["sphinx (>=6.0.0)", "sphinx-rtd-theme (>=1.0.0)", "towncrier (>=21,<22)"]
+dev = ["build (>=0.9.0)", "bump_my_version (>=0.19.0)", "ipython", "mypy (==1.10.0)", "pre-commit (>=3.4.0)", "pytest (>=7.0.0)", "pytest-xdist (>=2.4.0)", "sphinx (>=6.0.0)", "sphinx-autobuild (>=2021.3.14)", "sphinx_rtd_theme (>=1.0.0)", "towncrier (>=24,<25)", "tox (>=4.0.0)", "twine", "wheel"]
+docs = ["sphinx (>=6.0.0)", "sphinx-autobuild (>=2021.3.14)", "sphinx_rtd_theme (>=1.0.0)", "towncrier (>=24,<25)"]
pycryptodome = ["pycryptodome (>=3.6.6,<4)"]
pysha3 = ["pysha3 (>=1.0.0,<2.0.0)", "safe-pysha3 (>=1.0.0)"]
test = ["pytest (>=7.0.0)", "pytest-xdist (>=2.4.0)"]
[[package]]
name = "eth-typing"
-version = "5.0.1"
+version = "5.1.0"
description = "eth-typing: Common type annotations for ethereum python packages"
optional = false
python-versions = "<4,>=3.8"
groups = ["main"]
files = [
- {file = "eth_typing-5.0.1-py3-none-any.whl", hash = "sha256:f30d1af16aac598f216748a952eeb64fbcb6e73efa691d2de31148138afe96de"},
- {file = "eth_typing-5.0.1.tar.gz", hash = "sha256:83debf88c9df286db43bb7374974681ebcc9f048fac81be2548dbc549a3203c0"},
+ {file = "eth_typing-5.1.0-py3-none-any.whl", hash = "sha256:c0d6b93f5385aa84efc4b47ae2bd478da069bc0ffda8b67e0ccb573f43defd29"},
+ {file = "eth_typing-5.1.0.tar.gz", hash = "sha256:8581f212ee6252aaa285377a77620f6e5f6e16ac3f144c61f098fafd47967b1a"},
]
[package.dependencies]
-typing-extensions = ">=4.5.0"
+typing_extensions = ">=4.5.0"
[package.extras]
-dev = ["build (>=0.9.0)", "bumpversion (>=0.5.3)", "ipython", "mypy (==1.10.0)", "pre-commit (>=3.4.0)", "pytest (>=7.0.0)", "pytest-xdist (>=2.4.0)", "sphinx (>=6.0.0)", "sphinx-rtd-theme (>=1.0.0)", "towncrier (>=21,<22)", "tox (>=4.0.0)", "twine", "wheel"]
-docs = ["sphinx (>=6.0.0)", "sphinx-rtd-theme (>=1.0.0)", "towncrier (>=21,<22)"]
+dev = ["build (>=0.9.0)", "bump_my_version (>=0.19.0)", "ipython", "mypy (==1.10.0)", "pre-commit (>=3.4.0)", "pytest (>=7.0.0)", "pytest-xdist (>=2.4.0)", "sphinx (>=6.0.0)", "sphinx-autobuild (>=2021.3.14)", "sphinx_rtd_theme (>=1.0.0)", "towncrier (>=24,<25)", "tox (>=4.0.0)", "twine", "wheel"]
+docs = ["sphinx (>=6.0.0)", "sphinx-autobuild (>=2021.3.14)", "sphinx_rtd_theme (>=1.0.0)", "towncrier (>=24,<25)"]
test = ["pytest (>=7.0.0)", "pytest-xdist (>=2.4.0)"]
[[package]]
@@ -656,14 +656,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
[[package]]
name = "hypothesis"
-version = "6.123.7"
+version = "6.123.17"
description = "A library for property-based testing"
optional = false
python-versions = ">=3.9"
groups = ["main"]
files = [
- {file = "hypothesis-6.123.7-py3-none-any.whl", hash = "sha256:292d5cd90e1665da53cfe74082187488cf48292c45ca191550d661aee6d52397"},
- {file = "hypothesis-6.123.7.tar.gz", hash = "sha256:c88f21fba1e8f893a43c04ca422acdf13b182b8272b4d530f5bbaa753e381232"},
+ {file = "hypothesis-6.123.17-py3-none-any.whl", hash = "sha256:5c949fb44935e32c61c64abfcc3975eec41f8205ade2223073ba074c1e078ead"},
+ {file = "hypothesis-6.123.17.tar.gz", hash = "sha256:5850893975b4f08e893ddc10f1d468bc7e011d59703f70fe06a10161e426e602"},
]
[package.dependencies]
@@ -741,7 +741,7 @@ colors = ["colorama (>=0.4.6)"]
[[package]]
name = "kevm-pyk"
-version = "1.0.768"
+version = "1.0.770"
description = ""
optional = false
python-versions = "^3.10"
@@ -757,8 +757,8 @@ tomlkit = "^0.11.6"
[package.source]
type = "git"
url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.768"
-resolved_reference = "66ef01e4f4a64ba135ef566d1d52a72ed61c3d7f"
+reference = "v1.0.770"
+resolved_reference = "6b5e0b73271ed3865dc7aa016e9a2749143620be"
subdirectory = "kevm-pyk"
[[package]]
@@ -1400,14 +1400,14 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"]
[[package]]
name = "setuptools"
-version = "75.7.0"
+version = "75.8.0"
description = "Easily download, build, install, upgrade, and uninstall Python packages"
optional = false
python-versions = ">=3.9"
groups = ["dev"]
files = [
- {file = "setuptools-75.7.0-py3-none-any.whl", hash = "sha256:84fb203f278ebcf5cd08f97d3fb96d3fbed4b629d500b29ad60d11e00769b183"},
- {file = "setuptools-75.7.0.tar.gz", hash = "sha256:886ff7b16cd342f1d1defc16fc98c9ce3fde69e087a4e1983d7ab634e5f41f4f"},
+ {file = "setuptools-75.8.0-py3-none-any.whl", hash = "sha256:e3982f444617239225d675215d51f6ba05f845d4eec313da4418fdbb56fb27e3"},
+ {file = "setuptools-75.8.0.tar.gz", hash = "sha256:c5afc8f407c626b8313a86e10311dd3f661c6cd9c09d4bf8c15c0e11f9f2b0e6"},
]
[package.extras]
@@ -1606,4 +1606,4 @@ type = ["pytest-mypy"]
[metadata]
lock-version = "2.1"
python-versions = "^3.10"
-content-hash = "8f1faa7fc15fe0ee64885cc55002d310628513ef6b8452540cc8d7fc880958d6"
+content-hash = "c9acba05357385336b2f2228a8f360c678c678fcecdddddf56942e14842d4faa"
diff --git a/pyproject.toml b/pyproject.toml
index fd7e1128c..08240daa9 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -12,7 +12,7 @@ authors = [
[tool.poetry.dependencies]
python = "^3.10"
-kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.768", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.770", subdirectory = "kevm-pyk" }
eth-utils = "^4.1.1"
pycryptodome = "^3.20.0"
pyevmasm = "^0.2.3"
diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
index a9169b5a1..5f5e346cd 100644
--- a/src/kontrol/prove.py
+++ b/src/kontrol/prove.py
@@ -1064,6 +1064,7 @@ def _init_cterm(
'ACCESSEDSTORAGE_CELL': map_empty(),
'INTERIMSTATES_CELL': list_empty(),
'TOUCHEDACCOUNTS_CELL': set_empty(),
+ 'CREATEDACCOUNTS_CELL': set_empty(),
'STATIC_CELL': FALSE,
'ACCOUNTS_CELL': KEVM.accounts(init_account_list),
}
diff --git a/src/tests/integration/test-data/show/AccountParamsTest.testDealConcrete().trace.expected b/src/tests/integration/test-data/show/AccountParamsTest.testDealConcrete().trace.expected
index 2b167bd20..30ef0fb59 100644
--- a/src/tests/integration/test-data/show/AccountParamsTest.testDealConcrete().trace.expected
+++ b/src/tests/integration/test-data/show/AccountParamsTest.testDealConcrete().trace.expected
@@ -107,6 +107,9 @@ module SUMMARY-TEST%ACCOUNTPARAMSTEST.TESTDEALCONCRETE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AddrTest.test_addr_true().trace.expected b/src/tests/integration/test-data/show/AddrTest.test_addr_true().trace.expected
index fa455752b..3509a9af7 100644
--- a/src/tests/integration/test-data/show/AddrTest.test_addr_true().trace.expected
+++ b/src/tests/integration/test-data/show/AddrTest.test_addr_true().trace.expected
@@ -108,6 +108,9 @@ module SUMMARY-TEST%ADDRTEST.TEST-ADDR-TRUE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add(uint256,uint256).cse.expected b/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add(uint256,uint256).cse.expected
index 4125afabc..a3c3b470a 100644
--- a/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add(uint256,uint256).cse.expected
+++ b/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add(uint256,uint256).cse.expected
@@ -261,6 +261,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
} ) => .List )
@@ -315,6 +318,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -643,6 +649,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
} ) )
@@ -697,6 +706,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1049,6 +1061,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
} ) => .List )
@@ -1103,6 +1118,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1436,6 +1454,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
} ) => .List )
@@ -1490,6 +1511,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1824,6 +1848,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
} ) => .List )
@@ -1878,6 +1905,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD(UINT256,UINT256):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
diff --git a/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_double_sub(uint256,uint256).cse.expected b/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_double_sub(uint256,uint256).cse.expected
index d633e2a2d..6199594f2 100644
--- a/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_double_sub(uint256,uint256).cse.expected
+++ b/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_double_sub(uint256,uint256).cse.expected
@@ -310,6 +310,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) => .List )
@@ -364,6 +367,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -692,6 +698,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) )
@@ -746,6 +755,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1098,6 +1110,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) => .List )
@@ -1152,6 +1167,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1485,6 +1503,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) => .List )
@@ -1539,6 +1560,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1873,6 +1897,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) => .List )
@@ -1927,6 +1954,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2265,6 +2295,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) => .List )
@@ -2319,6 +2352,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2659,6 +2695,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
} ) => .List )
@@ -2713,6 +2752,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-DOUBLE-SUB(UINT256,UINT25
.Map
+
+ .Set
+
ORIGIN_ID:Int
diff --git a/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_sub_external(uint256,uint256,uint256).cse.expected b/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_sub_external(uint256,uint256,uint256).cse.expected
index 7f535d59d..4d632dbd9 100644
--- a/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_sub_external(uint256,uint256,uint256).cse.expected
+++ b/src/tests/integration/test-data/show/ArithmeticCallTest.test_double_add_sub_external(uint256,uint256,uint256).cse.expected
@@ -314,6 +314,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) => .List )
@@ -368,6 +371,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -701,6 +707,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) => .List )
@@ -755,6 +764,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1086,6 +1098,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) )
@@ -1140,6 +1155,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1494,6 +1512,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) => .List )
@@ -1548,6 +1569,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1886,6 +1910,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) => .List )
@@ -1940,6 +1967,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2279,6 +2309,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) => .List )
@@ -2333,6 +2366,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2673,6 +2709,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
} ) => .List )
@@ -2727,6 +2766,9 @@ module SUMMARY-TEST%ARITHMETICCALLTEST.TEST-DOUBLE-ADD-SUB-EXTERNAL(UINT256,UINT
.Map
+
+ .Set
+
ORIGIN_ID:Int
diff --git a/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
index 02d97d7ed..0f4005130 100644
--- a/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
+++ b/src/tests/integration/test-data/show/AssertTest.checkFail_assert_false().expected
@@ -141,6 +141,9 @@ module SUMMARY-TEST%ASSERTTEST.CHECKFAIL-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -380,6 +383,9 @@ module SUMMARY-TEST%ASSERTTEST.CHECKFAIL-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -618,6 +624,9 @@ module SUMMARY-TEST%ASSERTTEST.CHECKFAIL-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -858,6 +867,9 @@ module SUMMARY-TEST%ASSERTTEST.CHECKFAIL-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -1098,6 +1110,9 @@ module SUMMARY-TEST%ASSERTTEST.CHECKFAIL-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected b/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
index bb12fb751..cad3904ce 100644
--- a/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
+++ b/src/tests/integration/test-data/show/AssertTest.testFail_assert_true().expected
@@ -141,6 +141,9 @@ Node 10:
.Map
+
+ .Set
+
...
@@ -384,6 +387,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -623,6 +629,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -861,6 +870,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -1101,6 +1113,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -1341,6 +1356,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected b/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
index 72e75126d..c059452a2 100644
--- a/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
+++ b/src/tests/integration/test-data/show/AssertTest.testFail_expect_revert().expected
@@ -227,6 +227,9 @@ Node 20:
.Map
+
+ .Set
+
...
@@ -475,6 +478,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -714,6 +720,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -952,6 +961,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -1192,6 +1204,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -1435,6 +1450,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -1682,6 +1700,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -1970,6 +1991,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} ) )
@@ -2024,6 +2048,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2309,6 +2336,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} )
@@ -2363,6 +2393,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2649,6 +2682,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} )
@@ -2703,6 +2739,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -2992,6 +3031,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} )
@@ -3046,6 +3088,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -3335,6 +3380,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} )
@@ -3389,6 +3437,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -3681,6 +3732,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} )
@@ -3735,6 +3789,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -4027,6 +4084,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
} ) => .List )
@@ -4081,6 +4141,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -4325,6 +4388,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
@@ -4570,6 +4636,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected b/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
index c98a79a22..e1d963a32 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_assert_false().expected
@@ -138,6 +138,9 @@ Node 10:
.Map
+
+ .Set
+
...
@@ -381,6 +384,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -620,6 +626,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -858,6 +867,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -1098,6 +1110,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
@@ -1338,6 +1353,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected b/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
index 984ed7556..60c34dd20 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_assert_true().expected
@@ -144,6 +144,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -383,6 +386,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -621,6 +627,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -861,6 +870,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
@@ -1101,6 +1113,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-TRUE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected b/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
index 9fe428d32..91b8973a1 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_failing_branch(uint256).expected
@@ -201,6 +201,9 @@ Node 16:
.Map
+
+ .Set
+
...
@@ -447,6 +450,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -686,6 +692,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -927,6 +936,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -1167,6 +1179,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -1408,6 +1423,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -1651,6 +1669,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -1894,6 +1915,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -2137,6 +2161,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -2380,6 +2407,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected b/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
index 3ce2a1231..6b41bfd24 100644
--- a/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssertTest.test_revert_branch(uint256,uint256).expected
@@ -199,6 +199,9 @@ Node 16:
.Map
+
+ .Set
+
...
@@ -447,6 +450,9 @@ Node 15:
.Map
+
+ .Set
+
...
@@ -695,6 +701,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -934,6 +943,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1177,6 +1189,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1419,6 +1434,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1662,6 +1680,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1907,6 +1928,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -2152,6 +2176,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -2397,6 +2424,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -2642,6 +2672,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
index 83101bf70..4e7c3f7ae 100644
--- a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_false(uint256,uint256).expected
@@ -139,6 +139,9 @@ Node 7:
.Map
+
+ .Set
+
...
@@ -385,6 +388,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -630,6 +636,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -876,6 +885,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1122,6 +1134,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1366,6 +1381,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
index 261403030..fd3dfa906 100644
--- a/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssumeTest.testFail_assume_true(uint256,uint256).expected
@@ -165,6 +165,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -410,6 +413,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -655,6 +661,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -898,6 +907,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1144,6 +1156,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1391,6 +1406,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1637,6 +1655,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1883,6 +1904,9 @@ module SUMMARY-TEST%ASSUMETEST.TESTFAIL-ASSUME-TRUE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected b/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
index 4821c1e32..0f428cc54 100644
--- a/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/AssumeTest.test_assume_false(uint256,uint256).expected
@@ -163,6 +163,9 @@ Node 10:
.Map
+
+ .Set
+
...
@@ -411,6 +414,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -656,6 +662,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -901,6 +910,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1144,6 +1156,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1390,6 +1405,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1637,6 +1655,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1883,6 +1904,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -2129,6 +2153,9 @@ module SUMMARY-TEST%ASSUMETEST.TEST-ASSUME-FALSE(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/BMCBoundTest.testBound().expected b/src/tests/integration/test-data/show/BMCBoundTest.testBound().expected
index 116a0d6a5..70a3077f3 100644
--- a/src/tests/integration/test-data/show/BMCBoundTest.testBound().expected
+++ b/src/tests/integration/test-data/show/BMCBoundTest.testBound().expected
@@ -311,6 +311,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -555,6 +558,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -799,6 +805,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -1044,6 +1053,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -1290,6 +1302,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -1534,6 +1549,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -1779,6 +1797,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -2021,6 +2042,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -2264,6 +2288,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -2508,6 +2535,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -2753,6 +2783,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -2994,6 +3027,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -3236,6 +3272,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
@@ -3479,6 +3518,9 @@ module SUMMARY-TEST%BMCBOUNDTEST.TESTBOUND():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/BlockParamsTest.testWarp(uint256).trace.expected b/src/tests/integration/test-data/show/BlockParamsTest.testWarp(uint256).trace.expected
index e4f34636b..cb918e8fe 100644
--- a/src/tests/integration/test-data/show/BlockParamsTest.testWarp(uint256).trace.expected
+++ b/src/tests/integration/test-data/show/BlockParamsTest.testWarp(uint256).trace.expected
@@ -108,6 +108,9 @@ module SUMMARY-TEST%BLOCKPARAMSTEST.TESTWARP(UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/CSETest.test_add_const(uint256,uint256).cse.expected b/src/tests/integration/test-data/show/CSETest.test_add_const(uint256,uint256).cse.expected
index 5fa106962..1d0dd8381 100644
--- a/src/tests/integration/test-data/show/CSETest.test_add_const(uint256,uint256).cse.expected
+++ b/src/tests/integration/test-data/show/CSETest.test_add_const(uint256,uint256).cse.expected
@@ -152,6 +152,9 @@ module SUMMARY-TEST%CSETEST.TEST-ADD-CONST(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -464,6 +467,9 @@ module SUMMARY-TEST%CSETEST.TEST-ADD-CONST(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -776,6 +782,9 @@ module SUMMARY-TEST%CSETEST.TEST-ADD-CONST(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/CSETest.test_identity(uint256,uint256).cse.expected b/src/tests/integration/test-data/show/CSETest.test_identity(uint256,uint256).cse.expected
index 05b9f7004..a4e26924b 100644
--- a/src/tests/integration/test-data/show/CSETest.test_identity(uint256,uint256).cse.expected
+++ b/src/tests/integration/test-data/show/CSETest.test_identity(uint256,uint256).cse.expected
@@ -148,6 +148,9 @@ module SUMMARY-TEST%CSETEST.TEST-IDENTITY(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -460,6 +463,9 @@ module SUMMARY-TEST%CSETEST.TEST-IDENTITY(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -770,6 +776,9 @@ module SUMMARY-TEST%CSETEST.TEST-IDENTITY(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected b/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected
index 183f66195..f919fac25 100644
--- a/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected
+++ b/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected
@@ -108,6 +108,9 @@ module SUMMARY-TEST%CALLABLESTORAGETEST.TEST-STR():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/ConstructorTest.init.cse.expected b/src/tests/integration/test-data/show/ConstructorTest.init.cse.expected
index de378c05e..ebcff5f60 100644
--- a/src/tests/integration/test-data/show/ConstructorTest.init.cse.expected
+++ b/src/tests/integration/test-data/show/ConstructorTest.init.cse.expected
@@ -106,6 +106,9 @@ module SUMMARY-TEST%CONSTRUCTORTEST.INIT:0
.Map
+
+ ( .Set => SetItem ( 491460923342184218035706888008750043977755113263 ) )
+
...
diff --git a/src/tests/integration/test-data/show/ConstructorTest.test_contract_call().cse.expected b/src/tests/integration/test-data/show/ConstructorTest.test_contract_call().cse.expected
index 38191a2a5..b03bd75d3 100644
--- a/src/tests/integration/test-data/show/ConstructorTest.test_contract_call().cse.expected
+++ b/src/tests/integration/test-data/show/ConstructorTest.test_contract_call().cse.expected
@@ -108,6 +108,9 @@ module SUMMARY-TEST%CONSTRUCTORTEST.TEST-CONTRACT-CALL():0
.Map
+
+ ( .Set => SetItem ( 263400868551549723330807389252719309078400616203 ) )
+
...
diff --git a/src/tests/integration/test-data/show/ContractFieldTest.testEscrowToken().cse.expected b/src/tests/integration/test-data/show/ContractFieldTest.testEscrowToken().cse.expected
index 5365fbc2e..eea594a44 100644
--- a/src/tests/integration/test-data/show/ContractFieldTest.testEscrowToken().cse.expected
+++ b/src/tests/integration/test-data/show/ContractFieldTest.testEscrowToken().cse.expected
@@ -108,6 +108,9 @@ module SUMMARY-TEST%CONTRACTFIELDTEST.TESTESCROWTOKEN():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/InterfaceTagTest.testInterface().cse.expected b/src/tests/integration/test-data/show/InterfaceTagTest.testInterface().cse.expected
index 59f7d8589..3017ecff3 100644
--- a/src/tests/integration/test-data/show/InterfaceTagTest.testInterface().cse.expected
+++ b/src/tests/integration/test-data/show/InterfaceTagTest.testInterface().cse.expected
@@ -108,6 +108,9 @@ module SUMMARY-TEST%INTERFACETAGTEST.TESTINTERFACE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/RandomVarTest.test_custom_names().expected b/src/tests/integration/test-data/show/RandomVarTest.test_custom_names().expected
index 4301f1d13..e5eb08823 100644
--- a/src/tests/integration/test-data/show/RandomVarTest.test_custom_names().expected
+++ b/src/tests/integration/test-data/show/RandomVarTest.test_custom_names().expected
@@ -7,10 +7,10 @@
│ src: test/RandomVar.t.sol:7:68
│ method: test%RandomVarTest.test_custom_names()
│
-│ (371 steps)
+│ (369 steps)
├─ 3
-│ k: #rename ( ?WORD:Int , "BOOLEAN" ) ~> #cheatcode_return 128 32 ~> #pc [ CALL ] ~> ...
-│ pc: 2947
+│ k: #rename ( ?WORD:Int , "BOOLEAN" ) ~> #cheatcode_return 128 32 ~> #pc [ STATICCAL ...
+│ pc: 2946
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:58:58
@@ -18,17 +18,17 @@
│
│ (1 step)
├─ 4
-│ k: #cheatcode_return 128 32 ~> #pc [ CALL ] ~> #execute ~> CONTINUATION:K
-│ pc: 2947
+│ k: #cheatcode_return 128 32 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
+│ pc: 2946
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:58:58
│ method: test%RandomVarTest.test_custom_names()
│
-│ (456 steps)
+│ (454 steps)
├─ 5
-│ k: #rename ( ?WORD:Int , "BOOLEAN" ) ~> #cheatcode_return 160 32 ~> #pc [ CALL ] ~> ...
-│ pc: 3083
+│ k: #rename ( ?WORD:Int , "BOOLEAN" ) ~> #cheatcode_return 160 32 ~> #pc [ STATICCAL ...
+│ pc: 3081
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:59:59
@@ -36,8 +36,8 @@
│
│ (1 step)
├─ 6
-│ k: #cheatcode_return 160 32 ~> #pc [ CALL ] ~> #execute ~> CONTINUATION:K
-│ pc: 3083
+│ k: #cheatcode_return 160 32 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
+│ pc: 3081
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:59:59
@@ -46,33 +46,33 @@
│ (1000 steps)
├─ 7
│ k: #execute ~> CONTINUATION:K
-│ pc: 6972
+│ pc: 6967
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ method: test%RandomVarTest.test_custom_names()
│
-│ (253 steps)
+│ (251 steps)
├─ 8
-│ k: #rename ( ?WORD:Int , "NEW_SLOT" ) ~> #cheatcode_return 256 32 ~> #pc [ CALL ] ~ ...
-│ pc: 5602
+│ k: #rename ( ?WORD:Int , "NEW_SLOT" ) ~> #cheatcode_return 256 32 ~> #pc [ STATICCA ...
+│ pc: 5597
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
-│ src: lib/kontrol-cheatcodes/src/KontrolCheats.sol:276:276
+│ src: lib/kontrol-cheatcodes/src/KontrolCheats.sol:277:277
│ method: test%RandomVarTest.test_custom_names()
│
│ (1 step)
├─ 9
-│ k: #cheatcode_return 256 32 ~> #pc [ CALL ] ~> #execute ~> CONTINUATION:K
-│ pc: 5602
+│ k: #cheatcode_return 256 32 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
+│ pc: 5597
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
-│ src: lib/kontrol-cheatcodes/src/KontrolCheats.sol:276:276
+│ src: lib/kontrol-cheatcodes/src/KontrolCheats.sol:277:277
│ method: test%RandomVarTest.test_custom_names()
│
-│ (452 steps)
+│ (450 steps)
├─ 10
-│ k: #rename ( ?WORD:Int , "NEW_ACCOUNT" ) ~> #cheatcode_return 288 32 ~> #pc [ CALL ...
-│ pc: 3448
+│ k: #rename ( ?WORD:Int , "NEW_ACCOUNT" ) ~> #cheatcode_return 288 32 ~> #pc [ STATI ...
+│ pc: 3445
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:63:63
@@ -80,8 +80,8 @@
│
│ (1 step)
├─ 11
-│ k: #cheatcode_return 288 32 ~> #pc [ CALL ] ~> #execute ~> CONTINUATION:K
-│ pc: 3448
+│ k: #cheatcode_return 288 32 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
+│ pc: 3445
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:63:63
@@ -90,7 +90,7 @@
│ (551 steps)
├─ 12
│ k: #rename ( ?STORAGE:Map , "NEW_ACCOUNT_STORAGE" ) ~> #cheatcode_return 320 0 ~> # ...
-│ pc: 3624
+│ pc: 3621
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:64:64
@@ -99,16 +99,16 @@
│ (1 step)
├─ 13
│ k: #cheatcode_return 320 0 ~> #pc [ CALL ] ~> #execute ~> CONTINUATION:K
-│ pc: 3624
+│ pc: 3621
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:64:64
│ method: test%RandomVarTest.test_custom_names()
│
-│ (263 steps)
+│ (261 steps)
├─ 14
-│ k: #rename ( ?BYTES:Bytes , "NEW_BYTES" ) ~> #cheatcode_return 320 0 ~> #pc [ CALL ...
-│ pc: 3735
+│ k: #rename ( ?BYTES:Bytes , "NEW_BYTES" ) ~> #cheatcode_return 320 0 ~> #pc [ STATI ...
+│ pc: 3731
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:65:65
@@ -116,8 +116,8 @@
│
│ (1 step)
├─ 15
-│ k: #cheatcode_return 320 0 ~> #pc [ CALL ] ~> #execute ~> CONTINUATION:K
-│ pc: 3735
+│ k: #cheatcode_return 320 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
+│ pc: 3731
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:65:65
@@ -126,7 +126,7 @@
│ (1000 steps)
├─ 16
│ k: POP 1 ~> #pc [ POP ] ~> #execute ~> CONTINUATION:K
-│ pc: 3923
+│ pc: 3919
│ callDepth: 0
│ statusCode: STATUSCODE:StatusCode
│ src: test/RandomVar.t.sol:57:67
@@ -162,7 +162,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( .K => #rename ( ??WORD , "BOOLEAN" )
~> #cheatcode_return 128 32
- ~> #pc [ CALL ] )
+ ~> #pc [ STATICCALL ] )
~> #execute
~> _CONTINUATION
@@ -235,6 +235,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -404,7 +407,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #rename ( ?WORD:Int , "BOOLEAN" ) ~> .K => .K )
~> #cheatcode_return 128 32
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -477,6 +480,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -648,7 +654,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #cheatcode_return 128 32 ~> .K => #rename ( ??WORD , "BOOLEAN" )
~> #cheatcode_return 160 32 )
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -721,6 +727,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -892,7 +901,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #rename ( ?WORD:Int , "BOOLEAN" ) ~> .K => .K )
~> #cheatcode_return 160 32
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -965,6 +974,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -1137,7 +1149,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #cheatcode_return 160 32
- ~> #pc [ CALL ] => .K )
+ ~> #pc [ STATICCALL ] => .K )
~> #execute
~> _CONTINUATION
@@ -1178,7 +1190,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
0
- ( ( 260 => 0 ) : ( ( selector ( "freshBool(string)" ) => 260 ) : ( ( 645326474426547203313410069153905908525362434349 => 192 ) : ( ( 0 => 32 ) : ( ( BOOLEAN:Int => 5589 ) : ( ( 370 => selector ( "freshUInt(uint8,string)" ) ) : ( ( selector ( "test_custom_names()" ) => 645326474426547203313410069153905908525362434349 ) : ( .WordStack => ( 0 : ( 192 : ( 3359 : ( 0 : ( 0 : ( 1 : ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
+ ( ( 260 => 0 ) : ( ( selector ( "freshBool(string)" ) => 260 ) : ( ( 645326474426547203313410069153905908525362434349 => 192 ) : ( ( 0 => 32 ) : ( ( BOOLEAN:Int => 5585 ) : ( ( 370 => selector ( "freshUInt(uint8,string)" ) ) : ( ( selector ( "test_custom_names()" ) => 645326474426547203313410069153905908525362434349 ) : ( .WordStack => ( 0 : ( 192 : ( 3357 : ( 0 : ( 0 : ( 1 : ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , BOOLEAN:Int ) +Bytes b"\x1fUw\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07BOOLEAN\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00[?\xdf\t\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00@" )
@@ -1210,6 +1222,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -1383,7 +1398,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( .K => #rename ( ??WORD , "NEW_SLOT" )
~> #cheatcode_return 256 32
- ~> #pc [ CALL ] )
+ ~> #pc [ STATICCALL ] )
~> #execute
~> _CONTINUATION
@@ -1424,7 +1439,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
0
- ( ( 0 => 388 ) : ( ( 260 => selector ( "freshUInt(uint8,string)" ) ) : ( ( 192 => 645326474426547203313410069153905908525362434349 ) : ( ( 32 => 0 ) : ( ( 5589 => 192 ) : ( ( selector ( "freshUInt(uint8,string)" ) => 3359 ) : ( ( 645326474426547203313410069153905908525362434349 => 0 ) : ( 0 : ( ( 192 => 1 ) : ( ( 3359 => 370 ) : ( ( 0 => selector ( "test_custom_names()" ) ) : ( ( 0 : ( 1 : ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) ) ) => .WordStack ) ) ) ) ) ) ) ) ) ) ) )
+ ( ( 0 => 388 ) : ( ( 260 => selector ( "freshUInt(uint8,string)" ) ) : ( ( 192 => 645326474426547203313410069153905908525362434349 ) : ( ( 32 => 0 ) : ( ( 5585 => 192 ) : ( ( selector ( "freshUInt(uint8,string)" ) => 3357 ) : ( ( 645326474426547203313410069153905908525362434349 => 0 ) : ( 0 : ( ( 192 => 1 ) : ( ( 3357 => 370 ) : ( ( 0 => selector ( "test_custom_names()" ) ) : ( ( 0 : ( 1 : ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) ) ) => .WordStack ) ) ) ) ) ) ) ) ) ) ) )
( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00[?\xdf\t\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00@" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00[?\xdf\t\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00@\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" )
@@ -1456,6 +1471,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -1627,7 +1645,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #rename ( ?WORD:Int , "NEW_SLOT" ) ~> .K => .K )
~> #cheatcode_return 256 32
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -1668,7 +1686,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
0
- ( 388 : ( selector ( "freshUInt(uint8,string)" ) : ( 645326474426547203313410069153905908525362434349 : ( 0 : ( 192 : ( 3359 : ( 0 : ( 0 : ( 1 : ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) ) ) ) ) ) ) ) ) )
+ ( 388 : ( selector ( "freshUInt(uint8,string)" ) : ( 645326474426547203313410069153905908525362434349 : ( 0 : ( 192 : ( 3357 : ( 0 : ( 0 : ( 1 : ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) ) ) ) ) ) ) ) ) )
b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00[?\xdf\t\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00@\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
@@ -1700,6 +1718,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -1873,7 +1894,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #cheatcode_return 256 32 ~> .K => #rename ( ??WORD , "NEW_ACCOUNT" )
~> #cheatcode_return 288 32 )
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -1914,7 +1935,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
0
- ( 388 : ( ( selector ( "freshUInt(uint8,string)" ) => selector ( "freshAddress(string)" ) ) : ( 645326474426547203313410069153905908525362434349 : ( 0 : ( ( 192 => NEW_SLOT:Int ) : ( ( 3359 => 0 ) : ( ( 0 => 1 ) : ( ( 0 => 370 ) : ( ( 1 => selector ( "test_custom_names()" ) ) : ( ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) => .WordStack ) ) ) ) ) ) ) ) ) )
+ ( 388 : ( ( selector ( "freshUInt(uint8,string)" ) => selector ( "freshAddress(string)" ) ) : ( 645326474426547203313410069153905908525362434349 : ( 0 : ( ( 192 => NEW_SLOT:Int ) : ( ( 3357 => 0 ) : ( ( 0 => 1 ) : ( ( 0 => 370 ) : ( ( 1 => selector ( "test_custom_names()" ) ) : ( ( 370 : ( selector ( "test_custom_names()" ) : .WordStack ) ) => .WordStack ) ) ) ) ) ) ) ) ) )
( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00[?\xdf\t\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00@\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08NEW_SLOT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , NEW_SLOT:Int ) +Bytes b"G\xa6\\{\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bNEW_ACCOUNT\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" )
@@ -1946,6 +1967,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -2121,7 +2145,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #rename ( ?WORD:Int , "NEW_ACCOUNT" ) ~> .K => .K )
~> #cheatcode_return 288 32
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -2194,6 +2218,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -2371,9 +2398,10 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
rule [BASIC-BLOCK-11-TO-12]:
- ( #cheatcode_return 288 32 ~> .K => #rename ( ??STORAGE , "NEW_ACCOUNT_STORAGE" )
- ~> #cheatcode_return 320 0 )
- ~> #pc [ CALL ]
+ ( #cheatcode_return 288 32
+ ~> #pc [ STATICCALL ] => #rename ( ??STORAGE , "NEW_ACCOUNT_STORAGE" )
+ ~> #cheatcode_return 320 0
+ ~> #pc [ CALL ] )
~> #execute
~> _CONTINUATION
@@ -2446,6 +2474,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -2734,6 +2765,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -2927,9 +2961,10 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
rule [BASIC-BLOCK-13-TO-14]:
- ( .K => #rename ( ??BYTES , "NEW_BYTES" ) ~> .K )
+ ( #cheatcode_return 320 0
+ ~> #pc [ CALL ] => #rename ( ??BYTES , "NEW_BYTES" )
~> #cheatcode_return 320 0
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ] )
~> #execute
~> _CONTINUATION
@@ -3002,6 +3037,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -3198,7 +3236,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #rename ( ?BYTES:Bytes , "NEW_BYTES" ) ~> .K => .K )
~> #cheatcode_return 320 0
- ~> #pc [ CALL ]
+ ~> #pc [ STATICCALL ]
~> #execute
~> _CONTINUATION
@@ -3271,6 +3309,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -3467,7 +3508,7 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
( #cheatcode_return 320 0
- ~> #pc [ CALL ] => POP 1
+ ~> #pc [ STATICCALL ] => POP 1
~> #pc [ POP ] )
~> #execute
~> _CONTINUATION
@@ -3541,6 +3582,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
@@ -3812,6 +3856,9 @@ module SUMMARY-TEST%RANDOMVARTEST.TEST-CUSTOM-NAMES():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected b/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
index 0691827b9..74e0c344d 100644
--- a/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
+++ b/src/tests/integration/test-data/show/SetUpDeployTest.test_extcodesize().expected
@@ -144,6 +144,9 @@ module SUMMARY-TEST%SETUPDEPLOYTEST.TEST-EXTCODESIZE():0
.Map
+
+ ( .Set => SetItem ( 491460923342184218035706888008750043977755113263 ) )
+
...
@@ -424,6 +427,9 @@ module SUMMARY-TEST%SETUPDEPLOYTEST.TEST-EXTCODESIZE():0
.Map
+
+ ( SetItem ( 491460923342184218035706888008750043977755113263 ) => .Set )
+
...
@@ -683,6 +689,9 @@ module SUMMARY-TEST%SETUPDEPLOYTEST.TEST-EXTCODESIZE():0
.Map
+
+ .Set
+
...
@@ -944,6 +953,9 @@ module SUMMARY-TEST%SETUPDEPLOYTEST.TEST-EXTCODESIZE():0
.Map
+
+ .Set
+
...
@@ -1205,6 +1217,9 @@ module SUMMARY-TEST%SETUPDEPLOYTEST.TEST-EXTCODESIZE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/gas-abstraction.expected b/src/tests/integration/test-data/show/gas-abstraction.expected
index aea903c74..1822c744d 100644
--- a/src/tests/integration/test-data/show/gas-abstraction.expected
+++ b/src/tests/integration/test-data/show/gas-abstraction.expected
@@ -139,6 +139,9 @@ Node 6:
.Map
+
+ .Set
+
GASPRICE_CELL:Int
@@ -483,6 +486,9 @@ module SUMMARY-TEST%GASTEST.TESTINFINITEGAS():0
.Map
+
+ .Set
+
...
@@ -718,6 +724,9 @@ module SUMMARY-TEST%GASTEST.TESTINFINITEGAS():0
.Map
+
+ .Set
+
...
@@ -953,6 +962,9 @@ module SUMMARY-TEST%GASTEST.TESTINFINITEGAS():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/merge-loop-heads.expected b/src/tests/integration/test-data/show/merge-loop-heads.expected
index b2cb61ed6..295cb4771 100644
--- a/src/tests/integration/test-data/show/merge-loop-heads.expected
+++ b/src/tests/integration/test-data/show/merge-loop-heads.expected
@@ -281,6 +281,9 @@ Node 21:
.Map
+
+ .Set
+
...
@@ -530,6 +533,9 @@ Node 22:
.Map
+
+ .Set
+
...
@@ -779,6 +785,9 @@ Node 23:
.Map
+
+ .Set
+
...
@@ -1025,6 +1034,9 @@ module SUMMARY-TEST%BMCLOOPSTEST.TEST-BMC(UINT256):0
.Map
+
+ .Set
+
...
@@ -1265,6 +1277,9 @@ module SUMMARY-TEST%BMCLOOPSTEST.TEST-BMC(UINT256):0
.Map
+
+ .Set
+
...
@@ -1506,6 +1521,9 @@ module SUMMARY-TEST%BMCLOOPSTEST.TEST-BMC(UINT256):0
.Map
+
+ .Set
+
...
@@ -1748,6 +1766,9 @@ module SUMMARY-TEST%BMCLOOPSTEST.TEST-BMC(UINT256):0
.Map
+
+ .Set
+
...
@@ -1992,6 +2013,9 @@ module SUMMARY-TEST%BMCLOOPSTEST.TEST-BMC(UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/minimized/AssertTest.testFail_expect_revert().expected b/src/tests/integration/test-data/show/minimized/AssertTest.testFail_expect_revert().expected
index bf1239978..131248867 100644
--- a/src/tests/integration/test-data/show/minimized/AssertTest.testFail_expect_revert().expected
+++ b/src/tests/integration/test-data/show/minimized/AssertTest.testFail_expect_revert().expected
@@ -105,6 +105,9 @@ Node 20:
.Map
+
+ .Set
+
...
@@ -353,6 +356,9 @@ module SUMMARY-TEST%ASSERTTEST.TESTFAIL-EXPECT-REVERT():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/minimized/AssertTest.test_assert_false().expected b/src/tests/integration/test-data/show/minimized/AssertTest.test_assert_false().expected
index 43c0bc93d..9d59b57a1 100644
--- a/src/tests/integration/test-data/show/minimized/AssertTest.test_assert_false().expected
+++ b/src/tests/integration/test-data/show/minimized/AssertTest.test_assert_false().expected
@@ -104,6 +104,9 @@ Node 10:
.Map
+
+ .Set
+
...
@@ -347,6 +350,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-ASSERT-FALSE():0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/minimized/AssertTest.test_failing_branch(uint256).expected b/src/tests/integration/test-data/show/minimized/AssertTest.test_failing_branch(uint256).expected
index f99e2b391..90e025e02 100644
--- a/src/tests/integration/test-data/show/minimized/AssertTest.test_failing_branch(uint256).expected
+++ b/src/tests/integration/test-data/show/minimized/AssertTest.test_failing_branch(uint256).expected
@@ -149,6 +149,9 @@ Node 16:
.Map
+
+ .Set
+
...
@@ -394,6 +397,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -638,6 +644,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
@@ -881,6 +890,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-FAILING-BRANCH(UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/minimized/AssertTest.test_revert_branch(uint256,uint256).expected b/src/tests/integration/test-data/show/minimized/AssertTest.test_revert_branch(uint256,uint256).expected
index 35b08674b..d76f77f4e 100644
--- a/src/tests/integration/test-data/show/minimized/AssertTest.test_revert_branch(uint256,uint256).expected
+++ b/src/tests/integration/test-data/show/minimized/AssertTest.test_revert_branch(uint256,uint256).expected
@@ -147,6 +147,9 @@ Node 16:
.Map
+
+ .Set
+
...
@@ -395,6 +398,9 @@ Node 15:
.Map
+
+ .Set
+
...
@@ -642,6 +648,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -888,6 +897,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
@@ -1133,6 +1145,9 @@ module SUMMARY-TEST%ASSERTTEST.TEST-REVERT-BRANCH(UINT256,UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/minimized/MergeKCFGTest.test_branch_merge(uint256,uint256,bool).expected b/src/tests/integration/test-data/show/minimized/MergeKCFGTest.test_branch_merge(uint256,uint256,bool).expected
index 447471da6..07e47add6 100644
--- a/src/tests/integration/test-data/show/minimized/MergeKCFGTest.test_branch_merge(uint256,uint256,bool).expected
+++ b/src/tests/integration/test-data/show/minimized/MergeKCFGTest.test_branch_merge(uint256,uint256,bool).expected
@@ -254,6 +254,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
} ) )
@@ -308,6 +311,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -661,6 +667,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
} ) => .List )
@@ -715,6 +724,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1047,6 +1059,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
} ) => .List )
@@ -1101,6 +1116,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -1434,6 +1452,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
} ) => .List )
@@ -1488,6 +1509,9 @@ module SUMMARY-TEST%MERGEKCFGTEST.TEST-BRANCH-MERGE(UINT256,UINT256,BOOL):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
diff --git a/src/tests/integration/test-data/show/node-refutation.expected b/src/tests/integration/test-data/show/node-refutation.expected
index 2afbd476a..5e67920d3 100644
--- a/src/tests/integration/test-data/show/node-refutation.expected
+++ b/src/tests/integration/test-data/show/node-refutation.expected
@@ -159,6 +159,9 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
.Map
+
+ .Set
+
...
@@ -400,6 +403,9 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
.Map
+
+ .Set
+
...
@@ -644,6 +650,9 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
.Map
+
+ .Set
+
...
@@ -888,6 +897,9 @@ module SUMMARY-TEST%MERGETEST.TEST-BRANCH-MERGE(UINT256):0
.Map
+
+ .Set
+
...
diff --git a/src/tests/integration/test-data/show/split-node.expected b/src/tests/integration/test-data/show/split-node.expected
index e7d7ea278..2623e4990 100644
--- a/src/tests/integration/test-data/show/split-node.expected
+++ b/src/tests/integration/test-data/show/split-node.expected
@@ -734,6 +734,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ ( .Set => SetItem ( 491460923342184218035706888008750043977755113263 ) )
+
...
@@ -1014,6 +1017,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ ( SetItem ( 491460923342184218035706888008750043977755113263 ) => .Set )
+
...
@@ -1276,6 +1282,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -1539,6 +1548,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -1804,6 +1816,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -2070,6 +2085,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -2350,6 +2368,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -2630,6 +2651,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -2911,6 +2935,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -3235,6 +3262,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -3515,6 +3545,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -3795,6 +3828,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -4075,6 +4111,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
...
@@ -4441,6 +4480,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} ) )
@@ -4495,6 +4537,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -4836,6 +4881,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} ) )
@@ -4890,6 +4938,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -5231,6 +5282,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} ) )
@@ -5285,6 +5339,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -5647,6 +5704,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} ) )
@@ -5701,6 +5761,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -6064,6 +6127,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} )
@@ -6118,6 +6184,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -6457,6 +6526,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} )
@@ -6511,6 +6583,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -6850,6 +6925,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} )
@@ -6904,6 +6982,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -7264,6 +7345,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} )
@@ -7318,6 +7402,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
ORIGIN_ID:Int
@@ -7682,6 +7769,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0
.Map
+
+ .Set
+
} )
@@ -7736,6 +7826,9 @@ module SUMMARY-TEST%PRANKTEST.TESTSYMBOLICSTARTPRANK(ADDRESS):0