diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_stack_trace_cairo0.txt b/crates/blockifier/src/execution/stack_trace_regression/test_stack_trace_cairo0.txt index a9d19f94779..68cc91ad451 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_stack_trace_cairo0.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_stack_trace_cairo0.txt @@ -8,13 +8,13 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x027c3334165536f239cfd400ed956eabff55fc60de4fb56728b6a4f6b87db01c): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:976) -Unknown location (pc=0:959) +Unknown location (pc=0:1254) +Unknown location (pc=0:1237) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070001, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x032564d7e0fe091d49b4c20f4632191e4ed6986bf993849879abfef9465def25): Error message: You shall not pass! -Error at pc=0:1428: +Error at pc=0:1706: Cairo traceback (most recent call last): -Unknown location (pc=0:1432) +Unknown location (pc=0:1710) An ASSERT_EQ instruction failed: 1 != 0. diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_call.txt b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_call.txt index dcdc8426bc6..9e519b22a52 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_call.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_call.txt @@ -8,19 +8,19 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 3: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x032564d7e0fe091d49b4c20f4632191e4ed6986bf993849879abfef9465def25): Error message: You shall not pass! -Error at pc=0:1428: +Error at pc=0:1706: Cairo traceback (most recent call last): -Unknown location (pc=0:1432) +Unknown location (pc=0:1710) An ASSERT_EQ instruction failed: 1 != 0. diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_library_call.txt b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_library_call.txt index 38b1c453a7d..78401e42f06 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_library_call.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_fail_library_call.txt @@ -8,19 +8,19 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:49: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1355) +Unknown location (pc=0:1688) +Unknown location (pc=0:1633) 3: Error in a library call (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x032564d7e0fe091d49b4c20f4632191e4ed6986bf993849879abfef9465def25): Error message: You shall not pass! -Error at pc=0:1428: +Error at pc=0:1706: Cairo traceback (most recent call last): -Unknown location (pc=0:1432) +Unknown location (pc=0:1710) An ASSERT_EQ instruction failed: 1 != 0. diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_call.txt b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_call.txt index d8d62a8ce11..6a04202540c 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_call.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_call.txt @@ -8,18 +8,18 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 3: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): -Error at pc=0:1325: +Error at pc=0:1603: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) +Unknown location (pc=0:1688) Couldn't compute operand op0. Unknown value for memory cell 1:23 diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_library_call.txt b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_library_call.txt index a6c96ff4e58..770c62118af 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_library_call.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_trace_call_chain_with_syscalls_cairo0_invoke_call_chain_library_call.txt @@ -8,18 +8,18 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:49: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1355) +Unknown location (pc=0:1688) +Unknown location (pc=0:1633) 3: Error in a library call (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): -Error at pc=0:1325: +Error at pc=0:1603: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) +Unknown location (pc=0:1688) Couldn't compute operand op0. Unknown value for memory cell 1:23 diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_chain.txt b/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_chain.txt index 4fa2331c68b..9a465d5a75a 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_chain.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_chain.txt @@ -8,13 +8,13 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): -Error at pc=0:1325: +Error at pc=0:1603: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1371) +Unknown location (pc=0:1688) +Unknown location (pc=0:1649) Couldn't compute operand op0. Unknown value for memory cell 1:37 diff --git a/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_fail.txt b/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_fail.txt index a9fd016b489..c686ba21878 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_fail.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/test_trace_callchain_ends_with_regular_call_cairo0_fail.txt @@ -8,14 +8,14 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1337) +Unknown location (pc=0:1688) +Unknown location (pc=0:1615) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x0062c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5): Error message: You shall not pass! -Error at pc=0:1428: +Error at pc=0:1706: Cairo traceback (most recent call last): -Unknown location (pc=0:1410) -Unknown location (pc=0:1379) +Unknown location (pc=0:1688) +Unknown location (pc=0:1657) An ASSERT_EQ instruction failed: 1 != 0. diff --git a/crates/blockifier/src/execution/stack_trace_regression/with_inner_error_msg.txt b/crates/blockifier/src/execution/stack_trace_regression/with_inner_error_msg.txt index 8b2b2dccb5f..5efaa64fcdb 100644 --- a/crates/blockifier/src/execution/stack_trace_regression/with_inner_error_msg.txt +++ b/crates/blockifier/src/execution/stack_trace_regression/with_inner_error_msg.txt @@ -8,14 +8,14 @@ Unknown location (pc=0:125) 1: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070000, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x03bf01fb7497d041938cb7b2954d8c4590006d26b3acd0f5aec1af45dc4f94b2): Error at pc=0:37: Cairo traceback (most recent call last): -Unknown location (pc=0:1123) +Unknown location (pc=0:1401) Error message: Be aware of failure ahead... -Unknown location (pc=0:1113) +Unknown location (pc=0:1391) 2: Error in the called contract (contract address: 0x0000000000000000000000000000000000000000000000000000000040070001, class hash: 0x0000000000000000000000000000000000000000000000000000000000070000, selector: 0x032564d7e0fe091d49b4c20f4632191e4ed6986bf993849879abfef9465def25): Error message: You shall not pass! -Error at pc=0:1428: +Error at pc=0:1706: Cairo traceback (most recent call last): -Unknown location (pc=0:1432) +Unknown location (pc=0:1710) An ASSERT_EQ instruction failed: 1 != 0. diff --git a/crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/test_contract_compiled.json b/crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/test_contract_compiled.json index e7eb36ae7d3..b58dc80674c 100644 --- a/crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/test_contract_compiled.json +++ b/crates/blockifier_test_utils/resources/feature_contracts/cairo0/compiled/test_contract_compiled.json @@ -49,6 +49,23 @@ "outputs": [], "type": "function" }, + { + "inputs": [], + "name": "entry_point", + "outputs": [], + "type": "function" + }, + { + "inputs": [], + "name": "test_builtins", + "outputs": [ + { + "name": "result", + "type": "felt" + } + ], + "type": "function" + }, { "inputs": [ { @@ -84,6 +101,44 @@ "outputs": [], "type": "l1_handler" }, + { + "inputs": [ + { + "name": "from_address", + "type": "felt" + }, + { + "name": "amount", + "type": "felt" + } + ], + "name": "deposit", + "outputs": [], + "type": "l1_handler" + }, + { + "inputs": [ + { + "name": "class_hash", + "type": "felt" + }, + { + "name": "selector", + "type": "felt" + }, + { + "name": "calldata_len", + "type": "felt" + }, + { + "name": "calldata", + "type": "felt*" + } + ], + "name": "test_library_call_l1_handler", + "outputs": [], + "type": "function" + }, { "inputs": [ { @@ -219,6 +274,32 @@ ], "type": "function" }, + { + "inputs": [ + { + "name": "address", + "type": "felt" + }, + { + "name": "value", + "type": "felt" + } + ], + "name": "set_value", + "outputs": [], + "type": "function" + }, + { + "inputs": [ + { + "name": "class_hash", + "type": "felt" + } + ], + "name": "test_library_call_syntactic_sugar", + "outputs": [], + "type": "function" + }, { "inputs": [ { @@ -709,6 +790,28 @@ "outputs": [], "type": "function" }, + { + "inputs": [ + { + "name": "expected_address", + "type": "felt" + } + ], + "name": "test_get_caller_address", + "outputs": [], + "type": "function" + }, + { + "inputs": [ + { + "name": "expected_address", + "type": "felt" + } + ], + "name": "test_get_contract_address", + "outputs": [], + "type": "function" + }, { "inputs": [ { @@ -740,171 +843,203 @@ "entry_points_by_type": { "CONSTRUCTOR": [ { - "offset": 510, + "offset": 548, "selector": "0x28ffe4ff0f226a9107253e17a904099aa4f63a02a5621de0576e5aa71bc5194" } ], "EXTERNAL": [ { - "offset": 1482, + "offset": 1760, "selector": "0x1143aa89c8e3ebf8ed14df2a3606c1cd2dd513fac8040b0f8ab441f5c52fe4" }, { - "offset": 1524, + "offset": 1802, "selector": "0x600c98a299d72ef1e09a2e1503206fbc76081233172c65f7e2438ef0069d8d" }, { - "offset": 1398, + "offset": 1676, "selector": "0x62c83572d28cb834a3de3c1e94977a4191469a4a8c26d1d7bc55305e640ed5" }, { - "offset": 2038, + "offset": 2316, "selector": "0x679c22735055a10db4f275395763a3752a1e3a3043c192299ab6b574fba8d6" }, { - "offset": 1962, + "offset": 2240, "selector": "0x7772be8b80a8a33dc6c1f9a6ab820c02e537c73e859de67f288c70f92571bb" }, { - "offset": 656, + "offset": 858, "selector": "0xad451bd0dba3d8d97104e1bfc474f88605ccc7acbe1c846839a120fdf30d95" }, { - "offset": 1000, + "offset": 1278, "selector": "0xb0ee07785692bd1fcda9089aadef94621bfa2ac0e849504ca54f05a3689f8e" }, { - "offset": 1788, + "offset": 2441, + "selector": "0xbd7daa40535813d892224da817610f4c7e6fe8983abe588a4227586262d9d3" + }, + { + "offset": 2066, "selector": "0xd47144c49bce05b6de6bce9d5ff0cc8da9420f8945453e20ef779cbea13ad4" }, { - "offset": 1141, + "offset": 1135, + "selector": "0xd5e8843577a4b0aa2c4408c543dd466ece9a2611a140c26c004169cb123e43" + }, + { + "offset": 1419, "selector": "0xe7510edcf6e9f1b70f7bd1f488767b50f0363422f3c563160ab77adf62467b" }, { - "offset": 547, + "offset": 585, "selector": "0xe7def693d16806ca2a2f398d8de5951344663ba77f340ed7a958da731872fc" }, { - "offset": 828, + "offset": 2417, + "selector": "0xe8f69bd941db5b0bff2e416c63d46f067fcdfad558c528f9fd102ba368cb5f" + }, + { + "offset": 1030, "selector": "0x120c24672855cfe872cb35256ea85172417f2aada7a22c15908906dc5f3c69d" }, { - "offset": 1755, + "offset": 2033, "selector": "0x127a04cfe41aceb22fc022bce0c5c70f2d860a7c7c054681bd821cdc18e6dbc" }, { - "offset": 2115, + "offset": 2393, "selector": "0x12ead94ae9d3f9d2bdb6b847cf255f1f398193a1f88884a0ae8e18f24a037b6" }, { - "offset": 681, + "offset": 883, "selector": "0x137a07fa9c479e27114b8ae1fbf252f2065cf91a0d8615272e060a7ccf37309" }, { - "offset": 2168, + "offset": 2494, "selector": "0x14dae1999ae9ab799bc72def6dc6e90890cf8ac0d64525021b7e71d05cb13e8" }, { - "offset": 1646, + "offset": 1924, "selector": "0x167ac610845cc0ab1501b38169a7e50f1bf60602d3c2a961b30987454f97812" }, { - "offset": 1177, + "offset": 1455, "selector": "0x169f135eddda5ab51886052d777a57f2ea9c162d713691b5e04a6d4ed71d47f" }, { - "offset": 2079, + "offset": 2357, "selector": "0x1ae1a515cf2d214b29bdf63a79ee2d490efd4dd1acc99d383a8e549c3cecb5d" }, { - "offset": 1299, + "offset": 1577, "selector": "0x1b1a0649752af1b28b3dc29a1556eee781e4a4c3a1f7f53f90fa834de098c4d" }, { - "offset": 785, + "offset": 987, "selector": "0x1b47f727a0668d8593c5bb115d5b53a470f29833fd4d598e748f68e65f4f003" }, { - "offset": 1725, + "offset": 623, + "selector": "0x1cad42b55a5b2c7366b371db59448730766dfef74c0156c9c6f332c8c5e34d9" + }, + { + "offset": 2003, "selector": "0x1de4779362d5ca708d55fe1d4d499501b7f692730d2e01656e9180708985e07" }, { - "offset": 962, + "offset": 668, + "selector": "0x1eaab699414d786ce9dbfd4e86815f66680647efd13f9334ac97148e4e30e82" + }, + { + "offset": 1240, "selector": "0x27c3334165536f239cfd400ed956eabff55fc60de4fb56728b6a4f6b87db01c" }, { - "offset": 1067, + "offset": 1345, "selector": "0x298e03955860424b6a946506da72353a645f653dc1879f6b55fd756f3d20a59" }, { - "offset": 1591, + "offset": 1869, "selector": "0x309687d54611a7db521175c78ba48b082df1372350d2529981a8c0dd09a6529" }, { - "offset": 1994, + "offset": 2272, "selector": "0x30f842021fbf02caf80d09a113997c1e00a32870eee0c6136bed27acb348bea" }, { - "offset": 1914, + "offset": 2192, "selector": "0x317eb442b72a9fae758d4fb26830ed0d9f31c8e7da4dbff4e8c59ea6a158e7f" }, { - "offset": 1431, + "offset": 1709, "selector": "0x32564d7e0fe091d49b4c20f4632191e4ed6986bf993849879abfef9465def25" }, { - "offset": 755, + "offset": 957, "selector": "0x3307b3297ab2ab7a46a9b7d139a52dddf9c343e9a0a3ac69c5b4048d80e3aaf" }, { - "offset": 1670, + "offset": 1948, "selector": "0x33ce93a3eececa5c9fc70da05f4aff3b00e1820b79587924d514bc76788991a" }, { - "offset": 850, + "offset": 1052, "selector": "0x3604cea1cdb094a73a31144f14a3e5861613c008e1e879939ebc4827d10cd50" }, { - "offset": 1229, + "offset": 819, + "selector": "0x3639fffddc860618a5a5cb4e4c1562999b4b0ee1c648dcdecd1a905482d6ac2" + }, + { + "offset": 1507, "selector": "0x36fa6de2810d05c3e1a0ebe23f60b9c2f4629bbead09e5a9704e1c5632630d5" }, { - "offset": 1265, + "offset": 1543, "selector": "0x38215592552d97419658d30db8f189b242ec2056641de3dff8a7217745ec205" }, { - "offset": 530, + "offset": 568, "selector": "0x382a967a31be13f23e23a5345f7a89b0362cc157d6fbe7564e6396a83cf4b4f" }, { - "offset": 575, + "offset": 695, "selector": "0x39a1491f76903a16feed0a6433bec78de4c73194944e1118e226820ad479701" }, { - "offset": 923, + "offset": 1201, "selector": "0x3a6a8bae4c51d5959683ae246347ffdd96aa5b2bfa68cc8c3a6a7c2ed0be331" }, { - "offset": 717, + "offset": 919, "selector": "0x3b097c62d3e4b85742aadd0dfb823f96134b886ec13bda57b68faf86f294d97" }, { - "offset": 1117, + "offset": 1395, "selector": "0x3bf01fb7497d041938cb7b2954d8c4590006d26b3acd0f5aec1af45dc4f94b2" }, { - "offset": 1622, + "offset": 1084, + "selector": "0x3d7905601c217734671143d457f0db37f7f8883112abd34b92c4abfeafde0c3" + }, + { + "offset": 1900, "selector": "0x3dc5da2d6d1275aeed57f43461d31967b0fed58bfe739b4ffad4091e89c4b03" }, { - "offset": 1457, + "offset": 1735, "selector": "0x3eb640b15f75fcc06d43182cdb94ed38c8e71755d5fb57c16dd673b466db1d4" } ], "L1_HANDLER": [ { - "offset": 628, + "offset": 787, + "selector": "0xc73f681176fc7b3f9693986fd7b14581e8d540519e27400e88b8713932be01" + }, + { + "offset": 748, "selector": "0x217f044c1e5a6a595b43251dac7903d76ca187b95dd40991b767800f8aeb9c7" } ] @@ -917,16 +1052,16 @@ "__main__", "__main__.test_call_contract_fail_with_attr_error_msg" ], - "end_pc": 1115, + "end_pc": 1393, "flow_tracking_data": { "ap_tracking": { - "group": 90, + "group": 109, "offset": 0 }, "reference_ids": {} }, "name": "error_message", - "start_pc": 1105, + "start_pc": 1383, "value": "Be aware of failure ahead..." }, { @@ -935,16 +1070,16 @@ "__main__", "__main__.fail" ], - "end_pc": 1430, + "end_pc": 1708, "flow_tracking_data": { "ap_tracking": { - "group": 112, + "group": 131, "offset": 0 }, "reference_ids": {} }, "name": "error_message", - "start_pc": 1426, + "start_pc": 1704, "value": "You shall not pass!" } ], @@ -1117,6 +1252,24 @@ "0x482680017ffc8000", "0x2", "0x208b7fff7fff7ffe", + "0x400380007ffc7ffd", + "0x482680017ffc8000", + "0x1", + "0x208b7fff7fff7ffe", + "0x480a7ffb7fff8000", + "0x48297ffc80007ffd", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb", + "0x208b7fff7fff7ffe", + "0x480a7ffb7fff8000", + "0x480a7ffc7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff6", + "0x480a7ffc7fff8000", + "0x480a7ffd7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff6", + "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x3ffffffffffffffffffffffffffffff", "0x480280017ffc8000", @@ -1296,7 +1449,7 @@ "0x40780017fff7fff", "0x2", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec6", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb4", "0x400780017fff8000", "0x0", "0x400780017fff8001", @@ -1312,7 +1465,7 @@ "0x1104800180018000", "0x2b", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb6", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffea4", "0x40137ffd7fff8000", "0x480280017ffb8000", "0x40297ffd7fff8001", @@ -1325,9 +1478,9 @@ "0x480280007ffc8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe94", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe82", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffea7", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe95", "0x40137ffd7fff8000", "0x480280017ffc8000", "0x402580017fff8001", @@ -1350,7 +1503,7 @@ "0x480280007ffd8000", "0x480280017ffd8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe7b", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe69", "0x208b7fff7fff7ffe", "0x20780017fff7ffc", "0x5", @@ -1419,16 +1572,36 @@ "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe1e", + "0x40137fff7fff8000", + "0x4003800080007ffc", + "0x4003800180007ffd", + "0x4826800180008000", + "0x2", + "0x480a7ff97fff8000", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x3d7905601c217734671143d457f0db37f7f8883112abd34b92c4abfeafde0c3", + "0x4828800080007ffc", + "0x480a80007fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe3b", + "0x48127ffd7fff8000", + "0x480a7ffa7fff8000", + "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x391a88f3badec8650b4d8356e18655269ee975e58e0060aa076396ce0b1dccb", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe31", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe0b", "0x480a7ffc7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffed8", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec4", "0x48127fe17fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", @@ -1441,7 +1614,7 @@ "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe96", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe70", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", @@ -1456,7 +1629,7 @@ "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe8f", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe69", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", @@ -1464,7 +1637,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe87", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe61", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x2", @@ -1520,6 +1693,88 @@ "0x0", "0x48127ff97fff8000", "0x208b7fff7fff7ffe", + "0x480a7ffc7fff8000", + "0x480680017fff8000", + "0xf", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe1d", + "0x48127ffe7fff8000", + "0x480680017fff8000", + "0xf", + "0x482480017ffd8000", + "0x1", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe1e", + "0x480680017fff8000", + "0xf", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe12", + "0x402480017ff27fff", + "0x1", + "0x48127ffe7fff8000", + "0x480a7ffd7fff8000", + "0x208b7fff7fff7ffe", + "0x402b7ffd7ffc7ffd", + "0x480280007ffb8000", + "0x480280017ffb8000", + "0x1104800180018000", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe9", + "0x40780017fff7fff", + "0x1", + "0x48127ffd7fff8000", + "0x48127ffd7fff8000", + "0x480280027ffb8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", + "0x480a7ffd7fff8000", + "0x480680017fff8000", + "0x11", + "0x480680017fff8000", + "0x55", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe27", + "0x480a7ffc7fff8000", + "0x480680017fff8000", + "0x1", + "0x480680017fff8000", + "0x2", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd79", + "0x400680017fff7fff", + "0x5bb9440e27889a364bcb678b1f679ecd1347acdedcbf36e83494f857cc58026", + "0x48127ffe7fff8000", + "0x48127ff77fff8000", + "0x48127ffd7fff8000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x4003800080007ffc", + "0x4826800180008000", + "0x1", + "0x480a7ffd7fff8000", + "0x4828800080007ffe", + "0x480a80007fff8000", + "0x208b7fff7fff7ffe", + "0x402b7ffd7ffc7ffd", + "0x480280017ffb8000", + "0x480280027ffb8000", + "0x1104800180018000", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe1", + "0x48127ffe7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff2", + "0x480280007ffb8000", + "0x48127ff47fff8000", + "0x48127ffb7fff8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x48127ff97fff8000", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", @@ -1555,7 +1810,7 @@ "0x480680017fff8000", "0x6", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdc4", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd4c", "0x482480017fff8000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffe", "0x480a7ffd7fff8000", @@ -1567,17 +1822,17 @@ "0x3", "0x48127ffb7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd5", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd5d", "0x48127ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdff", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd87", "0x48127ffe7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe16", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd9e", "0x480680017fff8000", "0x1", "0x400680017fff7fff", @@ -1592,12 +1847,94 @@ "0x480280017ffd8000", "0x480280027ffd8000", "0x1104800180018000", - "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffef", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffef", + "0x40780017fff7fff", + "0x1", + "0x48127ffe7fff8000", + "0x480280017ffb8000", + "0x480280027ffb8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd01", + "0x400180007fff7ffd", + "0x480680017fff8000", + "0x0", + "0x400080017ffe7fff", + "0x480a7ff97fff8000", + "0x480a7ffb7fff8000", + "0x480a7ffa7fff8000", + "0x480a7ffc7fff8000", + "0x480a7ffd7fff8000", + "0x480680017fff8000", + "0x0", + "0x1104800180018000", + "0x574", + "0x48127ffd7fff8000", + "0x48127ffe7fff8000", + "0x48127ffc7fff8000", + "0x208b7fff7fff7ffe", + "0x482680017ffd8000", + "0x2", + "0x402a7ffd7ffc7fff", + "0x480280007ffb8000", + "0x480280027ffb8000", + "0x480280017ffb8000", + "0x480280007ffd8000", + "0x480280017ffd8000", + "0x1104800180018000", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe6", + "0x40780017fff7fff", + "0x1", + "0x48127ffc7fff8000", + "0x48127ffd7fff8000", + "0x48127ffb7fff8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", + "0x480a7ff77fff8000", + "0x480a7ffa7fff8000", + "0x480a7ffb7fff8000", + "0x480a7ffc7fff8000", + "0x480a7ffd7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd0a", + "0x48127ffd7fff8000", + "0x480a7ff87fff8000", + "0x480a7ff97fff8000", + "0x208b7fff7fff7ffe", + "0x480280027ffb8000", + "0x480280027ffd8000", + "0x400080007ffe7fff", + "0x482680017ffd8000", + "0x3", + "0x480280027ffd8000", + "0x48307fff7ffe8000", + "0x402a7ffd7ffc7fff", + "0x480280027ffb8000", + "0x480280007ffb8000", + "0x480280017ffb8000", + "0x482480017ffd8000", + "0x1", + "0x480280007ffd8000", + "0x480280017ffd8000", + "0x480280027ffd8000", + "0x482680017ffd8000", + "0x3", + "0x1104800180018000", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe4", "0x40780017fff7fff", "0x1", - "0x48127ffe7fff8000", - "0x480280017ffb8000", - "0x480280027ffb8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", + "0x48127ffc7fff8000", "0x480280037ffb8000", "0x480280047ffb8000", "0x480680017fff8000", @@ -1659,10 +1996,10 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdc4", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcfa", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdb9", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcef", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", @@ -1700,11 +2037,11 @@ "0x480680017fff8000", "0x7", "0x1104800180018000", - "0x54c", + "0x598", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd97", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffccd", "0x482680017ffc8000", "0x800000000000011000000000000000000000000000000000000000000000000", "0x480a7ffd7fff8000", @@ -1734,7 +2071,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd79", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcaf", "0x480680017fff8000", "0x1", "0x400680017fff7fff", @@ -1804,7 +2141,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcdc", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc12", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280027ffd8000", @@ -1832,6 +2169,82 @@ "0x48127ff87fff8000", "0x48127ff87fff8000", "0x208b7fff7fff7ffe", + "0x480a7ffb7fff8000", + "0x480a7ffc7fff8000", + "0x480a7ffd7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc49", + "0x208b7fff7fff7ffe", + "0x482680017ffd8000", + "0x2", + "0x402a7ffd7ffc7fff", + "0x480280007ffb8000", + "0x480280007ffd8000", + "0x480280017ffd8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff5", + "0x40780017fff7fff", + "0x1", + "0x48127ffe7fff8000", + "0x480280017ffb8000", + "0x480280027ffb8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", + "0x480a7ffb7fff8000", + "0x480680017fff8000", + "0x1bc", + "0x480680017fff8000", + "0x22b", + "0x1104800180018000", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe3", + "0x480680017fff8000", + "0x1bc", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc22", + "0x400680017fff7fff", + "0x22b", + "0x48127ffe7fff8000", + "0x480a7ffc7fff8000", + "0x480a7ffd7fff8000", + "0x480680017fff8000", + "0x1bc", + "0x480680017fff8000", + "0x29a", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd7f", + "0x48127ffe7fff8000", + "0x480680017fff8000", + "0x1bc", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc12", + "0x400680017fff7fff", + "0x29a", + "0x48127ffe7fff8000", + "0x48127ff77fff8000", + "0x208b7fff7fff7ffe", + "0x482680017ffd8000", + "0x1", + "0x402a7ffd7ffc7fff", + "0x480280007ffb8000", + "0x480280027ffb8000", + "0x480280007ffd8000", + "0x1104800180018000", + "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdb", + "0x40780017fff7fff", + "0x1", + "0x48127ffd7fff8000", + "0x480280017ffb8000", + "0x48127ffc7fff8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x400780017fff7ffc", @@ -1847,7 +2260,7 @@ "0x482480017ffb8000", "0x1", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffca0", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb8a", "0x482480017fff8000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffc", "0x40137fff7fff8000", @@ -1858,14 +2271,14 @@ "0x5", "0x480a80007fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffca6", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb90", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc9f", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb89", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", @@ -1916,7 +2329,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc60", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb4a", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280027ffd8000", @@ -1951,7 +2364,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc3d", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb27", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", @@ -1994,7 +2407,7 @@ "0x480a7ff87fff8000", "0x480a7ff97fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc12", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffafc", "0x40137ffe7fff8000", "0x48127ffd7fff8000", "0x480a7ffa7fff8000", @@ -2002,23 +2415,23 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc0a", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffaf4", "0x40137fff7fff8001", "0x40137ffe7fff8002", "0x40137ffd7fff8003", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbe7", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffad1", "0x40137fff7fff8004", "0x480a80047fff8000", "0x48127ff07fff8000", "0x480a80007fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbea", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffad4", "0x482a800080048000", "0x480a80017fff8000", "0x480a80027fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbe5", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffacf", "0x480a80037fff8000", "0x482a800280008000", "0x480a80047fff8000", @@ -2062,7 +2475,7 @@ "0x48127ff87fff8000", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc9", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffab3", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", @@ -2070,7 +2483,7 @@ "0x0", "0x48127ffb7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc6", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffab0", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", @@ -2095,7 +2508,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc29", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb13", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", @@ -2122,7 +2535,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbb6", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffaa0", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", @@ -2174,11 +2587,11 @@ "0x480680017fff8000", "0x27", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd2b", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc3b", "0x480680017fff8000", "0x1", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd19", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc29", "0x400680017fff7fff", "0x27", "0x48127ffc7fff8000", @@ -2210,7 +2623,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffccc", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc8", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", @@ -2294,7 +2707,7 @@ "0x482680017ffd8000", "0x3", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffae6", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d0", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", @@ -2312,7 +2725,7 @@ "0x482680017ffd8000", "0x3", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffae0", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9ca", "0x48127ffd7fff8000", "0x480680017fff8000", "0x0", @@ -2466,7 +2879,7 @@ "0x482680017ffd8000", "0x800000000000011000000000000000000000000000000000000000000000000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa35", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff91f", "0x482480017fff8000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffe", "0x40137fff7fff8000", @@ -2477,7 +2890,7 @@ "0x3", "0x480a80007fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa2f", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff919", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", @@ -2506,15 +2919,15 @@ "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa75", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff95f", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa40", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff92a", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480680017fff8000", "0x0", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa05", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8ef", "0x482480017fff8000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffd", "0x40137fff7fff8000", @@ -2526,7 +2939,7 @@ "0x4", "0x480a80007fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9fe", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8e8", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x3", @@ -2542,7 +2955,7 @@ "0x480a7ffc7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d9", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8c3", "0x480a80017fff8000", "0x4829800080008002", "0x480a80007fff8000", @@ -2574,7 +2987,7 @@ "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa0c", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8f6", "0x400a7ffd7fff7fff", "0x48127ffe7fff8000", "0x208b7fff7fff7ffe", @@ -2598,7 +3011,7 @@ "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa02", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8ec", "0x400a7ffd7fff7fff", "0x48127ffe7fff8000", "0x208b7fff7fff7ffe", @@ -2622,7 +3035,7 @@ "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d5", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8bf", "0x400a7ffd7fff7fff", "0x48127ffe7fff8000", "0x208b7fff7fff7ffe", @@ -2646,7 +3059,7 @@ "0x208b7fff7fff7ffe", "0x480a7ff67fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9fb", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8e5", "0x480080007fff8000", "0x480080017ffe8000", "0x480080027ffd8000", @@ -2668,17 +3081,17 @@ "0x12c", "0x48127ffb7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d3", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8bd", "0x480680017fff8000", "0x137", "0x48127ff67fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9ce", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8b8", "0x480680017fff8000", "0x142", "0x48127ff17fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9c9", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8b3", "0x480a7ff77fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", @@ -2707,7 +3120,7 @@ "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9be", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8a8", "0x400180007fff7ffd", "0x48127ffe7fff8000", "0x208b7fff7fff7ffe", @@ -2735,13 +3148,13 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff990", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff87a", "0x480680017fff8000", "0xf", "0x480680017fff8000", "0x1", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff98a", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff874", "0x480a7ffd7fff8000", "0x208b7fff7fff7ffe", "0x402b7ffd7ffc7ffd", @@ -2763,7 +3176,7 @@ "0x40780017fff7fff", "0x1", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8f3", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff7dd", "0x40137fff7fff8000", "0x4003800080007ffb", "0x4003800180007ffc", @@ -2777,7 +3190,7 @@ "0x4828800080007ffc", "0x480a80007fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff903", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff7ed", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x208b7fff7fff7ffe", @@ -2786,11 +3199,11 @@ "0x2691cb735b18f3f656c3b82bd97a32b65d15019b64117513f8604d1e06fe58b", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8df", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff7c9", "0x480a7ffc7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff986", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff882", "0x48127fe17fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", @@ -2803,12 +3216,12 @@ "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff944", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff82e", "0x48127ffe7fff8000", "0x482480017ff78000", "0x1", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff93f", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff829", "0x48127ffe7fff8000", "0x48127fee7fff8000", "0x48127fee7fff8000", @@ -2824,12 +3237,12 @@ "0x48127ffe7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff937", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff821", "0x482480017ff88000", "0x1", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff932", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff81c", "0x48127ff07fff8000", "0x48127ff07fff8000", "0x208b7fff7fff7ffe", @@ -2846,12 +3259,12 @@ "0x48127ffe7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff921", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff80b", "0x482480017ff88000", "0x1", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff91c", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff806", "0x48127ff07fff8000", "0x48127ff07fff8000", "0x208b7fff7fff7ffe", @@ -2902,12 +3315,12 @@ "0x48127ffd7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff93e", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff83a", "0x48127ffe7fff8000", "0x48127ff77fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff939", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff835", "0x48127fed7fff8000", "0x48127fed7fff8000", "0x48127fed7fff8000", @@ -2984,7 +3397,7 @@ "0x480680017fff8000", "0x4b5810004d9272776dec83ecc20c19353453b956e594188890b48467cb53c19", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff93b", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff837", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", @@ -3014,7 +3427,7 @@ "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff869", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff753", "0x400680017fff7ffe", "0x2", "0x48127ffd7fff8000", @@ -3062,14 +3475,14 @@ "0x400780017fff8001", "0x22", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff7e0", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff6ca", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x2", "0x48127ffb7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff909", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff805", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", @@ -3089,6 +3502,54 @@ "0x0", "0x48127ff97fff8000", "0x208b7fff7fff7ffe", + "0x480a7ffc7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff6e3", + "0x400a7ffd7fff7fff", + "0x48127ffe7fff8000", + "0x208b7fff7fff7ffe", + "0x482680017ffd8000", + "0x1", + "0x402a7ffd7ffc7fff", + "0x480280007ffb8000", + "0x480280007ffd8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff6", + "0x40780017fff7fff", + "0x1", + "0x48127ffe7fff8000", + "0x480280017ffb8000", + "0x480280027ffb8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", + "0x480a7ffc7fff8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff6e0", + "0x400a7ffd7fff7fff", + "0x48127ffe7fff8000", + "0x208b7fff7fff7ffe", + "0x482680017ffd8000", + "0x1", + "0x402a7ffd7ffc7fff", + "0x480280007ffb8000", + "0x480280007ffd8000", + "0x1104800180018000", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff6", + "0x40780017fff7fff", + "0x1", + "0x48127ffe7fff8000", + "0x480280017ffb8000", + "0x480280027ffb8000", + "0x480280037ffb8000", + "0x480280047ffb8000", + "0x480680017fff8000", + "0x0", + "0x48127ff97fff8000", + "0x208b7fff7fff7ffe", "0x20780017fff7ff9", "0x6", "0x480a7ff67fff8000", @@ -3101,7 +3562,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff82a", + "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff6e4", "0x480a7ff77fff8000", "0x480a7ff87fff8000", "0x482680017ff98000", @@ -3506,6 +3967,24 @@ } ], "161": [ + { + "accessible_scopes": [ + "starkware.cairo.common.math", + "starkware.cairo.common.math.assert_nn" + ], + "code": "from starkware.cairo.common.math_utils import assert_integer\nassert_integer(ids.a)\nassert 0 <= ids.a % PRIME < range_check_builtin.bound, f'a = {ids.a} is out of range.'", + "flow_tracking_data": { + "ap_tracking": { + "group": 20, + "offset": 0 + }, + "reference_ids": { + "starkware.cairo.common.math.assert_nn.a": 17 + } + } + } + ], + "179": [ { "accessible_scopes": [ "starkware.cairo.common.math", @@ -3514,18 +3993,18 @@ "code": "from starkware.cairo.common.math_utils import as_int\n\n# Correctness check.\nvalue = as_int(ids.value, PRIME) % PRIME\nassert value < ids.UPPER_BOUND, f'{value} is outside of the range [0, 2**250).'\n\n# Calculation for the assertion.\nids.high, ids.low = divmod(ids.value, ids.SHIFT)", "flow_tracking_data": { "ap_tracking": { - "group": 20, + "group": 23, "offset": 0 }, "reference_ids": { - "starkware.cairo.common.math.assert_250_bit.high": 19, - "starkware.cairo.common.math.assert_250_bit.low": 18, - "starkware.cairo.common.math.assert_250_bit.value": 17 + "starkware.cairo.common.math.assert_250_bit.high": 20, + "starkware.cairo.common.math.assert_250_bit.low": 19, + "starkware.cairo.common.math.assert_250_bit.value": 18 } } } ], - "176": [ + "194": [ { "accessible_scopes": [ "starkware.starknet.common.storage", @@ -3534,17 +4013,17 @@ "code": "# Verify the assumptions on the relationship between 2**250, ADDR_BOUND and PRIME.\nADDR_BOUND = ids.ADDR_BOUND % PRIME\nassert (2**250 < ADDR_BOUND <= 2**251) and (2 * 2**250 < PRIME) and (\n ADDR_BOUND * 2 > PRIME), \\\n 'normalize_address() cannot be used with the current constants.'\nids.is_small = 1 if ids.addr < ADDR_BOUND else 0", "flow_tracking_data": { "ap_tracking": { - "group": 21, + "group": 24, "offset": 1 }, "reference_ids": { - "starkware.starknet.common.storage.normalize_address.addr": 20, - "starkware.starknet.common.storage.normalize_address.is_small": 21 + "starkware.starknet.common.storage.normalize_address.addr": 21, + "starkware.starknet.common.storage.normalize_address.is_small": 22 } } } ], - "194": [ + "212": [ { "accessible_scopes": [ "starkware.starknet.common.storage", @@ -3553,17 +4032,17 @@ "code": "ids.is_250 = 1 if ids.addr < 2**250 else 0", "flow_tracking_data": { "ap_tracking": { - "group": 21, + "group": 24, "offset": 2 }, "reference_ids": { - "starkware.starknet.common.storage.normalize_address.addr": 20, - "starkware.starknet.common.storage.normalize_address.is_250": 22 + "starkware.starknet.common.storage.normalize_address.addr": 21, + "starkware.starknet.common.storage.normalize_address.is_250": 23 } } } ], - "301": [ + "319": [ { "accessible_scopes": [ "starkware.cairo.common.ec", @@ -3572,19 +4051,19 @@ "code": "from starkware.crypto.signature.signature import ALPHA, BETA, FIELD_PRIME\nfrom starkware.python.math_utils import random_ec_point\nfrom starkware.python.utils import to_bytes\n\n# Define a seed for random_ec_point that's dependent on all the input, so that:\n# (1) The added point s is deterministic.\n# (2) It's hard to choose inputs for which the builtin will fail.\nseed = b\"\".join(map(to_bytes, [ids.p.x, ids.p.y, ids.m, ids.q.x, ids.q.y]))\nids.s.x, ids.s.y = random_ec_point(FIELD_PRIME, ALPHA, BETA, seed)", "flow_tracking_data": { "ap_tracking": { - "group": 27, + "group": 30, "offset": 2 }, "reference_ids": { - "starkware.cairo.common.ec.ec_op.m": 24, - "starkware.cairo.common.ec.ec_op.p": 23, - "starkware.cairo.common.ec.ec_op.q": 25, - "starkware.cairo.common.ec.ec_op.s": 26 + "starkware.cairo.common.ec.ec_op.m": 25, + "starkware.cairo.common.ec.ec_op.p": 24, + "starkware.cairo.common.ec.ec_op.q": 26, + "starkware.cairo.common.ec.ec_op.s": 27 } } } ], - "334": [ + "352": [ { "accessible_scopes": [ "starkware.starknet.common.messages", @@ -3593,16 +4072,16 @@ "code": "syscall_handler.send_message_to_l1(segments=segments, syscall_ptr=ids.syscall_ptr)", "flow_tracking_data": { "ap_tracking": { - "group": 31, + "group": 34, "offset": 1 }, "reference_ids": { - "starkware.starknet.common.messages.send_message_to_l1.syscall_ptr": 27 + "starkware.starknet.common.messages.send_message_to_l1.syscall_ptr": 28 } } } ], - "518": [ + "556": [ { "accessible_scopes": [ "__main__", @@ -3613,14 +4092,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 48, + "group": 52, "offset": 13 }, "reference_ids": {} } } ], - "533": [ + "571": [ { "accessible_scopes": [ "__main__", @@ -3631,14 +4110,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 50, + "group": 54, "offset": 2 }, "reference_ids": {} } } ], - "553": [ + "591": [ { "accessible_scopes": [ "__main__", @@ -3649,14 +4128,50 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 52, + "group": 56, "offset": 4 }, "reference_ids": {} } } ], - "566": [ + "628": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.entry_point" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 58, + "offset": 26 + }, + "reference_ids": {} + } + } + ], + "659": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.test_builtins_encode_return" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 60, + "offset": 0 + }, + "reference_ids": {} + } + } + ], + "686": [ { "accessible_scopes": [ "__main__", @@ -3667,14 +4182,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 54, + "group": 63, "offset": 0 }, "reference_ids": {} } } ], - "637": [ + "757": [ { "accessible_scopes": [ "__main__", @@ -3685,14 +4200,50 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 58, + "group": 67, "offset": 16 }, "reference_ids": {} } } ], - "664": [ + "797": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.deposit" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 71, + "offset": 0 + }, + "reference_ids": {} + } + } + ], + "839": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.test_library_call_l1_handler" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 73, + "offset": 29 + }, + "reference_ids": {} + } + } + ], + "866": [ { "accessible_scopes": [ "__main__", @@ -3703,14 +4254,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 60, + "group": 75, "offset": 8 }, "reference_ids": {} } } ], - "677": [ + "879": [ { "accessible_scopes": [ "__main__", @@ -3720,17 +4271,17 @@ "code": "from starkware.python.math_utils import isqrt\nvalue = ids.value % PRIME\nassert value < 2 ** 250, f\"value={value} is outside of the range [0, 2**250).\"\nassert 2 ** 250 < PRIME\nids.root = isqrt(value)", "flow_tracking_data": { "ap_tracking": { - "group": 61, + "group": 76, "offset": 1 }, "reference_ids": { - "__main__.sqrt.root": 29, - "__main__.sqrt.value": 28 + "__main__.sqrt.root": 30, + "__main__.sqrt.value": 29 } } } ], - "688": [ + "890": [ { "accessible_scopes": [ "__main__", @@ -3741,14 +4292,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 62, + "group": 77, "offset": 7 }, "reference_ids": {} } } ], - "708": [ + "910": [ { "accessible_scopes": [ "__main__", @@ -3759,68 +4310,104 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 64, + "group": 79, + "offset": 0 + }, + "reference_ids": {} + } + } + ], + "965": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.write_a_lot" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 85, "offset": 0 }, "reference_ids": {} } } ], - "763": [ + "995": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.write_and_revert" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 87, + "offset": 15 + }, + "reference_ids": {} + } + } + ], + "1017": [ { "accessible_scopes": [ "__main__", "__main__", "__wrappers__", - "__wrappers__.write_a_lot" + "__wrappers__.test_long_retdata_encode_return" ], "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 70, + "group": 89, "offset": 0 }, "reference_ids": {} } } ], - "793": [ + "1092": [ { "accessible_scopes": [ "__main__", "__main__", "__wrappers__", - "__wrappers__.write_and_revert" + "__wrappers__.set_value" ], "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 72, - "offset": 15 + "group": 94, + "offset": 13 }, "reference_ids": {} } } ], - "815": [ + "1143": [ { "accessible_scopes": [ "__main__", "__main__", "__wrappers__", - "__wrappers__.test_long_retdata_encode_return" + "__wrappers__.test_library_call_syntactic_sugar" ], "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 74, - "offset": 0 + "group": 96, + "offset": 58 }, "reference_ids": {} } } ], - "914": [ + "1192": [ { "accessible_scopes": [ "__main__", @@ -3831,14 +4418,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 79, + "group": 98, "offset": 0 }, "reference_ids": {} } } ], - "1019": [ + "1297": [ { "accessible_scopes": [ "__main__", @@ -3849,14 +4436,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 84, + "group": 103, "offset": 28 }, "reference_ids": {} } } ], - "1125": [ + "1403": [ { "accessible_scopes": [ "__main__", @@ -3867,14 +4454,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 91, + "group": 110, "offset": 23 }, "reference_ids": {} } } ], - "1148": [ + "1426": [ { "accessible_scopes": [ "__main__", @@ -3885,14 +4472,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 93, + "group": 112, "offset": 11 }, "reference_ids": {} } } ], - "1168": [ + "1446": [ { "accessible_scopes": [ "__main__", @@ -3903,14 +4490,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 95, + "group": 114, "offset": 0 }, "reference_ids": {} } } ], - "1235": [ + "1513": [ { "accessible_scopes": [ "__main__", @@ -3921,14 +4508,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 98, + "group": 117, "offset": 126 }, "reference_ids": {} } } ], - "1256": [ + "1534": [ { "accessible_scopes": [ "__main__", @@ -3939,14 +4526,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 101, + "group": 120, "offset": 0 }, "reference_ids": {} } } ], - "1302": [ + "1580": [ { "accessible_scopes": [ "__main__", @@ -3957,14 +4544,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 105, + "group": 124, "offset": 2 }, "reference_ids": {} } } ], - "1389": [ + "1667": [ { "accessible_scopes": [ "__main__", @@ -3975,14 +4562,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 109, + "group": 128, "offset": 0 }, "reference_ids": {} } } ], - "1434": [ + "1712": [ { "accessible_scopes": [ "__main__", @@ -3993,14 +4580,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 113, + "group": 132, "offset": 3 }, "reference_ids": {} } } ], - "1463": [ + "1741": [ { "accessible_scopes": [ "__main__", @@ -4011,14 +4598,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 117, + "group": 136, "offset": 0 }, "reference_ids": {} } } ], - "1488": [ + "1766": [ { "accessible_scopes": [ "__main__", @@ -4029,14 +4616,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 121, + "group": 140, "offset": 0 }, "reference_ids": {} } } ], - "1533": [ + "1811": [ { "accessible_scopes": [ "__main__", @@ -4047,14 +4634,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 124, + "group": 143, "offset": 0 }, "reference_ids": {} } } ], - "1572": [ + "1850": [ { "accessible_scopes": [ "__main__", @@ -4065,14 +4652,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 126, + "group": 145, "offset": 0 }, "reference_ids": {} } } ], - "1629": [ + "1907": [ { "accessible_scopes": [ "__main__", @@ -4083,14 +4670,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 131, + "group": 150, "offset": 12 }, "reference_ids": {} } } ], - "1653": [ + "1931": [ { "accessible_scopes": [ "__main__", @@ -4101,14 +4688,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 133, + "group": 152, "offset": 12 }, "reference_ids": {} } } ], - "1677": [ + "1955": [ { "accessible_scopes": [ "__main__", @@ -4119,14 +4706,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 135, + "group": 154, "offset": 12 }, "reference_ids": {} } } ], - "1738": [ + "2016": [ { "accessible_scopes": [ "__main__", @@ -4137,14 +4724,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 137, + "group": 156, "offset": 45 }, "reference_ids": {} } } ], - "1762": [ + "2040": [ { "accessible_scopes": [ "__main__", @@ -4155,14 +4742,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 139, + "group": 158, "offset": 12 }, "reference_ids": {} } } ], - "1793": [ + "2071": [ { "accessible_scopes": [ "__main__", @@ -4173,14 +4760,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 141, + "group": 160, "offset": 18 }, "reference_ids": {} } } ], - "1925": [ + "2203": [ { "accessible_scopes": [ "__main__", @@ -4191,14 +4778,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 149, + "group": 168, "offset": 145 }, "reference_ids": {} } } ], - "1974": [ + "2252": [ { "accessible_scopes": [ "__main__", @@ -4209,14 +4796,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 151, + "group": 170, "offset": 161 }, "reference_ids": {} } } ], - "2005": [ + "2283": [ { "accessible_scopes": [ "__main__", @@ -4227,14 +4814,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 153, + "group": 172, "offset": 35 }, "reference_ids": {} } } ], - "2045": [ + "2323": [ { "accessible_scopes": [ "__main__", @@ -4245,14 +4832,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 157, + "group": 176, "offset": 0 }, "reference_ids": {} } } ], - "2088": [ + "2366": [ { "accessible_scopes": [ "__main__", @@ -4263,14 +4850,14 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 159, + "group": 178, "offset": 153 }, "reference_ids": {} } } ], - "2122": [ + "2400": [ { "accessible_scopes": [ "__main__", @@ -4281,14 +4868,50 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 161, + "group": 180, "offset": 17 }, "reference_ids": {} } } ], - "2197": [ + "2424": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.test_get_caller_address" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 182, + "offset": 12 + }, + "reference_ids": {} + } + } + ], + "2448": [ + { + "accessible_scopes": [ + "__main__", + "__main__", + "__wrappers__", + "__wrappers__.test_get_contract_address" + ], + "code": "memory[ap] = segments.add()", + "flow_tracking_data": { + "ap_tracking": { + "group": 184, + "offset": 12 + }, + "reference_ids": {} + } + } + ], + "2523": [ { "accessible_scopes": [ "__main__", @@ -4299,7 +4922,7 @@ "code": "memory[ap] = segments.add()", "flow_tracking_data": { "ap_tracking": { - "group": 167, + "group": 190, "offset": 0 }, "reference_ids": {} @@ -4388,7 +5011,7 @@ }, "__main__.MyContract.xor_counters": { "decorators": [], - "pc": 1804, + "pc": 2082, "type": "function" }, "__main__.MyContract.xor_counters.Args": { @@ -4433,6 +5056,96 @@ "type": "const", "value": 116061167288211781254449158074459916871457383008289084697957612485591092000 }, + "__main__.TestContract": { + "type": "namespace" + }, + "__main__.TestContract.Args": { + "full_name": "__main__.TestContract.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__main__.TestContract.ImplicitArgs": { + "full_name": "__main__.TestContract.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__main__.TestContract.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.TestContract.SET_VALUE_SELECTOR": { + "type": "const", + "value": 1737806834891659957988373423388711239891733974125793472992920296585311412419 + }, + "__main__.TestContract.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__main__.TestContract.alloc": { + "destination": "starkware.cairo.common.alloc.alloc", + "type": "alias" + }, + "__main__.TestContract.call_contract": { + "destination": "starkware.starknet.common.syscalls.call_contract", + "type": "alias" + }, + "__main__.TestContract.library_call": { + "destination": "starkware.starknet.common.syscalls.library_call", + "type": "alias" + }, + "__main__.TestContract.library_call_set_value": { + "decorators": [], + "pc": 481, + "type": "function" + }, + "__main__.TestContract.library_call_set_value.Args": { + "full_name": "__main__.TestContract.library_call_set_value.Args", + "members": { + "address": { + "cairo_type": "felt", + "offset": 1 + }, + "class_hash": { + "cairo_type": "felt", + "offset": 0 + }, + "value": { + "cairo_type": "felt", + "offset": 2 + } + }, + "size": 3, + "type": "struct" + }, + "__main__.TestContract.library_call_set_value.ImplicitArgs": { + "full_name": "__main__.TestContract.library_call_set_value.ImplicitArgs", + "members": { + "range_check_ptr": { + "cairo_type": "felt", + "offset": 1 + }, + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 2, + "type": "struct" + }, + "__main__.TestContract.library_call_set_value.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.TestContract.library_call_set_value.SIZEOF_LOCALS": { + "type": "const", + "value": 1 + }, + "__main__.TestContract.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, "__main__.TxInfo": { "destination": "starkware.starknet.common.syscalls.TxInfo", "type": "alias" @@ -4441,7 +5154,7 @@ "decorators": [ "external" ], - "pc": 2056, + "pc": 2334, "type": "function" }, "__main__.add_signature_to_counters.Args": { @@ -4486,7 +5199,7 @@ "decorators": [ "external" ], - "pc": 1899, + "pc": 2177, "type": "function" }, "__main__.advance_counter.Args": { @@ -4539,11 +5252,15 @@ "destination": "starkware.cairo.common.alloc.alloc", "type": "alias" }, + "__main__.assert_nn_le": { + "destination": "starkware.cairo.common.math.assert_nn_le", + "type": "alias" + }, "__main__.bitwise_and": { "decorators": [ "external" ], - "pc": 648, + "pc": 850, "type": "function" }, "__main__.bitwise_and.Args": { @@ -4592,7 +5309,7 @@ "decorators": [ "external" ], - "pc": 988, + "pc": 1266, "type": "function" }, "__main__.call_execute_directly.Args": { @@ -4645,7 +5362,7 @@ "decorators": [ "external" ], - "pc": 1985, + "pc": 2263, "type": "function" }, "__main__.call_xor_counters.Args": { @@ -4690,7 +5407,7 @@ "decorators": [ "constructor" ], - "pc": 504, + "pc": 542, "type": "function" }, "__main__.constructor.Args": { @@ -4731,6 +5448,55 @@ "destination": "starkware.starknet.common.syscalls.deploy", "type": "alias" }, + "__main__.deposit": { + "decorators": [ + "l1_handler" + ], + "pc": 768, + "type": "function" + }, + "__main__.deposit.Args": { + "full_name": "__main__.deposit.Args", + "members": { + "amount": { + "cairo_type": "felt", + "offset": 1 + }, + "from_address": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 2, + "type": "struct" + }, + "__main__.deposit.ImplicitArgs": { + "full_name": "__main__.deposit.ImplicitArgs", + "members": { + "pedersen_ptr": { + "cairo_type": "starkware.cairo.common.cairo_builtins.HashBuiltin*", + "offset": 2 + }, + "range_check_ptr": { + "cairo_type": "felt", + "offset": 1 + }, + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 3, + "type": "struct" + }, + "__main__.deposit.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.deposit.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, "__main__.ec_op": { "destination": "starkware.cairo.common.ec.ec_op", "type": "alias" @@ -4764,7 +5530,7 @@ }, "__main__.ec_point.addr": { "decorators": [], - "pc": 1877, + "pc": 2155, "type": "function" }, "__main__.ec_point.addr.Args": { @@ -4814,7 +5580,7 @@ }, "__main__.ec_point.write": { "decorators": [], - "pc": 1882, + "pc": 2160, "type": "function" }, "__main__.ec_point.write.Args": { @@ -4861,7 +5627,7 @@ }, "__main__.emit_event_recurse": { "decorators": [], - "pc": 2133, + "pc": 2459, "type": "function" }, "__main__.emit_event_recurse.Args": { @@ -4918,11 +5684,51 @@ "type": "const", "value": 0 }, + "__main__.entry_point": { + "decorators": [ + "external" + ], + "pc": 602, + "type": "function" + }, + "__main__.entry_point.Args": { + "full_name": "__main__.entry_point.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__main__.entry_point.ImplicitArgs": { + "full_name": "__main__.entry_point.ImplicitArgs", + "members": { + "pedersen_ptr": { + "cairo_type": "starkware.cairo.common.cairo_builtins.HashBuiltin*", + "offset": 1 + }, + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 2, + "type": "struct" + }, + "__main__.entry_point.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.entry_point.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__main__.entry_point.address": { + "type": "const", + "value": 15 + }, "__main__.fail": { "decorators": [ "external" ], - "pc": 1426, + "pc": 1704, "type": "function" }, "__main__.fail.Args": { @@ -4949,7 +5755,7 @@ "decorators": [ "external" ], - "pc": 1298, + "pc": 1576, "type": "function" }, "__main__.foo.Args": { @@ -5008,11 +5814,15 @@ "destination": "starkware.starknet.common.syscalls.get_tx_signature", "type": "alias" }, + "__main__.hash2": { + "destination": "starkware.cairo.common.hash.hash2", + "type": "alias" + }, "__main__.invoke_call_chain": { "decorators": [ "external" ], - "pc": 1313, + "pc": 1591, "type": "function" }, "__main__.invoke_call_chain.Args": { @@ -5053,7 +5863,7 @@ "decorators": [ "l1_handler" ], - "pc": 617, + "pc": 737, "type": "function" }, "__main__.l1_handler_set_value_and_revert.Args": { @@ -5135,7 +5945,7 @@ }, "__main__.number_map.addr": { "decorators": [], - "pc": 463, + "pc": 501, "type": "function" }, "__main__.number_map.addr.Args": { @@ -5182,7 +5992,7 @@ }, "__main__.number_map.read": { "decorators": [], - "pc": 477, + "pc": 515, "type": "function" }, "__main__.number_map.read.Args": { @@ -5233,7 +6043,7 @@ }, "__main__.number_map.write": { "decorators": [], - "pc": 491, + "pc": 529, "type": "function" }, "__main__.number_map.write.Args": { @@ -5280,7 +6090,7 @@ }, "__main__.other_syscalls": { "decorators": [], - "pc": 592, + "pc": 712, "type": "function" }, "__main__.other_syscalls.Args": { @@ -5312,7 +6122,7 @@ "decorators": [ "external" ], - "pc": 1474, + "pc": 1752, "type": "function" }, "__main__.recurse.Args": { @@ -5344,7 +6154,7 @@ "decorators": [ "external" ], - "pc": 1445, + "pc": 1723, "type": "function" }, "__main__.recursive_fail.Args": { @@ -5376,7 +6186,7 @@ "decorators": [ "external" ], - "pc": 1499, + "pc": 1777, "type": "function" }, "__main__.recursive_syscall.Args": { @@ -5425,7 +6235,7 @@ "decorators": [ "external" ], - "pc": 564, + "pc": 684, "type": "function" }, "__main__.return_result.Args": { @@ -5457,7 +6267,7 @@ "decorators": [ "external" ], - "pc": 2099, + "pc": 2377, "type": "function" }, "__main__.send_message.Args": { @@ -5494,11 +6304,52 @@ "destination": "starkware.starknet.common.messages.send_message_to_l1", "type": "alias" }, + "__main__.set_value": { + "decorators": [ + "external" + ], + "pc": 1078, + "type": "function" + }, + "__main__.set_value.Args": { + "full_name": "__main__.set_value.Args", + "members": { + "address": { + "cairo_type": "felt", + "offset": 0 + }, + "value": { + "cairo_type": "felt", + "offset": 1 + } + }, + "size": 2, + "type": "struct" + }, + "__main__.set_value.ImplicitArgs": { + "full_name": "__main__.set_value.ImplicitArgs", + "members": { + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "__main__.set_value.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.set_value.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, "__main__.sqrt": { "decorators": [ "external" ], - "pc": 675, + "pc": 877, "type": "function" }, "__main__.sqrt.Args": { @@ -5537,10 +6388,10 @@ "references": [ { "ap_tracking_data": { - "group": 61, + "group": 76, "offset": 1 }, - "pc": 677, + "pc": 879, "value": "[cast(fp, felt*)]" } ], @@ -5552,29 +6403,65 @@ "references": [ { "ap_tracking_data": { - "group": 61, + "group": 76, "offset": 0 }, - "pc": 675, + "pc": 877, "value": "[cast(fp + (-3), felt*)]" } ], "type": "reference" }, - "__main__.storage_read": { - "destination": "starkware.starknet.common.syscalls.storage_read", - "type": "alias" + "__main__.storage_read": { + "destination": "starkware.starknet.common.syscalls.storage_read", + "type": "alias" + }, + "__main__.storage_write": { + "destination": "starkware.starknet.common.syscalls.storage_write", + "type": "alias" + }, + "__main__.test_builtins": { + "decorators": [ + "external" + ], + "pc": 639, + "type": "function" + }, + "__main__.test_builtins.Args": { + "full_name": "__main__.test_builtins.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__main__.test_builtins.ImplicitArgs": { + "full_name": "__main__.test_builtins.ImplicitArgs", + "members": { + "pedersen_ptr": { + "cairo_type": "starkware.cairo.common.cairo_builtins.HashBuiltin*", + "offset": 0 + }, + "range_check_ptr": { + "cairo_type": "felt", + "offset": 1 + } + }, + "size": 2, + "type": "struct" + }, + "__main__.test_builtins.Return": { + "cairo_type": "(result: felt)", + "type": "type_definition" }, - "__main__.storage_write": { - "destination": "starkware.starknet.common.syscalls.storage_write", - "type": "alias" + "__main__.test_builtins.SIZEOF_LOCALS": { + "type": "const", + "value": 0 }, "__main__.test_call_contract": { "decorators": [ "external", "raw_output" ], - "pc": 954, + "pc": 1232, "type": "function" }, "__main__.test_call_contract.Args": { @@ -5623,7 +6510,7 @@ "decorators": [ "external" ], - "pc": 1105, + "pc": 1383, "type": "function" }, "__main__.test_call_contract_fail_with_attr_error_msg.Args": { @@ -5665,7 +6552,7 @@ "external", "raw_output" ], - "pc": 1030, + "pc": 1308, "type": "function" }, "__main__.test_call_two_contracts.Args": { @@ -5730,7 +6617,7 @@ "decorators": [ "external" ], - "pc": 1246, + "pc": 1524, "type": "function" }, "__main__.test_contract_address.Args": { @@ -5787,7 +6674,7 @@ "decorators": [ "external" ], - "pc": 1773, + "pc": 2051, "type": "function" }, "__main__.test_count_actual_storage_changes.Args": { @@ -5827,7 +6714,7 @@ "decorators": [ "external" ], - "pc": 1159, + "pc": 1437, "type": "function" }, "__main__.test_deploy.Args": { @@ -5880,7 +6767,7 @@ "decorators": [ "external" ], - "pc": 2016, + "pc": 2294, "type": "function" }, "__main__.test_ec_op.Args": { @@ -5924,7 +6811,7 @@ "decorators": [ "external" ], - "pc": 2157, + "pc": 2483, "type": "function" }, "__main__.test_emit_events.Args": { @@ -5985,7 +6872,7 @@ "decorators": [ "external" ], - "pc": 1616, + "pc": 1894, "type": "function" }, "__main__.test_get_block_number.Args": { @@ -6022,7 +6909,7 @@ "decorators": [ "external" ], - "pc": 1640, + "pc": 1918, "type": "function" }, "__main__.test_get_block_timestamp.Args": { @@ -6055,11 +6942,85 @@ "type": "const", "value": 0 }, + "__main__.test_get_caller_address": { + "decorators": [ + "external" + ], + "pc": 2411, + "type": "function" + }, + "__main__.test_get_caller_address.Args": { + "full_name": "__main__.test_get_caller_address.Args", + "members": { + "expected_address": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "__main__.test_get_caller_address.ImplicitArgs": { + "full_name": "__main__.test_get_caller_address.ImplicitArgs", + "members": { + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "__main__.test_get_caller_address.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.test_get_caller_address.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__main__.test_get_contract_address": { + "decorators": [ + "external" + ], + "pc": 2435, + "type": "function" + }, + "__main__.test_get_contract_address.Args": { + "full_name": "__main__.test_get_contract_address.Args", + "members": { + "expected_address": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "__main__.test_get_contract_address.ImplicitArgs": { + "full_name": "__main__.test_get_contract_address.ImplicitArgs", + "members": { + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "__main__.test_get_contract_address.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.test_get_contract_address.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, "__main__.test_get_sequencer_address": { "decorators": [ "external" ], - "pc": 1664, + "pc": 1942, "type": "function" }, "__main__.test_get_sequencer_address.Args": { @@ -6096,7 +7057,7 @@ "decorators": [ "external" ], - "pc": 1688, + "pc": 1966, "type": "function" }, "__main__.test_get_tx_info.Args": { @@ -6158,7 +7119,7 @@ "external", "raw_output" ], - "pc": 842, + "pc": 1044, "type": "function" }, "__main__.test_library_call.Args": { @@ -6203,11 +7164,109 @@ "type": "const", "value": 0 }, + "__main__.test_library_call_l1_handler": { + "decorators": [ + "external" + ], + "pc": 808, + "type": "function" + }, + "__main__.test_library_call_l1_handler.Args": { + "full_name": "__main__.test_library_call_l1_handler.Args", + "members": { + "calldata": { + "cairo_type": "felt*", + "offset": 3 + }, + "calldata_len": { + "cairo_type": "felt", + "offset": 2 + }, + "class_hash": { + "cairo_type": "felt", + "offset": 0 + }, + "selector": { + "cairo_type": "felt", + "offset": 1 + } + }, + "size": 4, + "type": "struct" + }, + "__main__.test_library_call_l1_handler.ImplicitArgs": { + "full_name": "__main__.test_library_call_l1_handler.ImplicitArgs", + "members": { + "pedersen_ptr": { + "cairo_type": "starkware.cairo.common.cairo_builtins.HashBuiltin*", + "offset": 1 + }, + "range_check_ptr": { + "cairo_type": "felt", + "offset": 2 + }, + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 3, + "type": "struct" + }, + "__main__.test_library_call_l1_handler.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.test_library_call_l1_handler.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__main__.test_library_call_syntactic_sugar": { + "decorators": [ + "external" + ], + "pc": 1103, + "type": "function" + }, + "__main__.test_library_call_syntactic_sugar.Args": { + "full_name": "__main__.test_library_call_syntactic_sugar.Args", + "members": { + "class_hash": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "__main__.test_library_call_syntactic_sugar.ImplicitArgs": { + "full_name": "__main__.test_library_call_syntactic_sugar.ImplicitArgs", + "members": { + "range_check_ptr": { + "cairo_type": "felt", + "offset": 1 + }, + "syscall_ptr": { + "cairo_type": "felt*", + "offset": 0 + } + }, + "size": 2, + "type": "struct" + }, + "__main__.test_library_call_syntactic_sugar.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "__main__.test_library_call_syntactic_sugar.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, "__main__.test_long_retdata": { "decorators": [ "external" ], - "pc": 804, + "pc": 1006, "type": "function" }, "__main__.test_long_retdata.Args": { @@ -6234,7 +7293,7 @@ "decorators": [ "external" ], - "pc": 876, + "pc": 1154, "type": "function" }, "__main__.test_nested_library_call.Args": { @@ -6287,7 +7346,7 @@ "decorators": [ "external" ], - "pc": 1136, + "pc": 1414, "type": "function" }, "__main__.test_replace_class.Args": { @@ -6324,7 +7383,7 @@ "decorators": [ "external" ], - "pc": 699, + "pc": 901, "type": "function" }, "__main__.test_storage_read_write.Args": { @@ -6365,7 +7424,7 @@ "decorators": [ "external" ], - "pc": 1210, + "pc": 1488, "type": "function" }, "__main__.test_storage_var.Args": { @@ -6405,7 +7464,7 @@ "decorators": [ "external" ], - "pc": 1749, + "pc": 2027, "type": "function" }, "__main__.test_tx_version.Args": { @@ -6442,7 +7501,7 @@ "decorators": [ "external" ], - "pc": 1544, + "pc": 1822, "type": "function" }, "__main__.test_write_and_transfer.Args": { @@ -6520,7 +7579,7 @@ }, "__main__.two_counters.addr": { "decorators": [], - "pc": 1825, + "pc": 2103, "type": "function" }, "__main__.two_counters.addr.Args": { @@ -6567,7 +7626,7 @@ }, "__main__.two_counters.read": { "decorators": [], - "pc": 1839, + "pc": 2117, "type": "function" }, "__main__.two_counters.read.Args": { @@ -6618,7 +7677,7 @@ }, "__main__.two_counters.write": { "decorators": [], - "pc": 1859, + "pc": 2137, "type": "function" }, "__main__.two_counters.write.Args": { @@ -6667,7 +7726,7 @@ "decorators": [ "external" ], - "pc": 544, + "pc": 582, "type": "function" }, "__main__.with_arg.Args": { @@ -6699,7 +7758,7 @@ "decorators": [ "external" ], - "pc": 529, + "pc": 567, "type": "function" }, "__main__.without_arg.Args": { @@ -6726,7 +7785,7 @@ "decorators": [ "external" ], - "pc": 736, + "pc": 938, "type": "function" }, "__main__.write_a_lot.Args": { @@ -6767,7 +7826,7 @@ "decorators": [ "external" ], - "pc": 774, + "pc": 976, "type": "function" }, "__main__.write_and_revert.Args": { @@ -6808,7 +7867,7 @@ "decorators": [ "external" ], - "pc": 1936, + "pc": 2214, "type": "function" }, "__main__.xor_counters.Args": { @@ -6857,7 +7916,7 @@ "decorators": [ "external" ], - "pc": 2079, + "pc": 2357, "type": "function" }, "__wrappers__.add_signature_to_counters.Args": { @@ -6892,7 +7951,7 @@ "decorators": [ "external" ], - "pc": 1914, + "pc": 2192, "type": "function" }, "__wrappers__.advance_counter.Args": { @@ -6927,7 +7986,7 @@ "decorators": [ "external" ], - "pc": 656, + "pc": 858, "type": "function" }, "__wrappers__.bitwise_and.Args": { @@ -6962,7 +8021,7 @@ "decorators": [ "external" ], - "pc": 1000, + "pc": 1278, "type": "function" }, "__wrappers__.call_execute_directly.Args": { @@ -6997,7 +8056,7 @@ "decorators": [ "external" ], - "pc": 1994, + "pc": 2272, "type": "function" }, "__wrappers__.call_xor_counters.Args": { @@ -7032,7 +8091,7 @@ "decorators": [ "constructor" ], - "pc": 510, + "pc": 548, "type": "function" }, "__wrappers__.constructor.Args": { @@ -7063,11 +8122,81 @@ "destination": "starkware.cairo.common.memcpy.memcpy", "type": "alias" }, + "__wrappers__.deposit": { + "decorators": [ + "l1_handler" + ], + "pc": 787, + "type": "function" + }, + "__wrappers__.deposit.Args": { + "full_name": "__wrappers__.deposit.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.deposit.ImplicitArgs": { + "full_name": "__wrappers__.deposit.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.deposit.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: starkware.cairo.common.cairo_builtins.HashBuiltin*, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.deposit.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.deposit.__wrapped_func": { + "destination": "__main__.deposit", + "type": "alias" + }, + "__wrappers__.deposit_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, + "__wrappers__.entry_point": { + "decorators": [ + "external" + ], + "pc": 623, + "type": "function" + }, + "__wrappers__.entry_point.Args": { + "full_name": "__wrappers__.entry_point.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.entry_point.ImplicitArgs": { + "full_name": "__wrappers__.entry_point.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.entry_point.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: starkware.cairo.common.cairo_builtins.HashBuiltin*, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.entry_point.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.entry_point.__wrapped_func": { + "destination": "__main__.entry_point", + "type": "alias" + }, + "__wrappers__.entry_point_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, "__wrappers__.fail": { "decorators": [ "external" ], - "pc": 1431, + "pc": 1709, "type": "function" }, "__wrappers__.fail.Args": { @@ -7102,7 +8231,7 @@ "decorators": [ "external" ], - "pc": 1299, + "pc": 1577, "type": "function" }, "__wrappers__.foo.Args": { @@ -7137,7 +8266,7 @@ "decorators": [ "external" ], - "pc": 1398, + "pc": 1676, "type": "function" }, "__wrappers__.invoke_call_chain.Args": { @@ -7166,7 +8295,7 @@ }, "__wrappers__.invoke_call_chain_encode_return": { "decorators": [], - "pc": 1389, + "pc": 1667, "type": "function" }, "__wrappers__.invoke_call_chain_encode_return.Args": { @@ -7206,7 +8335,7 @@ "decorators": [ "l1_handler" ], - "pc": 628, + "pc": 748, "type": "function" }, "__wrappers__.l1_handler_set_value_and_revert.Args": { @@ -7241,7 +8370,7 @@ "decorators": [ "external" ], - "pc": 1482, + "pc": 1760, "type": "function" }, "__wrappers__.recurse.Args": { @@ -7276,7 +8405,7 @@ "decorators": [ "external" ], - "pc": 1457, + "pc": 1735, "type": "function" }, "__wrappers__.recursive_fail.Args": { @@ -7311,7 +8440,7 @@ "decorators": [ "external" ], - "pc": 1524, + "pc": 1802, "type": "function" }, "__wrappers__.recursive_syscall.Args": { @@ -7346,7 +8475,7 @@ "decorators": [ "external" ], - "pc": 575, + "pc": 695, "type": "function" }, "__wrappers__.return_result.Args": { @@ -7375,7 +8504,7 @@ }, "__wrappers__.return_result_encode_return": { "decorators": [], - "pc": 566, + "pc": 686, "type": "function" }, "__wrappers__.return_result_encode_return.Args": { @@ -7415,7 +8544,7 @@ "decorators": [ "external" ], - "pc": 2115, + "pc": 2393, "type": "function" }, "__wrappers__.send_message.Args": { @@ -7442,42 +8571,146 @@ "destination": "__main__.send_message", "type": "alias" }, - "__wrappers__.send_message_encode_return.memcpy": { + "__wrappers__.send_message_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, + "__wrappers__.set_value": { + "decorators": [ + "external" + ], + "pc": 1084, + "type": "function" + }, + "__wrappers__.set_value.Args": { + "full_name": "__wrappers__.set_value.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.set_value.ImplicitArgs": { + "full_name": "__wrappers__.set_value.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.set_value.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: felt, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.set_value.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.set_value.__wrapped_func": { + "destination": "__main__.set_value", + "type": "alias" + }, + "__wrappers__.set_value_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, + "__wrappers__.sqrt": { + "decorators": [ + "external" + ], + "pc": 883, + "type": "function" + }, + "__wrappers__.sqrt.Args": { + "full_name": "__wrappers__.sqrt.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.sqrt.ImplicitArgs": { + "full_name": "__wrappers__.sqrt.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.sqrt.Return": { + "cairo_type": "(syscall_ptr: felt, pedersen_ptr: felt, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.sqrt.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.sqrt.__wrapped_func": { + "destination": "__main__.sqrt", + "type": "alias" + }, + "__wrappers__.sqrt_encode_return.memcpy": { "destination": "starkware.cairo.common.memcpy.memcpy", "type": "alias" }, - "__wrappers__.sqrt": { + "__wrappers__.test_builtins": { "decorators": [ "external" ], - "pc": 681, + "pc": 668, "type": "function" }, - "__wrappers__.sqrt.Args": { - "full_name": "__wrappers__.sqrt.Args", + "__wrappers__.test_builtins.Args": { + "full_name": "__wrappers__.test_builtins.Args", "members": {}, "size": 0, "type": "struct" }, - "__wrappers__.sqrt.ImplicitArgs": { - "full_name": "__wrappers__.sqrt.ImplicitArgs", + "__wrappers__.test_builtins.ImplicitArgs": { + "full_name": "__wrappers__.test_builtins.ImplicitArgs", "members": {}, "size": 0, "type": "struct" }, - "__wrappers__.sqrt.Return": { - "cairo_type": "(syscall_ptr: felt, pedersen_ptr: felt, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "__wrappers__.test_builtins.Return": { + "cairo_type": "(syscall_ptr: felt, pedersen_ptr: starkware.cairo.common.cairo_builtins.HashBuiltin*, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", "type": "type_definition" }, - "__wrappers__.sqrt.SIZEOF_LOCALS": { + "__wrappers__.test_builtins.SIZEOF_LOCALS": { "type": "const", "value": 0 }, - "__wrappers__.sqrt.__wrapped_func": { - "destination": "__main__.sqrt", + "__wrappers__.test_builtins.__wrapped_func": { + "destination": "__main__.test_builtins", "type": "alias" }, - "__wrappers__.sqrt_encode_return.memcpy": { + "__wrappers__.test_builtins_encode_return": { + "decorators": [], + "pc": 659, + "type": "function" + }, + "__wrappers__.test_builtins_encode_return.Args": { + "full_name": "__wrappers__.test_builtins_encode_return.Args", + "members": { + "range_check_ptr": { + "cairo_type": "felt", + "offset": 1 + }, + "ret_value": { + "cairo_type": "(result: felt)", + "offset": 0 + } + }, + "size": 2, + "type": "struct" + }, + "__wrappers__.test_builtins_encode_return.ImplicitArgs": { + "full_name": "__wrappers__.test_builtins_encode_return.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_builtins_encode_return.Return": { + "cairo_type": "(range_check_ptr: felt, data_len: felt, data: felt*)", + "type": "type_definition" + }, + "__wrappers__.test_builtins_encode_return.SIZEOF_LOCALS": { + "type": "const", + "value": 1 + }, + "__wrappers__.test_builtins_encode_return.memcpy": { "destination": "starkware.cairo.common.memcpy.memcpy", "type": "alias" }, @@ -7486,7 +8719,7 @@ "external", "raw_output" ], - "pc": 962, + "pc": 1240, "type": "function" }, "__wrappers__.test_call_contract.Args": { @@ -7521,7 +8754,7 @@ "decorators": [ "external" ], - "pc": 1117, + "pc": 1395, "type": "function" }, "__wrappers__.test_call_contract_fail_with_attr_error_msg.Args": { @@ -7557,7 +8790,7 @@ "external", "raw_output" ], - "pc": 1067, + "pc": 1345, "type": "function" }, "__wrappers__.test_call_two_contracts.Args": { @@ -7592,7 +8825,7 @@ "decorators": [ "external" ], - "pc": 1265, + "pc": 1543, "type": "function" }, "__wrappers__.test_contract_address.Args": { @@ -7621,7 +8854,7 @@ }, "__wrappers__.test_contract_address_encode_return": { "decorators": [], - "pc": 1256, + "pc": 1534, "type": "function" }, "__wrappers__.test_contract_address_encode_return.Args": { @@ -7661,7 +8894,7 @@ "decorators": [ "external" ], - "pc": 1788, + "pc": 2066, "type": "function" }, "__wrappers__.test_count_actual_storage_changes.Args": { @@ -7696,7 +8929,7 @@ "decorators": [ "external" ], - "pc": 1177, + "pc": 1455, "type": "function" }, "__wrappers__.test_deploy.Args": { @@ -7725,7 +8958,7 @@ }, "__wrappers__.test_deploy_encode_return": { "decorators": [], - "pc": 1168, + "pc": 1446, "type": "function" }, "__wrappers__.test_deploy_encode_return.Args": { @@ -7765,7 +8998,7 @@ "decorators": [ "external" ], - "pc": 2038, + "pc": 2316, "type": "function" }, "__wrappers__.test_ec_op.Args": { @@ -7800,7 +9033,7 @@ "decorators": [ "external" ], - "pc": 2168, + "pc": 2494, "type": "function" }, "__wrappers__.test_emit_events.Args": { @@ -7835,7 +9068,7 @@ "decorators": [ "external" ], - "pc": 1622, + "pc": 1900, "type": "function" }, "__wrappers__.test_get_block_number.Args": { @@ -7870,7 +9103,7 @@ "decorators": [ "external" ], - "pc": 1646, + "pc": 1924, "type": "function" }, "__wrappers__.test_get_block_timestamp.Args": { @@ -7901,11 +9134,81 @@ "destination": "starkware.cairo.common.memcpy.memcpy", "type": "alias" }, + "__wrappers__.test_get_caller_address": { + "decorators": [ + "external" + ], + "pc": 2417, + "type": "function" + }, + "__wrappers__.test_get_caller_address.Args": { + "full_name": "__wrappers__.test_get_caller_address.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_get_caller_address.ImplicitArgs": { + "full_name": "__wrappers__.test_get_caller_address.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_get_caller_address.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: felt, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.test_get_caller_address.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.test_get_caller_address.__wrapped_func": { + "destination": "__main__.test_get_caller_address", + "type": "alias" + }, + "__wrappers__.test_get_caller_address_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, + "__wrappers__.test_get_contract_address": { + "decorators": [ + "external" + ], + "pc": 2441, + "type": "function" + }, + "__wrappers__.test_get_contract_address.Args": { + "full_name": "__wrappers__.test_get_contract_address.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_get_contract_address.ImplicitArgs": { + "full_name": "__wrappers__.test_get_contract_address.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_get_contract_address.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: felt, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.test_get_contract_address.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.test_get_contract_address.__wrapped_func": { + "destination": "__main__.test_get_contract_address", + "type": "alias" + }, + "__wrappers__.test_get_contract_address_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, "__wrappers__.test_get_sequencer_address": { "decorators": [ "external" ], - "pc": 1670, + "pc": 1948, "type": "function" }, "__wrappers__.test_get_sequencer_address.Args": { @@ -7940,7 +9243,7 @@ "decorators": [ "external" ], - "pc": 1725, + "pc": 2003, "type": "function" }, "__wrappers__.test_get_tx_info.Args": { @@ -7976,7 +9279,7 @@ "external", "raw_output" ], - "pc": 850, + "pc": 1052, "type": "function" }, "__wrappers__.test_library_call.Args": { @@ -8007,11 +9310,81 @@ "destination": "starkware.cairo.common.memcpy.memcpy", "type": "alias" }, + "__wrappers__.test_library_call_l1_handler": { + "decorators": [ + "external" + ], + "pc": 819, + "type": "function" + }, + "__wrappers__.test_library_call_l1_handler.Args": { + "full_name": "__wrappers__.test_library_call_l1_handler.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_library_call_l1_handler.ImplicitArgs": { + "full_name": "__wrappers__.test_library_call_l1_handler.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_library_call_l1_handler.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: starkware.cairo.common.cairo_builtins.HashBuiltin*, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.test_library_call_l1_handler.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.test_library_call_l1_handler.__wrapped_func": { + "destination": "__main__.test_library_call_l1_handler", + "type": "alias" + }, + "__wrappers__.test_library_call_l1_handler_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, + "__wrappers__.test_library_call_syntactic_sugar": { + "decorators": [ + "external" + ], + "pc": 1135, + "type": "function" + }, + "__wrappers__.test_library_call_syntactic_sugar.Args": { + "full_name": "__wrappers__.test_library_call_syntactic_sugar.Args", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_library_call_syntactic_sugar.ImplicitArgs": { + "full_name": "__wrappers__.test_library_call_syntactic_sugar.ImplicitArgs", + "members": {}, + "size": 0, + "type": "struct" + }, + "__wrappers__.test_library_call_syntactic_sugar.Return": { + "cairo_type": "(syscall_ptr: felt*, pedersen_ptr: felt, range_check_ptr: felt, bitwise_ptr: felt, ec_op_ptr: felt, size: felt, retdata: felt*)", + "type": "type_definition" + }, + "__wrappers__.test_library_call_syntactic_sugar.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "__wrappers__.test_library_call_syntactic_sugar.__wrapped_func": { + "destination": "__main__.test_library_call_syntactic_sugar", + "type": "alias" + }, + "__wrappers__.test_library_call_syntactic_sugar_encode_return.memcpy": { + "destination": "starkware.cairo.common.memcpy.memcpy", + "type": "alias" + }, "__wrappers__.test_long_retdata": { "decorators": [ "external" ], - "pc": 828, + "pc": 1030, "type": "function" }, "__wrappers__.test_long_retdata.Args": { @@ -8040,7 +9413,7 @@ }, "__wrappers__.test_long_retdata_encode_return": { "decorators": [], - "pc": 815, + "pc": 1017, "type": "function" }, "__wrappers__.test_long_retdata_encode_return.Args": { @@ -8080,7 +9453,7 @@ "decorators": [ "external" ], - "pc": 923, + "pc": 1201, "type": "function" }, "__wrappers__.test_nested_library_call.Args": { @@ -8109,7 +9482,7 @@ }, "__wrappers__.test_nested_library_call_encode_return": { "decorators": [], - "pc": 914, + "pc": 1192, "type": "function" }, "__wrappers__.test_nested_library_call_encode_return.Args": { @@ -8149,7 +9522,7 @@ "decorators": [ "external" ], - "pc": 1141, + "pc": 1419, "type": "function" }, "__wrappers__.test_replace_class.Args": { @@ -8184,7 +9557,7 @@ "decorators": [ "external" ], - "pc": 717, + "pc": 919, "type": "function" }, "__wrappers__.test_storage_read_write.Args": { @@ -8213,7 +9586,7 @@ }, "__wrappers__.test_storage_read_write_encode_return": { "decorators": [], - "pc": 708, + "pc": 910, "type": "function" }, "__wrappers__.test_storage_read_write_encode_return.Args": { @@ -8253,7 +9626,7 @@ "decorators": [ "external" ], - "pc": 1229, + "pc": 1507, "type": "function" }, "__wrappers__.test_storage_var.Args": { @@ -8288,7 +9661,7 @@ "decorators": [ "external" ], - "pc": 1755, + "pc": 2033, "type": "function" }, "__wrappers__.test_tx_version.Args": { @@ -8323,7 +9696,7 @@ "decorators": [ "external" ], - "pc": 1591, + "pc": 1869, "type": "function" }, "__wrappers__.test_write_and_transfer.Args": { @@ -8352,7 +9725,7 @@ }, "__wrappers__.test_write_and_transfer_encode_return": { "decorators": [], - "pc": 1572, + "pc": 1850, "type": "function" }, "__wrappers__.test_write_and_transfer_encode_return.Args": { @@ -8392,7 +9765,7 @@ "decorators": [ "external" ], - "pc": 547, + "pc": 585, "type": "function" }, "__wrappers__.with_arg.Args": { @@ -8427,7 +9800,7 @@ "decorators": [ "external" ], - "pc": 530, + "pc": 568, "type": "function" }, "__wrappers__.without_arg.Args": { @@ -8462,7 +9835,7 @@ "decorators": [ "external" ], - "pc": 755, + "pc": 957, "type": "function" }, "__wrappers__.write_a_lot.Args": { @@ -8497,7 +9870,7 @@ "decorators": [ "external" ], - "pc": 785, + "pc": 987, "type": "function" }, "__wrappers__.write_and_revert.Args": { @@ -8532,7 +9905,7 @@ "decorators": [ "external" ], - "pc": 1962, + "pc": 2240, "type": "function" }, "__wrappers__.xor_counters.Args": { @@ -8598,7 +9971,7 @@ }, "starkware.cairo.common.bitwise.bitwise_xor": { "decorators": [], - "pc": 214, + "pc": 232, "type": "function" }, "starkware.cairo.common.bitwise.bitwise_xor.Args": { @@ -8887,7 +10260,7 @@ }, "starkware.cairo.common.ec.assert_on_curve": { "decorators": [], - "pc": 220, + "pc": 238, "type": "function" }, "starkware.cairo.common.ec.assert_on_curve.Args": { @@ -8917,7 +10290,7 @@ }, "starkware.cairo.common.ec.ec_add": { "decorators": [], - "pc": 256, + "pc": 274, "type": "function" }, "starkware.cairo.common.ec.ec_add.Args": { @@ -8951,7 +10324,7 @@ }, "starkware.cairo.common.ec.ec_double": { "decorators": [], - "pc": 233, + "pc": 251, "type": "function" }, "starkware.cairo.common.ec.ec_double.Args": { @@ -8981,7 +10354,7 @@ }, "starkware.cairo.common.ec.ec_op": { "decorators": [], - "pc": 293, + "pc": 311, "type": "function" }, "starkware.cairo.common.ec.ec_op.Args": { @@ -9028,10 +10401,10 @@ "references": [ { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 0 }, - "pc": 293, + "pc": 311, "value": "[cast(fp + (-5), felt*)]" } ], @@ -9043,10 +10416,10 @@ "references": [ { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 0 }, - "pc": 293, + "pc": 311, "value": "[cast(fp + (-7), starkware.cairo.common.ec_point.EcPoint*)]" } ], @@ -9058,10 +10431,10 @@ "references": [ { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 0 }, - "pc": 293, + "pc": 311, "value": "[cast(fp + (-4), starkware.cairo.common.ec_point.EcPoint*)]" } ], @@ -9073,10 +10446,10 @@ "references": [ { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 2 }, - "pc": 301, + "pc": 319, "value": "[cast(fp, starkware.cairo.common.ec_point.EcPoint*)]" } ], @@ -9173,7 +10546,7 @@ }, "starkware.cairo.common.hash_state.hash_felts": { "decorators": [], - "pc": 421, + "pc": 439, "type": "function" }, "starkware.cairo.common.hash_state.hash_felts.Args": { @@ -9212,7 +10585,7 @@ }, "starkware.cairo.common.hash_state.hash_felts_no_padding": { "decorators": [], - "pc": 396, + "pc": 414, "type": "function" }, "starkware.cairo.common.hash_state.hash_felts_no_padding.Args": { @@ -9273,12 +10646,12 @@ "value": 1 }, "starkware.cairo.common.hash_state.hash_felts_no_padding.hash_loop": { - "pc": 409, + "pc": 427, "type": "label" }, "starkware.cairo.common.hash_state.hash_finalize": { "decorators": [], - "pc": 390, + "pc": 408, "type": "function" }, "starkware.cairo.common.hash_state.hash_finalize.Args": { @@ -9313,7 +10686,7 @@ }, "starkware.cairo.common.hash_state.hash_init": { "decorators": [], - "pc": 337, + "pc": 355, "type": "function" }, "starkware.cairo.common.hash_state.hash_init.Args": { @@ -9338,7 +10711,7 @@ }, "starkware.cairo.common.hash_state.hash_update": { "decorators": [], - "pc": 347, + "pc": 365, "type": "function" }, "starkware.cairo.common.hash_state.hash_update.Args": { @@ -9381,7 +10754,7 @@ }, "starkware.cairo.common.hash_state.hash_update_single": { "decorators": [], - "pc": 363, + "pc": 381, "type": "function" }, "starkware.cairo.common.hash_state.hash_update_single.Args": { @@ -9420,7 +10793,7 @@ }, "starkware.cairo.common.hash_state.hash_update_with_hashchain": { "decorators": [], - "pc": 379, + "pc": 397, "type": "function" }, "starkware.cairo.common.hash_state.hash_update_with_hashchain.Args": { @@ -9512,7 +10885,7 @@ "decorators": [ "known_ap_change" ], - "pc": 161, + "pc": 179, "type": "function" }, "starkware.cairo.common.math.assert_250_bit.Args": { @@ -9563,10 +10936,10 @@ "references": [ { "ap_tracking_data": { - "group": 20, + "group": 23, "offset": 0 }, - "pc": 161, + "pc": 179, "value": "[cast([fp + (-4)] + 1, felt*)]" } ], @@ -9578,10 +10951,10 @@ "references": [ { "ap_tracking_data": { - "group": 20, + "group": 23, "offset": 0 }, - "pc": 161, + "pc": 179, "value": "[cast([fp + (-4)], felt*)]" } ], @@ -9590,6 +10963,95 @@ "starkware.cairo.common.math.assert_250_bit.value": { "cairo_type": "felt", "full_name": "starkware.cairo.common.math.assert_250_bit.value", + "references": [ + { + "ap_tracking_data": { + "group": 23, + "offset": 0 + }, + "pc": 179, + "value": "[cast(fp + (-3), felt*)]" + } + ], + "type": "reference" + }, + "starkware.cairo.common.math.assert_le": { + "decorators": [], + "pc": 165, + "type": "function" + }, + "starkware.cairo.common.math.assert_le.Args": { + "full_name": "starkware.cairo.common.math.assert_le.Args", + "members": { + "a": { + "cairo_type": "felt", + "offset": 0 + }, + "b": { + "cairo_type": "felt", + "offset": 1 + } + }, + "size": 2, + "type": "struct" + }, + "starkware.cairo.common.math.assert_le.ImplicitArgs": { + "full_name": "starkware.cairo.common.math.assert_le.ImplicitArgs", + "members": { + "range_check_ptr": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "starkware.cairo.common.math.assert_le.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "starkware.cairo.common.math.assert_le.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "starkware.cairo.common.math.assert_nn": { + "decorators": [], + "pc": 161, + "type": "function" + }, + "starkware.cairo.common.math.assert_nn.Args": { + "full_name": "starkware.cairo.common.math.assert_nn.Args", + "members": { + "a": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "starkware.cairo.common.math.assert_nn.ImplicitArgs": { + "full_name": "starkware.cairo.common.math.assert_nn.ImplicitArgs", + "members": { + "range_check_ptr": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "starkware.cairo.common.math.assert_nn.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "starkware.cairo.common.math.assert_nn.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, + "starkware.cairo.common.math.assert_nn.a": { + "cairo_type": "felt", + "full_name": "starkware.cairo.common.math.assert_nn.a", "references": [ { "ap_tracking_data": { @@ -9602,6 +11064,45 @@ ], "type": "reference" }, + "starkware.cairo.common.math.assert_nn_le": { + "decorators": [], + "pc": 170, + "type": "function" + }, + "starkware.cairo.common.math.assert_nn_le.Args": { + "full_name": "starkware.cairo.common.math.assert_nn_le.Args", + "members": { + "a": { + "cairo_type": "felt", + "offset": 0 + }, + "b": { + "cairo_type": "felt", + "offset": 1 + } + }, + "size": 2, + "type": "struct" + }, + "starkware.cairo.common.math.assert_nn_le.ImplicitArgs": { + "full_name": "starkware.cairo.common.math.assert_nn_le.ImplicitArgs", + "members": { + "range_check_ptr": { + "cairo_type": "felt", + "offset": 0 + } + }, + "size": 1, + "type": "struct" + }, + "starkware.cairo.common.math.assert_nn_le.Return": { + "cairo_type": "()", + "type": "type_definition" + }, + "starkware.cairo.common.math.assert_nn_le.SIZEOF_LOCALS": { + "type": "const", + "value": 0 + }, "starkware.cairo.common.memcpy.memcpy": { "decorators": [], "pc": 9, @@ -9778,7 +11279,7 @@ }, "starkware.starknet.common.messages.send_message_to_l1": { "decorators": [], - "pc": 328, + "pc": 346, "type": "function" }, "starkware.starknet.common.messages.send_message_to_l1.Args": { @@ -9825,18 +11326,18 @@ "references": [ { "ap_tracking_data": { - "group": 31, + "group": 34, "offset": 0 }, - "pc": 328, + "pc": 346, "value": "[cast(fp + (-6), felt**)]" }, { "ap_tracking_data": { - "group": 31, + "group": 34, "offset": 1 }, - "pc": 334, + "pc": 352, "value": "cast([fp + (-6)] + 4, felt*)" } ], @@ -9858,7 +11359,7 @@ "decorators": [ "known_ap_change" ], - "pc": 174, + "pc": 192, "type": "function" }, "starkware.starknet.common.storage.normalize_address.Args": { @@ -9897,10 +11398,10 @@ "references": [ { "ap_tracking_data": { - "group": 21, + "group": 24, "offset": 0 }, - "pc": 174, + "pc": 192, "value": "[cast(fp + (-3), felt*)]" } ], @@ -9912,10 +11413,10 @@ "references": [ { "ap_tracking_data": { - "group": 21, + "group": 24, "offset": 2 }, - "pc": 194, + "pc": 212, "value": "[cast(ap + (-1), felt*)]" } ], @@ -9927,10 +11428,10 @@ "references": [ { "ap_tracking_data": { - "group": 21, + "group": 24, "offset": 1 }, - "pc": 176, + "pc": 194, "value": "[cast(ap + (-1), felt*)]" } ], @@ -11516,7 +13017,7 @@ }, "starkware.starknet.core.os.contract_address.contract_address.get_contract_address": { "decorators": [], - "pc": 432, + "pc": 450, "type": "function" }, "starkware.starknet.core.os.contract_address.contract_address.get_contract_address.Args": { @@ -11744,98 +13245,106 @@ }, { "ap_tracking_data": { - "group": 20, + "group": 23, "offset": 0 }, - "pc": 161, + "pc": 179, + "value": "[cast(fp + (-3), felt*)]" + }, + { + "ap_tracking_data": { + "group": 23, + "offset": 0 + }, + "pc": 179, "value": "[cast([fp + (-4)], felt*)]" }, { "ap_tracking_data": { - "group": 20, + "group": 23, "offset": 0 }, - "pc": 161, + "pc": 179, "value": "[cast([fp + (-4)] + 1, felt*)]" }, { "ap_tracking_data": { - "group": 21, + "group": 24, "offset": 0 }, - "pc": 174, + "pc": 192, "value": "[cast(fp + (-3), felt*)]" }, { "ap_tracking_data": { - "group": 21, + "group": 24, "offset": 1 }, - "pc": 176, + "pc": 194, "value": "[cast(ap + (-1), felt*)]" }, { "ap_tracking_data": { - "group": 21, + "group": 24, "offset": 2 }, - "pc": 194, + "pc": 212, "value": "[cast(ap + (-1), felt*)]" }, { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 0 }, - "pc": 293, + "pc": 311, "value": "[cast(fp + (-7), starkware.cairo.common.ec_point.EcPoint*)]" }, { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 0 }, - "pc": 293, + "pc": 311, "value": "[cast(fp + (-5), felt*)]" }, { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 0 }, - "pc": 293, + "pc": 311, "value": "[cast(fp + (-4), starkware.cairo.common.ec_point.EcPoint*)]" }, { "ap_tracking_data": { - "group": 27, + "group": 30, "offset": 2 }, - "pc": 301, + "pc": 319, "value": "[cast(fp, starkware.cairo.common.ec_point.EcPoint*)]" }, { "ap_tracking_data": { - "group": 31, + "group": 34, "offset": 0 }, - "pc": 328, + "pc": 346, "value": "[cast(fp + (-6), felt**)]" }, { "ap_tracking_data": { - "group": 61, + "group": 76, "offset": 0 }, - "pc": 675, + "pc": 877, "value": "[cast(fp + (-3), felt*)]" }, { "ap_tracking_data": { - "group": 61, + "group": 76, "offset": 1 }, - "pc": 677, + "pc": 879, "value": "[cast(fp, felt*)]" } ] diff --git a/crates/blockifier_test_utils/resources/feature_contracts/cairo0/test_contract.cairo b/crates/blockifier_test_utils/resources/feature_contracts/cairo0/test_contract.cairo index b2b7d0c86e0..6e3d03e86a3 100644 --- a/crates/blockifier_test_utils/resources/feature_contracts/cairo0/test_contract.cairo +++ b/crates/blockifier_test_utils/resources/feature_contracts/cairo0/test_contract.cairo @@ -6,6 +6,8 @@ from starkware.cairo.common.bool import FALSE from starkware.cairo.common.cairo_builtins import BitwiseBuiltin, HashBuiltin, EcOpBuiltin from starkware.cairo.common.ec import ec_op from starkware.cairo.common.ec_point import EcPoint +from starkware.cairo.common.hash import hash2 +from starkware.cairo.common.math import assert_nn_le from starkware.cairo.common.memcpy import memcpy from starkware.cairo.common.registers import get_fp_and_pc from starkware.starknet.common.messages import send_message_to_l1 @@ -32,6 +34,12 @@ from starkware.starknet.core.os.contract_address.contract_address import get_con // selector_from_name('transferFrom'). const TRANSFER_FROM_SELECTOR = 0x0041b033f4a31df8067c24d1e9b550a2ce75fd4a29e1147af9752174f0e6cb20; +@contract_interface +namespace TestContract { + func set_value(address: felt, value: felt) { + } +} + @storage_var func number_map(key: felt) -> (value: felt) { } @@ -53,6 +61,26 @@ func with_arg(num: felt) { return (); } +@external +func entry_point{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*}() { + const address = 15; + + let (value) = storage_read(address=address); + storage_write(address=address, value=value + 1); + let (new_value) = storage_read(address=address); + + assert new_value = value + 1; + return (); +} + +@external +func test_builtins{pedersen_ptr: HashBuiltin*, range_check_ptr}() -> (result: felt) { + assert_nn_le(17, 85); + let (result) = hash2{hash_ptr=pedersen_ptr}(x=1, y=2); + assert result = 2592987851775965742543459319508348457290966253241455514226127639100457844774; + return (result=result); +} + @external func return_result(num: felt) -> (result: felt) { return (result=num); @@ -79,6 +107,28 @@ func l1_handler_set_value_and_revert{syscall_ptr: felt*}( return (); } +@l1_handler +func deposit{syscall_ptr: felt*, range_check_ptr, pedersen_ptr: HashBuiltin*}( + from_address: felt, amount: felt +) { + let (diffs: felt*) = alloc(); + assert (diffs[0], diffs[1]) = (amount, 0); + advance_counter(index=from_address, diff_0=amount, diff_1=0); + return (); +} + +@external +func test_library_call_l1_handler{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_check_ptr}( + class_hash: felt, selector: felt, calldata_len: felt, calldata: felt* +) { + library_call_l1_handler( + class_hash=class_hash, + function_selector=selector, + calldata_size=calldata_len, + calldata=calldata, + ); + return (); +} @external func bitwise_and{bitwise_ptr: BitwiseBuiltin*}(x: felt, y: felt) { @@ -152,6 +202,26 @@ func test_library_call{syscall_ptr: felt*}( return (retdata_size=retdata_size, retdata=retdata); } +@external +func set_value{syscall_ptr: felt*}(address: felt, value: felt) { + return storage_write(address=address, value=value); +} + +@external +func test_library_call_syntactic_sugar{syscall_ptr: felt*, range_check_ptr}(class_hash: felt) { + // Set value in this contract context. + set_value(address=444, value=555); + let (value) = storage_read(address=444); + assert value = 555; + + // Set value in this contract context using library call. + TestContract.library_call_set_value(class_hash=class_hash, address=444, value=666); + let (value) = storage_read(address=444); + assert value = 666; + + return (); +} + @external func test_nested_library_call{syscall_ptr: felt*}( class_hash: felt, lib_selector: felt, nested_selector: felt, calldata_len: felt, calldata: felt* @@ -577,6 +647,20 @@ func send_message{syscall_ptr: felt*}(to_address: felt) { return (); } +@external +func test_get_caller_address{syscall_ptr: felt*}(expected_address: felt) { + let (caller_address) = get_caller_address(); + assert caller_address = expected_address; + return (); +} + +@external +func test_get_contract_address{syscall_ptr: felt*}(expected_address: felt) { + let (contract_address) = get_contract_address_syscall(); + assert contract_address = expected_address; + return (); +} + func emit_event_recurse{syscall_ptr: felt*, pedersen_ptr: HashBuiltin*, range_check_ptr}( counter: felt, keys_len: felt, keys: felt*, data_len: felt, data: felt* ) {