From 969415f9fefeb38044994f9220d5c2005c693b56 Mon Sep 17 00:00:00 2001 From: Ilya Lesokhin Date: Sun, 20 Oct 2024 10:08:36 +0300 Subject: [PATCH] feat: support catching EntryPointNotFound --- .../cairo1/compiled/test_contract.casm.json | 1497 +++++++++-------- .../cairo1/test_contract.cairo | 8 +- .../src/execution/entry_point_test.rs | 15 +- .../src/execution/execution_utils.rs | 36 +- .../src/execution/syscalls/hint_processor.rs | 3 + .../syscalls/syscall_tests/call_contract.rs | 5 +- .../transaction/account_transactions_test.rs | 7 +- crates/papyrus_rpc/src/v0_8/execution_test.rs | 12 +- 8 files changed, 869 insertions(+), 714 deletions(-) diff --git a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json index 8ae97e8bc4..f63bb1f6ac 100644 --- a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json +++ b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json @@ -100,9 +100,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4d24", + "0x4d70", "0x482480017fff8000", - "0x4d23", + "0x4d6f", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -275,9 +275,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4c75", + "0x4cc1", "0x482480017fff8000", - "0x4c74", + "0x4cc0", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -588,9 +588,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4b3c", + "0x4b88", "0x482480017fff8000", - "0x4b3b", + "0x4b87", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1012,9 +1012,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4994", + "0x49e0", "0x482480017fff8000", - "0x4993", + "0x49df", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1353,21 +1353,21 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x483f", + "0x488b", "0x482480017fff8000", - "0x483e", + "0x488a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007fed", - "0x9e66", + "0x9c0e", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff77fff", "0x10780017fff7fff", "0x20", "0x4824800180007fed", - "0x9e66", + "0x9c0e", "0x400080007ff87fff", "0x482480017ff88000", "0x1", @@ -1655,9 +1655,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4711", + "0x475d", "0x482480017fff8000", - "0x4710", + "0x475c", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1683,7 +1683,7 @@ "0x480a80017fff8000", "0x480a80027fff8000", "0x1104800180018000", - "0x1725", + "0x171c", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -1861,9 +1861,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4643", + "0x468f", "0x482480017fff8000", - "0x4642", + "0x468e", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1978,7 +1978,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x1668", + "0x165f", "0x20680017fff7ffc", "0xf2", "0x48127ff97fff8000", @@ -1989,7 +1989,7 @@ "0x40137ffa7fff8001", "0x40137ffb7fff8002", "0x1104800180018000", - "0x172a", + "0x1721", "0x20680017fff7feb", "0xdf", "0x20680017fff7fee", @@ -2077,9 +2077,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x456b", + "0x45b7", "0x482480017fff8000", - "0x456a", + "0x45b6", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2121,7 +2121,7 @@ "0x48127fdb7fff8000", "0x48127fdf7fff8000", "0x1104800180018000", - "0x1b5b", + "0x1b52", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -2415,9 +2415,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4419", + "0x4465", "0x482480017fff8000", - "0x4418", + "0x4464", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2702,9 +2702,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x42fa", + "0x4346", "0x482480017fff8000", - "0x42f9", + "0x4345", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2726,7 +2726,7 @@ "0x48127fee7fff8000", "0x48127ff27fff8000", "0x1104800180018000", - "0x1a6e", + "0x1a65", "0x482480017fc88000", "0x1", "0x48127ffa7fff8000", @@ -2919,9 +2919,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4221", + "0x426d", "0x482480017fff8000", - "0x4220", + "0x426c", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3135,9 +3135,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4149", + "0x4195", "0x482480017fff8000", - "0x4148", + "0x4194", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3274,9 +3274,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x40be", + "0x410a", "0x482480017fff8000", - "0x40bd", + "0x4109", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3308,7 +3308,7 @@ "0x48127ff77fff8000", "0x480080007ffc8000", "0x1104800180018000", - "0x1870", + "0x1867", "0x40780017fff7fff", "0x1", "0x48127ffa7fff8000", @@ -3547,9 +3547,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3fad", + "0x3ff9", "0x482480017fff8000", - "0x3fac", + "0x3ff8", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3725,9 +3725,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3efb", + "0x3f47", "0x482480017fff8000", - "0x3efa", + "0x3f46", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3746,7 +3746,7 @@ "0x48127ffe7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", - "0x1778", + "0x176f", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -3829,9 +3829,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3e93", + "0x3edf", "0x482480017fff8000", - "0x3e92", + "0x3ede", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3850,7 +3850,7 @@ "0x48127ffe7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", - "0x17e4", + "0x17db", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -3934,9 +3934,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3e2a", + "0x3e76", "0x482480017fff8000", - "0x3e29", + "0x3e75", "0x480080007fff8000", "0x480080017fff8000", "0x484480017fff8000", @@ -3959,7 +3959,7 @@ "0x480a7ff97fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", - "0x17ca", + "0x17c1", "0x20680017fff7ffd", "0xd", "0x40780017fff7fff", @@ -4046,9 +4046,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3dba", + "0x3e06", "0x482480017fff8000", - "0x3db9", + "0x3e05", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4067,7 +4067,7 @@ "0x48127ffe7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", - "0x18be", + "0x18b5", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -4192,9 +4192,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3d28", + "0x3d74", "0x482480017fff8000", - "0x3d27", + "0x3d73", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4394,9 +4394,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3c5e", + "0x3caa", "0x482480017fff8000", - "0x3c5d", + "0x3ca9", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4417,7 +4417,7 @@ "0x48127ff47fff8000", "0x48127ff47fff8000", "0x1104800180018000", - "0x18e9", + "0x18e0", "0x20680017fff7ffd", "0xe", "0x40780017fff7fff", @@ -4516,9 +4516,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3be4", + "0x3c30", "0x482480017fff8000", - "0x3be3", + "0x3c2f", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4630,9 +4630,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3b72", + "0x3bbe", "0x482480017fff8000", - "0x3b71", + "0x3bbd", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4651,7 +4651,7 @@ "0x48127ffe7fff8000", "0x48127ff67fff8000", "0x1104800180018000", - "0x194e", + "0x1945", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -4769,9 +4769,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3ae7", + "0x3b33", "0x482480017fff8000", - "0x3ae6", + "0x3b32", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4790,7 +4790,7 @@ "0x48127ffe7fff8000", "0x48127ff67fff8000", "0x1104800180018000", - "0x18f3", + "0x18ea", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -4974,9 +4974,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3a1a", + "0x3a66", "0x482480017fff8000", - "0x3a19", + "0x3a65", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5218,9 +5218,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3926", + "0x3972", "0x482480017fff8000", - "0x3925", + "0x3971", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -5246,7 +5246,7 @@ "0x48127feb7fff8000", "0x48127fef7fff8000", "0x1104800180018000", - "0x1757", + "0x174e", "0x20680017fff7ffd", "0xd", "0x40780017fff7fff", @@ -5361,7 +5361,7 @@ "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", - "0x17a7", + "0x179e", "0x20680017fff7ffc", "0x63", "0x48307ffa80007ffb", @@ -5386,9 +5386,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x387e", + "0x38ca", "0x482480017fff8000", - "0x387d", + "0x38c9", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -5419,7 +5419,7 @@ "0x48127feb7fff8000", "0x48127feb7fff8000", "0x1104800180018000", - "0x1831", + "0x1828", "0x20680017fff7ffd", "0xe", "0x40780017fff7fff", @@ -5554,7 +5554,7 @@ "0x48127ff67fff8000", "0x48127ff67fff8000", "0x1104800180018000", - "0x16e6", + "0x16dd", "0x20680017fff7ffc", "0x60", "0x48307ffa80007ffb", @@ -5577,9 +5577,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x37bf", + "0x380b", "0x482480017fff8000", - "0x37be", + "0x380a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5734,9 +5734,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3722", + "0x376e", "0x482480017fff8000", - "0x3721", + "0x376d", "0x480080007fff8000", "0x480080027fff8000", "0x482480017fff8000", @@ -5757,7 +5757,7 @@ "0x48127ffd7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", - "0x1801", + "0x17f8", "0x20680017fff7ffd", "0xd", "0x40780017fff7fff", @@ -5866,9 +5866,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x369e", + "0x36ea", "0x482480017fff8000", - "0x369d", + "0x36e9", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -5892,7 +5892,7 @@ "0x480a7ffb7fff8000", "0x48127ff17fff8000", "0x1104800180018000", - "0x189c", + "0x1893", "0x20680017fff7ffd", "0xd", "0x40780017fff7fff", @@ -6015,9 +6015,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3609", + "0x3655", "0x482480017fff8000", - "0x3608", + "0x3654", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6153,9 +6153,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x357f", + "0x35cb", "0x482480017fff8000", - "0x357e", + "0x35ca", "0x480080007fff8000", "0x480080047fff8000", "0x484480017fff8000", @@ -6183,7 +6183,7 @@ "0x480a7ff77fff8000", "0x48127ffb7fff8000", "0x1104800180018000", - "0x18a7", + "0x189e", "0x20680017fff7ffd", "0xf", "0x40780017fff7fff", @@ -6279,9 +6279,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3501", + "0x354d", "0x482480017fff8000", - "0x3500", + "0x354c", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6297,14 +6297,14 @@ "0x400080007ff87fff", "0x480a7ff97fff8000", "0x1104800180018000", - "0x1a07", + "0x19fe", "0x482480017fe88000", "0x1", "0x20680017fff7ffc", "0x17", "0x48127ffb7fff8000", "0x1104800180018000", - "0x1a00", + "0x19f7", "0x20680017fff7ffd", "0xd", "0x40780017fff7fff", @@ -6534,21 +6534,21 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3402", + "0x344e", "0x482480017fff8000", - "0x3401", + "0x344d", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff4", - "0x602c", + "0x65a4", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff17fff", "0x10780017fff7fff", "0x23", "0x4824800180007ff4", - "0x602c", + "0x65a4", "0x400080007ff27fff", "0x482480017ff28000", "0x1", @@ -6559,7 +6559,7 @@ "0x48127ff27fff8000", "0x48127ff27fff8000", "0x1104800180018000", - "0x1922", + "0x1919", "0x20680017fff7ffd", "0xc", "0x40780017fff7fff", @@ -6733,9 +6733,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x333b", + "0x3387", "0x482480017fff8000", - "0x333a", + "0x3386", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6939,9 +6939,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x326d", + "0x32b9", "0x482480017fff8000", - "0x326c", + "0x32b8", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -7144,9 +7144,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x31a0", + "0x31ec", "0x482480017fff8000", - "0x319f", + "0x31eb", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -7499,7 +7499,7 @@ "0x400280057ffc7ffe", "0x480280077ffc8000", "0x20680017fff7fff", - "0x62", + "0x59", "0x480280067ffc8000", "0x480680017fff8000", "0x5265706c616365436c617373", @@ -7508,7 +7508,7 @@ "0x4003800a7ffc7ffd", "0x4802800c7ffc8000", "0x20680017fff7fff", - "0x4e", + "0x45", "0x4802800b7ffc8000", "0x480680017fff8000", "0x11", @@ -7521,7 +7521,7 @@ "0x400280117ffc7ff7", "0x480280137ffc8000", "0x20680017fff7fff", - "0x36", + "0x2d", "0x480280127ffc8000", "0x480680017fff8000", "0x0", @@ -7538,33 +7538,24 @@ "0x400280187ffc7ffe", "0x4802801a7ffc8000", "0x20680017fff7fff", - "0x1a", + "0x11", "0x40780017fff7fff", "0x1", "0x480680017fff8000", - "0x46a6158a16a947e5916b2a2ca68501a45e93d7110e81aa2d6438b1c57c879a3", - "0x400080007ffe7fff", - "0x480680017fff8000", - "0x0", - "0x400080017ffd7fff", - "0x480680017fff8000", "0x746573745f7265766572745f68656c706572", - "0x400080027ffc7fff", - "0x480680017fff8000", - "0x12", - "0x400080037ffb7fff", + "0x400080007ffe7fff", "0x480a7ffa7fff8000", "0x480280197ffc8000", "0x482680017ffc8000", "0x1b", "0x480680017fff8000", "0x1", - "0x48127ff77fff8000", - "0x482480017ff68000", - "0x4", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0x5", + "0x2", "0x480a7ffa7fff8000", "0x480280197ffc8000", "0x482680017ffc8000", @@ -7575,7 +7566,7 @@ "0x4802801c7ffc8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0xb", + "0x8", "0x480a7ffa7fff8000", "0x480280127ffc8000", "0x482680017ffc8000", @@ -7586,7 +7577,7 @@ "0x480280157ffc8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0xf", + "0xc", "0x480a7ffa7fff8000", "0x4802800b7ffc8000", "0x482680017ffc8000", @@ -7597,7 +7588,7 @@ "0x4802800e7ffc8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0x12", + "0xf", "0x480a7ffa7fff8000", "0x480280067ffc8000", "0x482680017ffc8000", @@ -8038,7 +8029,7 @@ "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0x13e9", + "0x143e", "0x20680017fff7ffa", "0x384", "0x20680017fff7ffd", @@ -8142,7 +8133,7 @@ "0x48127ffa7fff8000", "0x480080007ff88000", "0x1104800180018000", - "0x143a", + "0x148f", "0x20680017fff7ffa", "0x1a", "0x20680017fff7ffd", @@ -8274,7 +8265,7 @@ "0x48127ff97fff8000", "0x48127ff97fff8000", "0x1104800180018000", - "0x12fd", + "0x1352", "0x20680017fff7ffa", "0x165", "0x20680017fff7ffd", @@ -8374,7 +8365,7 @@ "0x48127ff87fff8000", "0x48127ff87fff8000", "0x1104800180018000", - "0x1299", + "0x12ee", "0x20680017fff7ffa", "0x49", "0x20680017fff7ffd", @@ -9213,7 +9204,7 @@ "0x480a7fed7fff8000", "0x480a7fee7fff8000", "0x1104800180018000", - "0x105b", + "0x10b0", "0x20680017fff7ffa", "0xdc", "0x20680017fff7fff", @@ -9253,7 +9244,7 @@ "0x480a7ff27fff8000", "0x480a7ff37fff8000", "0x1104800180018000", - "0x10b4", + "0x1109", "0x20680017fff7ffa", "0xa2", "0x20680017fff7fff", @@ -9289,7 +9280,7 @@ "0x480a7ff57fff8000", "0x480a7ff67fff8000", "0x1104800180018000", - "0x100f", + "0x1064", "0x20680017fff7ffa", "0x78", "0x20680017fff7fff", @@ -9334,7 +9325,7 @@ "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x1104800180018000", - "0xfe2", + "0x1037", "0x20680017fff7ffa", "0x45", "0x20680017fff7fff", @@ -9771,7 +9762,7 @@ "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0xf45", + "0xf9a", "0x20680017fff7ffb", "0xb4", "0x48127ff97fff8000", @@ -9783,7 +9774,7 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xf92", + "0xfe7", "0x20680017fff7ffd", "0xa1", "0x480680017fff8000", @@ -9979,13 +9970,13 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xfcb", + "0x1020", "0x20680017fff7ffd", "0x37", "0x1104800180018000", - "0x266d", + "0x26c2", "0x482480017fff8000", - "0x266c", + "0x26c1", "0x48127ff97fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", @@ -9993,7 +9984,7 @@ "0x48127ff87fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0x10bf", + "0x1114", "0x20680017fff7ffc", "0x22", "0x48127fff7fff8000", @@ -10287,7 +10278,7 @@ "0x482480017ff48000", "0xbb448978bd42b984d7de5970bcaf5c43", "0x1104800180018000", - "0xffa", + "0x104f", "0x20680017fff7ffd", "0x17", "0x20680017fff7ffe", @@ -10663,7 +10654,7 @@ "0x177e60492c5a8242f76f07bfe3661bd", "0x48127ff47fff8000", "0x1104800180018000", - "0xf5e", + "0xfb3", "0x20680017fff7ffd", "0xc", "0x48127ffa7fff8000", @@ -12585,9 +12576,9 @@ "0x20680017fff7fff", "0x14d", "0x1104800180018000", - "0x1c4c", + "0x1ca1", "0x482480017fff8000", - "0x1c4b", + "0x1ca0", "0x480680017fff8000", "0x2", "0x482480017ffe8000", @@ -12669,7 +12660,7 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xc62", + "0xcb7", "0x402580017fd38005", "0x1", "0x20680017fff7fff", @@ -12688,7 +12679,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xc6e", + "0xcc3", "0x20680017fff7ffb", "0x70", "0x48127ffa7fff8000", @@ -12701,7 +12692,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xc61", + "0xcb6", "0x20680017fff7ffb", "0x59", "0x48127ffa7fff8000", @@ -12714,7 +12705,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xc54", + "0xca9", "0x20680017fff7ffb", "0x42", "0x48127ffa7fff8000", @@ -12727,7 +12718,7 @@ "0x480680017fff8000", "0x2", "0x1104800180018000", - "0xc47", + "0xc9c", "0x20680017fff7ffb", "0x2b", "0x40780017fff7fff", @@ -12749,7 +12740,7 @@ "0x482480017ff88000", "0x2", "0x1104800180018000", - "0x10a1", + "0x10f6", "0x20680017fff7ffd", "0x9", "0x400180007fff8003", @@ -13004,7 +12995,7 @@ "0x20680017fff7fff", "0x1c", "0x40780017fff7fff", - "0xc", + "0x14", "0x40780017fff7fff", "0x1", "0x480680017fff8000", @@ -13038,13 +13029,66 @@ "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x51", - "0x4824800180007ffc", + "0xb", + "0x48127ffb7fff8000", + "0x4824800180007ffb", "0x1", + "0x480680017fff8000", + "0x0", + "0x4824800180007ff9", + "0x1", + "0x10780017fff7fff", + "0x8", + "0x48127ffb7fff8000", + "0x48127ffb7fff8000", + "0x480680017fff8000", + "0x1", + "0x480680017fff8000", + "0x0", + "0x20680017fff7ffe", + "0x95", "0x480080007fff8000", "0x4824800180007fff", "0x454e545259504f494e545f4641494c4544", "0x20680017fff7fff", + "0x80", + "0x48307ffa80007ffb", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x6b", + "0x4824800180007ffa", + "0x1", + "0x4825800180007ffb", + "0x1c4e1062ccac759d9786c18a401086aa7ab90fde340fffd5cbd792d11daa7e7", + "0x480080007ffe8000", + "0x20680017fff7ffe", + "0x18", + "0x4824800180007fff", + "0x454e545259504f494e545f4e4f545f464f554e44", + "0x20680017fff7fff", + "0x4", + "0x10780017fff7fff", + "0x16", + "0x40780017fff7fff", + "0x7", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x556e6578706563746564206572726f72", + "0x400080007ffe7fff", + "0x480a7ff77fff8000", + "0x48127fe87fff8000", + "0x48127fe87fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x4824800180007fff", + "0x746573745f7265766572745f68656c706572", + "0x20680017fff7fff", "0x3a", "0x480680017fff8000", "0x0", @@ -13052,16 +13096,16 @@ "0x1275130f95dda36bcbb6e9d28796c1d7e10b6e9fd5ed083e0ede4b12f613528", "0x480680017fff8000", "0x53746f7261676552656164", - "0x400080007ff87fff", - "0x400080017ff87ff7", - "0x400080027ff87ffd", - "0x400080037ff87ffe", - "0x480080057ff88000", + "0x400080007ff07fff", + "0x400080017ff07fef", + "0x400080027ff07ffd", + "0x400080037ff07ffe", + "0x480080057ff08000", "0x20680017fff7fff", "0x22", - "0x480080067ff78000", - "0x480080047ff68000", - "0x482480017ff58000", + "0x480080067fef8000", + "0x480080047fee8000", + "0x482480017fed8000", "0x7", "0x20680017fff7ffd", "0xe", @@ -13094,13 +13138,13 @@ "0x40780017fff7fff", "0x5", "0x480a7ff77fff8000", - "0x480080047ff18000", - "0x482480017ff08000", + "0x480080047fe98000", + "0x482480017fe88000", "0x8", "0x480680017fff8000", "0x1", - "0x480080067fee8000", - "0x480080077fed8000", + "0x480080067fe68000", + "0x480080077fe58000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x7", @@ -13110,8 +13154,8 @@ "0x556e6578706563746564206572726f72", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127ff07fff8000", - "0x48127ff07fff8000", + "0x48127fe87fff8000", + "0x48127fe87fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -13119,15 +13163,47 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0xa", + "0xb", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7074696f6e3a3a756e77726170206661696c65642e", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127ff07fff8000", - "0x48127ff07fff8000", + "0x48127fe87fff8000", + "0x48127fe87fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xc", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x556e6578706563746564206572726f72", + "0x400080007ffe7fff", + "0x480a7ff77fff8000", + "0x48127fe87fff8000", + "0x48127fe87fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xe", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", + "0x4f7074696f6e3a3a756e77726170206661696c65642e", + "0x400080007ffe7fff", + "0x480a7ff77fff8000", + "0x48127fe87fff8000", + "0x48127fe87fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -19888,7 +19964,7 @@ 92, 66, 66, - 126, + 117, 106, 205, 1205, @@ -19909,7 +19985,7 @@ 302, 466, 33, - 142, + 227, 185, 80, 129, @@ -21160,7 +21236,7 @@ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x9e66" + "Immediate": "0x9c0e" }, "rhs": { "Deref": { @@ -25325,7 +25401,7 @@ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x602c" + "Immediate": "0x65a4" }, "rhs": { "Deref": { @@ -26118,7 +26194,7 @@ ] ], [ - 7605, + 7596, [ { "TestLessThanOrEqual": { @@ -26140,7 +26216,7 @@ ] ], [ - 7630, + 7621, [ { "SystemCall": { @@ -26155,7 +26231,7 @@ ] ], [ - 7638, + 7629, [ { "TestLessThan": { @@ -26186,7 +26262,7 @@ ] ], [ - 7663, + 7654, [ { "AllocSegment": { @@ -26199,7 +26275,7 @@ ] ], [ - 7696, + 7687, [ { "AllocSegment": { @@ -26212,7 +26288,7 @@ ] ], [ - 7733, + 7724, [ { "TestLessThan": { @@ -26240,7 +26316,7 @@ ] ], [ - 7737, + 7728, [ { "LinearSplit": { @@ -26269,7 +26345,7 @@ ] ], [ - 7779, + 7770, [ { "TestLessThan": { @@ -26297,7 +26373,7 @@ ] ], [ - 7783, + 7774, [ { "LinearSplit": { @@ -26326,7 +26402,7 @@ ] ], [ - 7824, + 7815, [ { "TestLessThan": { @@ -26348,7 +26424,7 @@ ] ], [ - 7828, + 7819, [ { "LinearSplit": { @@ -26377,7 +26453,7 @@ ] ], [ - 7838, + 7829, [ { "LinearSplit": { @@ -26406,7 +26482,7 @@ ] ], [ - 7962, + 7953, [ { "TestLessThan": { @@ -26428,7 +26504,7 @@ ] ], [ - 7966, + 7957, [ { "LinearSplit": { @@ -26457,7 +26533,7 @@ ] ], [ - 7976, + 7967, [ { "LinearSplit": { @@ -26486,7 +26562,7 @@ ] ], [ - 8008, + 7999, [ { "TestLessThan": { @@ -26508,7 +26584,7 @@ ] ], [ - 8010, + 8001, [ { "DivMod": { @@ -26534,7 +26610,7 @@ ] ], [ - 8130, + 8121, [ { "AllocSegment": { @@ -26547,7 +26623,7 @@ ] ], [ - 8244, + 8235, [ { "TestLessThan": { @@ -26569,7 +26645,7 @@ ] ], [ - 8246, + 8237, [ { "DivMod": { @@ -26595,7 +26671,7 @@ ] ], [ - 8299, + 8290, [ { "TestLessThan": { @@ -26623,7 +26699,7 @@ ] ], [ - 8303, + 8294, [ { "LinearSplit": { @@ -26652,7 +26728,7 @@ ] ], [ - 8345, + 8336, [ { "TestLessThan": { @@ -26680,7 +26756,7 @@ ] ], [ - 8349, + 8340, [ { "LinearSplit": { @@ -26709,7 +26785,7 @@ ] ], [ - 9127, + 9118, [ { "SystemCall": { @@ -26724,7 +26800,7 @@ ] ], [ - 9360, + 9351, [ { "AllocSegment": { @@ -26737,7 +26813,7 @@ ] ], [ - 9374, + 9365, [ { "AllocSegment": { @@ -26750,7 +26826,7 @@ ] ], [ - 9388, + 9379, [ { "AllocSegment": { @@ -26763,7 +26839,7 @@ ] ], [ - 9452, + 9443, [ { "AllocSegment": { @@ -26776,7 +26852,7 @@ ] ], [ - 9466, + 9457, [ { "AllocSegment": { @@ -26789,7 +26865,7 @@ ] ], [ - 9489, + 9480, [ { "AllocSegment": { @@ -26802,7 +26878,7 @@ ] ], [ - 9513, + 9504, [ { "SystemCall": { @@ -26817,7 +26893,7 @@ ] ], [ - 9516, + 9507, [ { "AllocSegment": { @@ -26830,7 +26906,7 @@ ] ], [ - 9532, + 9523, [ { "SystemCall": { @@ -26851,7 +26927,7 @@ ] ], [ - 9569, + 9560, [ { "GetSegmentArenaIndex": { @@ -26870,7 +26946,7 @@ ] ], [ - 9610, + 9601, [ { "AllocSegment": { @@ -26883,7 +26959,7 @@ ] ], [ - 9618, + 9609, [ { "InitSquashData": { @@ -26918,7 +26994,7 @@ ] ], [ - 9637, + 9628, [ { "GetCurrentAccessIndex": { @@ -26933,7 +27009,7 @@ ] ], [ - 9650, + 9641, [ { "ShouldSkipSquashLoop": { @@ -26946,7 +27022,7 @@ ] ], [ - 9652, + 9643, [ { "GetCurrentAccessDelta": { @@ -26959,7 +27035,7 @@ ] ], [ - 9663, + 9654, [ { "ShouldContinueSquashLoop": { @@ -26972,7 +27048,7 @@ ] ], [ - 9677, + 9668, [ { "GetNextDictKey": { @@ -26985,7 +27061,7 @@ ] ], [ - 9696, + 9687, [ { "AssertLeFindSmallArcs": { @@ -27018,7 +27094,7 @@ ] ], [ - 9708, + 9699, [ { "AssertLeIsFirstArcExcluded": { @@ -27031,7 +27107,7 @@ ] ], [ - 9720, + 9711, [ { "AssertLeIsSecondArcExcluded": { @@ -27044,7 +27120,7 @@ ] ], [ - 9751, + 9742, [ { "AllocSegment": { @@ -27057,7 +27133,7 @@ ] ], [ - 9759, + 9750, [ { "AllocSegment": { @@ -27070,7 +27146,7 @@ ] ], [ - 9790, + 9781, [ { "SystemCall": { @@ -27085,7 +27161,7 @@ ] ], [ - 9804, + 9795, [ { "AllocSegment": { @@ -27098,7 +27174,7 @@ ] ], [ - 9824, + 9815, [ { "AllocSegment": { @@ -27111,7 +27187,7 @@ ] ], [ - 9838, + 9829, [ { "AllocSegment": { @@ -27124,7 +27200,7 @@ ] ], [ - 9852, + 9843, [ { "SystemCall": { @@ -27139,7 +27215,7 @@ ] ], [ - 9855, + 9846, [ { "AllocSegment": { @@ -27152,7 +27228,7 @@ ] ], [ - 9878, + 9869, [ { "TestLessThan": { @@ -27177,7 +27253,7 @@ ] ], [ - 9906, + 9897, [ { "AllocSegment": { @@ -27190,7 +27266,7 @@ ] ], [ - 9920, + 9911, [ { "AllocSegment": { @@ -27203,7 +27279,7 @@ ] ], [ - 9963, + 9954, [ { "AllocSegment": { @@ -27216,7 +27292,7 @@ ] ], [ - 10002, + 9993, [ { "AllocSegment": { @@ -27229,7 +27305,7 @@ ] ], [ - 10062, + 10053, [ { "SystemCall": { @@ -27244,7 +27320,7 @@ ] ], [ - 10072, + 10063, [ { "AllocSegment": { @@ -27257,7 +27333,7 @@ ] ], [ - 10103, + 10094, [ { "SystemCall": { @@ -27272,7 +27348,7 @@ ] ], [ - 10106, + 10097, [ { "AllocSegment": { @@ -27285,7 +27361,7 @@ ] ], [ - 10130, + 10121, [ { "TestLessThan": { @@ -27310,7 +27386,7 @@ ] ], [ - 10164, + 10155, [ { "SystemCall": { @@ -27325,7 +27401,7 @@ ] ], [ - 10179, + 10170, [ { "SystemCall": { @@ -27340,7 +27416,7 @@ ] ], [ - 10225, + 10216, [ { "AllocSegment": { @@ -27353,7 +27429,7 @@ ] ], [ - 10244, + 10235, [ { "DivMod": { @@ -27382,7 +27458,7 @@ ] ], [ - 10250, + 10241, [ { "TestLessThan": { @@ -27404,7 +27480,7 @@ ] ], [ - 10301, + 10292, [ { "AllocSegment": { @@ -27417,7 +27493,7 @@ ] ], [ - 10332, + 10323, [ { "AllocSegment": { @@ -27430,7 +27506,7 @@ ] ], [ - 10357, + 10348, [ { "AllocSegment": { @@ -27443,7 +27519,7 @@ ] ], [ - 10372, + 10363, [ { "AllocSegment": { @@ -27456,7 +27532,7 @@ ] ], [ - 10414, + 10405, [ { "SystemCall": { @@ -27471,7 +27547,7 @@ ] ], [ - 10426, + 10417, [ { "AllocSegment": { @@ -27484,7 +27560,7 @@ ] ], [ - 10456, + 10447, [ { "SystemCall": { @@ -27499,7 +27575,7 @@ ] ], [ - 10461, + 10452, [ { "AllocSegment": { @@ -27512,7 +27588,7 @@ ] ], [ - 10484, + 10475, [ { "TestLessThan": { @@ -27537,7 +27613,7 @@ ] ], [ - 10518, + 10509, [ { "SystemCall": { @@ -27552,7 +27628,7 @@ ] ], [ - 10533, + 10524, [ { "SystemCall": { @@ -27567,7 +27643,7 @@ ] ], [ - 10581, + 10572, [ { "AllocSegment": { @@ -27580,7 +27656,7 @@ ] ], [ - 10599, + 10590, [ { "DivMod": { @@ -27609,7 +27685,7 @@ ] ], [ - 10605, + 10596, [ { "TestLessThan": { @@ -27631,7 +27707,7 @@ ] ], [ - 10634, + 10625, [ { "SystemCall": { @@ -27646,7 +27722,7 @@ ] ], [ - 10684, + 10675, [ { "AllocSegment": { @@ -27659,7 +27735,7 @@ ] ], [ - 10722, + 10713, [ { "AllocSegment": { @@ -27672,7 +27748,7 @@ ] ], [ - 10749, + 10740, [ { "AllocSegment": { @@ -27685,7 +27761,7 @@ ] ], [ - 10765, + 10756, [ { "AllocSegment": { @@ -27698,7 +27774,7 @@ ] ], [ - 10791, + 10782, [ { "TestLessThanOrEqual": { @@ -27720,7 +27796,7 @@ ] ], [ - 10805, + 10796, [ { "TestLessThan": { @@ -27742,7 +27818,7 @@ ] ], [ - 10880, + 10871, [ { "TestLessThan": { @@ -27764,7 +27840,7 @@ ] ], [ - 10884, + 10875, [ { "LinearSplit": { @@ -27793,7 +27869,7 @@ ] ], [ - 10894, + 10885, [ { "LinearSplit": { @@ -27822,7 +27898,7 @@ ] ], [ - 10912, + 10903, [ { "SystemCall": { @@ -27837,7 +27913,7 @@ ] ], [ - 10930, + 10921, [ { "AllocSegment": { @@ -27850,7 +27926,7 @@ ] ], [ - 10949, + 10940, [ { "TestLessThan": { @@ -27872,7 +27948,7 @@ ] ], [ - 10953, + 10944, [ { "LinearSplit": { @@ -27901,7 +27977,7 @@ ] ], [ - 10963, + 10954, [ { "LinearSplit": { @@ -27930,7 +28006,7 @@ ] ], [ - 10981, + 10972, [ { "SystemCall": { @@ -27945,7 +28021,7 @@ ] ], [ - 10999, + 10990, [ { "AllocSegment": { @@ -27958,7 +28034,7 @@ ] ], [ - 11030, + 11021, [ { "AllocSegment": { @@ -27971,7 +28047,7 @@ ] ], [ - 11054, + 11045, [ { "AllocSegment": { @@ -27984,7 +28060,7 @@ ] ], [ - 11068, + 11059, [ { "AllocSegment": { @@ -27997,7 +28073,7 @@ ] ], [ - 11082, + 11073, [ { "AllocSegment": { @@ -28010,7 +28086,7 @@ ] ], [ - 11096, + 11087, [ { "AllocSegment": { @@ -28023,7 +28099,7 @@ ] ], [ - 11111, + 11102, [ { "AllocSegment": { @@ -28036,7 +28112,7 @@ ] ], [ - 11126, + 11117, [ { "TestLessThanOrEqual": { @@ -28058,7 +28134,7 @@ ] ], [ - 11140, + 11131, [ { "AllocSegment": { @@ -28071,7 +28147,7 @@ ] ], [ - 11160, + 11151, [ { "AllocSegment": { @@ -28084,7 +28160,7 @@ ] ], [ - 11174, + 11165, [ { "TestLessThanOrEqual": { @@ -28106,7 +28182,7 @@ ] ], [ - 11204, + 11195, [ { "AllocSegment": { @@ -28119,7 +28195,7 @@ ] ], [ - 11223, + 11214, [ { "TestLessThan": { @@ -28141,7 +28217,7 @@ ] ], [ - 11227, + 11218, [ { "LinearSplit": { @@ -28170,7 +28246,7 @@ ] ], [ - 11238, + 11229, [ { "LinearSplit": { @@ -28199,7 +28275,7 @@ ] ], [ - 11264, + 11255, [ { "SystemCall": { @@ -28214,7 +28290,7 @@ ] ], [ - 11279, + 11270, [ { "SystemCall": { @@ -28235,7 +28311,7 @@ ] ], [ - 11287, + 11278, [ { "TestLessThan": { @@ -28257,7 +28333,7 @@ ] ], [ - 11291, + 11282, [ { "LinearSplit": { @@ -28286,7 +28362,7 @@ ] ], [ - 11302, + 11293, [ { "LinearSplit": { @@ -28315,7 +28391,7 @@ ] ], [ - 11332, + 11323, [ { "SystemCall": { @@ -28336,7 +28412,7 @@ ] ], [ - 11348, + 11339, [ { "SystemCall": { @@ -28357,7 +28433,7 @@ ] ], [ - 11456, + 11447, [ { "TestLessThan": { @@ -28379,7 +28455,7 @@ ] ], [ - 11458, + 11449, [ { "DivMod": { @@ -28405,7 +28481,7 @@ ] ], [ - 11503, + 11494, [ { "TestLessThan": { @@ -28427,7 +28503,7 @@ ] ], [ - 11505, + 11496, [ { "DivMod": { @@ -28453,7 +28529,7 @@ ] ], [ - 11614, + 11605, [ { "TestLessThan": { @@ -28475,7 +28551,7 @@ ] ], [ - 11618, + 11609, [ { "LinearSplit": { @@ -28504,7 +28580,7 @@ ] ], [ - 11629, + 11620, [ { "LinearSplit": { @@ -28533,7 +28609,7 @@ ] ], [ - 11655, + 11646, [ { "SystemCall": { @@ -28548,7 +28624,7 @@ ] ], [ - 11670, + 11661, [ { "SystemCall": { @@ -28569,7 +28645,7 @@ ] ], [ - 11677, + 11668, [ { "TestLessThan": { @@ -28591,7 +28667,7 @@ ] ], [ - 11679, + 11670, [ { "DivMod": { @@ -28617,7 +28693,7 @@ ] ], [ - 11700, + 11691, [ { "TestLessThan": { @@ -28639,7 +28715,7 @@ ] ], [ - 11702, + 11693, [ { "DivMod": { @@ -28665,7 +28741,7 @@ ] ], [ - 11732, + 11723, [ { "TestLessThan": { @@ -28687,7 +28763,7 @@ ] ], [ - 11736, + 11727, [ { "LinearSplit": { @@ -28716,7 +28792,7 @@ ] ], [ - 11747, + 11738, [ { "LinearSplit": { @@ -28745,7 +28821,7 @@ ] ], [ - 11778, + 11769, [ { "SystemCall": { @@ -28760,7 +28836,7 @@ ] ], [ - 11793, + 11784, [ { "SystemCall": { @@ -28781,7 +28857,7 @@ ] ], [ - 11837, + 11828, [ { "AllocSegment": { @@ -28794,7 +28870,7 @@ ] ], [ - 11856, + 11847, [ { "AllocSegment": { @@ -28807,7 +28883,7 @@ ] ], [ - 11938, + 11929, [ { "RandomEcPoint": { @@ -28835,7 +28911,7 @@ ] ], [ - 12002, + 11993, [ { "RandomEcPoint": { @@ -28863,7 +28939,7 @@ ] ], [ - 12072, + 12063, [ { "AllocSegment": { @@ -28876,7 +28952,7 @@ ] ], [ - 12098, + 12089, [ { "SystemCall": { @@ -28891,7 +28967,7 @@ ] ], [ - 12115, + 12106, [ { "SystemCall": { @@ -28912,7 +28988,7 @@ ] ], [ - 12157, + 12148, [ { "AllocSegment": { @@ -28925,7 +29001,7 @@ ] ], [ - 12174, + 12165, [ { "AllocSegment": { @@ -28938,7 +29014,7 @@ ] ], [ - 12193, + 12184, [ { "SystemCall": { @@ -28953,7 +29029,7 @@ ] ], [ - 12203, + 12194, [ { "TestLessThan": { @@ -28975,7 +29051,7 @@ ] ], [ - 12207, + 12198, [ { "LinearSplit": { @@ -29004,7 +29080,7 @@ ] ], [ - 12218, + 12209, [ { "LinearSplit": { @@ -29033,7 +29109,7 @@ ] ], [ - 12262, + 12253, [ { "SystemCall": { @@ -29054,7 +29130,7 @@ ] ], [ - 12277, + 12268, [ { "SystemCall": { @@ -29075,7 +29151,7 @@ ] ], [ - 12287, + 12278, [ { "TestLessThan": { @@ -29100,7 +29176,7 @@ ] ], [ - 12302, + 12293, [ { "TestLessThan": { @@ -29125,7 +29201,7 @@ ] ], [ - 12318, + 12309, [ { "TestLessThan": { @@ -29147,7 +29223,7 @@ ] ], [ - 12322, + 12313, [ { "LinearSplit": { @@ -29176,7 +29252,7 @@ ] ], [ - 12333, + 12324, [ { "LinearSplit": { @@ -29205,7 +29281,7 @@ ] ], [ - 12362, + 12353, [ { "SystemCall": { @@ -29220,7 +29296,7 @@ ] ], [ - 12378, + 12369, [ { "SystemCall": { @@ -29241,7 +29317,7 @@ ] ], [ - 12420, + 12411, [ { "AllocSegment": { @@ -29254,7 +29330,7 @@ ] ], [ - 12438, + 12429, [ { "AllocSegment": { @@ -29267,7 +29343,7 @@ ] ], [ - 12540, + 12531, [ { "AllocSegment": { @@ -29280,7 +29356,7 @@ ] ], [ - 12615, + 12606, [ { "EvalCircuit": { @@ -29313,7 +29389,7 @@ ] ], [ - 12672, + 12663, [ { "AllocSegment": { @@ -29326,7 +29402,7 @@ ] ], [ - 12728, + 12719, [ { "AllocSegment": { @@ -29339,7 +29415,7 @@ ] ], [ - 12821, + 12812, [ { "AllocSegment": { @@ -29352,7 +29428,7 @@ ] ], [ - 12842, + 12833, [ { "AllocSegment": { @@ -29365,7 +29441,7 @@ ] ], [ - 12913, + 12904, [ { "AllocSegment": { @@ -29378,7 +29454,7 @@ ] ], [ - 12941, + 12932, [ { "AllocSegment": { @@ -29391,7 +29467,7 @@ ] ], [ - 12998, + 12989, [ { "SystemCall": { @@ -29406,7 +29482,7 @@ ] ], [ - 13003, + 12994, [ { "AllocSegment": { @@ -29419,14 +29495,27 @@ ] ], [ - 13054, + 13070, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 13098, [ { "SystemCall": { "system": { "Deref": { "register": "AP", - "offset": -8 + "offset": -16 } } } @@ -29434,7 +29523,20 @@ ] ], [ - 13075, + 13119, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 13146, [ { "AllocSegment": { @@ -29447,7 +29549,7 @@ ] ], [ - 13102, + 13162, [ { "AllocSegment": { @@ -29460,7 +29562,7 @@ ] ], [ - 13118, + 13178, [ { "AllocSegment": { @@ -29473,7 +29575,20 @@ ] ], [ - 13154, + 13194, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 13230, [ { "TestLessThan": { @@ -29501,7 +29616,7 @@ ] ], [ - 13158, + 13234, [ { "LinearSplit": { @@ -29530,7 +29645,7 @@ ] ], [ - 13180, + 13256, [ { "TestLessThanOrEqual": { @@ -29555,7 +29670,7 @@ ] ], [ - 13194, + 13270, [ { "TestLessThan": { @@ -29577,7 +29692,7 @@ ] ], [ - 13204, + 13280, [ { "TestLessThanOrEqual": { @@ -29602,7 +29717,7 @@ ] ], [ - 13227, + 13303, [ { "AllocSegment": { @@ -29615,7 +29730,7 @@ ] ], [ - 13248, + 13324, [ { "AllocSegment": { @@ -29628,7 +29743,7 @@ ] ], [ - 13269, + 13345, [ { "AllocSegment": { @@ -29641,7 +29756,7 @@ ] ], [ - 13317, + 13393, [ { "TestLessThanOrEqual": { @@ -29663,7 +29778,7 @@ ] ], [ - 13377, + 13453, [ { "AllocSegment": { @@ -29676,7 +29791,7 @@ ] ], [ - 13397, + 13473, [ { "TestLessThanOrEqual": { @@ -29698,7 +29813,7 @@ ] ], [ - 13476, + 13552, [ { "AllocSegment": { @@ -29711,7 +29826,7 @@ ] ], [ - 13506, + 13582, [ { "AllocSegment": { @@ -29724,7 +29839,7 @@ ] ], [ - 13526, + 13602, [ { "TestLessThanOrEqual": { @@ -29746,7 +29861,7 @@ ] ], [ - 13627, + 13703, [ { "AllocSegment": { @@ -29759,7 +29874,7 @@ ] ], [ - 13657, + 13733, [ { "AllocSegment": { @@ -29772,7 +29887,7 @@ ] ], [ - 13677, + 13753, [ { "TestLessThanOrEqual": { @@ -29794,7 +29909,7 @@ ] ], [ - 13748, + 13824, [ { "AllocSegment": { @@ -29807,7 +29922,7 @@ ] ], [ - 13769, + 13845, [ { "DivMod": { @@ -29836,7 +29951,7 @@ ] ], [ - 13827, + 13903, [ { "AllocSegment": { @@ -29849,7 +29964,7 @@ ] ], [ - 13880, + 13956, [ { "AllocSegment": { @@ -29862,7 +29977,7 @@ ] ], [ - 13893, + 13969, [ { "DivMod": { @@ -29891,7 +30006,7 @@ ] ], [ - 13901, + 13977, [ { "TestLessThan": { @@ -29922,7 +30037,7 @@ ] ], [ - 13918, + 13994, [ { "AllocSegment": { @@ -29935,7 +30050,7 @@ ] ], [ - 13950, + 14026, [ { "TestLessThan": { @@ -29957,7 +30072,7 @@ ] ], [ - 13967, + 14043, [ { "AllocSegment": { @@ -29970,7 +30085,7 @@ ] ], [ - 13983, + 14059, [ { "TestLessThan": { @@ -30001,7 +30116,7 @@ ] ], [ - 14005, + 14081, [ { "AllocSegment": { @@ -30014,7 +30129,7 @@ ] ], [ - 14062, + 14138, [ { "DivMod": { @@ -30043,7 +30158,7 @@ ] ], [ - 14071, + 14147, [ { "TestLessThan": { @@ -30065,7 +30180,7 @@ ] ], [ - 14081, + 14157, [ { "TestLessThan": { @@ -30096,7 +30211,7 @@ ] ], [ - 14103, + 14179, [ { "AllocSegment": { @@ -30109,7 +30224,7 @@ ] ], [ - 14118, + 14194, [ { "AllocSegment": { @@ -30122,7 +30237,7 @@ ] ], [ - 14143, + 14219, [ { "TestLessThan": { @@ -30153,7 +30268,7 @@ ] ], [ - 14157, + 14233, [ { "DivMod": { @@ -30182,7 +30297,7 @@ ] ], [ - 14174, + 14250, [ { "TestLessThan": { @@ -30204,7 +30319,7 @@ ] ], [ - 14186, + 14262, [ { "TestLessThan": { @@ -30226,7 +30341,7 @@ ] ], [ - 14196, + 14272, [ { "TestLessThan": { @@ -30257,7 +30372,7 @@ ] ], [ - 14219, + 14295, [ { "AllocSegment": { @@ -30270,7 +30385,7 @@ ] ], [ - 14234, + 14310, [ { "AllocSegment": { @@ -30283,7 +30398,7 @@ ] ], [ - 14249, + 14325, [ { "AllocSegment": { @@ -30296,7 +30411,7 @@ ] ], [ - 14264, + 14340, [ { "AllocSegment": { @@ -30309,7 +30424,7 @@ ] ], [ - 14277, + 14353, [ { "TestLessThanOrEqual": { @@ -30331,7 +30446,7 @@ ] ], [ - 14287, + 14363, [ { "TestLessThanOrEqualAddress": { @@ -30362,7 +30477,7 @@ ] ], [ - 14324, + 14400, [ { "SystemCall": { @@ -30377,7 +30492,7 @@ ] ], [ - 14357, + 14433, [ { "AllocSegment": { @@ -30390,7 +30505,7 @@ ] ], [ - 14391, + 14467, [ { "TestLessThan": { @@ -30412,7 +30527,7 @@ ] ], [ - 14413, + 14489, [ { "TestLessThan": { @@ -30434,7 +30549,7 @@ ] ], [ - 14450, + 14526, [ { "TestLessThan": { @@ -30456,7 +30571,7 @@ ] ], [ - 14472, + 14548, [ { "TestLessThan": { @@ -30478,7 +30593,7 @@ ] ], [ - 14548, + 14624, [ { "AllocSegment": { @@ -30491,7 +30606,7 @@ ] ], [ - 14613, + 14689, [ { "TestLessThan": { @@ -30513,7 +30628,7 @@ ] ], [ - 14637, + 14713, [ { "TestLessThan": { @@ -30535,7 +30650,7 @@ ] ], [ - 14678, + 14754, [ { "TestLessThan": { @@ -30557,7 +30672,7 @@ ] ], [ - 14704, + 14780, [ { "TestLessThan": { @@ -30579,7 +30694,7 @@ ] ], [ - 14748, + 14824, [ { "U256InvModN": { @@ -30636,7 +30751,7 @@ ] ], [ - 14766, + 14842, [ { "WideMul128": { @@ -30833,7 +30948,7 @@ ] ], [ - 14819, + 14895, [ { "WideMul128": { @@ -30886,7 +31001,7 @@ ] ], [ - 14823, + 14899, [ { "TestLessThan": { @@ -30908,7 +31023,7 @@ ] ], [ - 14837, + 14913, [ { "TestLessThan": { @@ -30930,7 +31045,7 @@ ] ], [ - 14850, + 14926, [ { "DivMod": { @@ -30956,7 +31071,7 @@ ] ], [ - 14860, + 14936, [ { "DivMod": { @@ -30982,7 +31097,7 @@ ] ], [ - 14871, + 14947, [ { "DivMod": { @@ -31008,7 +31123,7 @@ ] ], [ - 14880, + 14956, [ { "DivMod": { @@ -31034,7 +31149,7 @@ ] ], [ - 14890, + 14966, [ { "DivMod": { @@ -31060,7 +31175,7 @@ ] ], [ - 14901, + 14977, [ { "DivMod": { @@ -31086,7 +31201,7 @@ ] ], [ - 14910, + 14986, [ { "DivMod": { @@ -31112,7 +31227,7 @@ ] ], [ - 14920, + 14996, [ { "DivMod": { @@ -31138,7 +31253,7 @@ ] ], [ - 14931, + 15007, [ { "DivMod": { @@ -31164,7 +31279,7 @@ ] ], [ - 14940, + 15016, [ { "DivMod": { @@ -31190,7 +31305,7 @@ ] ], [ - 14950, + 15026, [ { "DivMod": { @@ -31216,7 +31331,7 @@ ] ], [ - 14961, + 15037, [ { "DivMod": { @@ -31242,7 +31357,7 @@ ] ], [ - 14970, + 15046, [ { "DivMod": { @@ -31268,7 +31383,7 @@ ] ], [ - 14980, + 15056, [ { "DivMod": { @@ -31294,7 +31409,7 @@ ] ], [ - 14991, + 15067, [ { "DivMod": { @@ -31320,7 +31435,7 @@ ] ], [ - 15000, + 15076, [ { "DivMod": { @@ -31346,7 +31461,7 @@ ] ], [ - 15010, + 15086, [ { "DivMod": { @@ -31372,7 +31487,7 @@ ] ], [ - 15021, + 15097, [ { "DivMod": { @@ -31398,7 +31513,7 @@ ] ], [ - 15030, + 15106, [ { "DivMod": { @@ -31424,7 +31539,7 @@ ] ], [ - 15040, + 15116, [ { "DivMod": { @@ -31450,7 +31565,7 @@ ] ], [ - 15051, + 15127, [ { "DivMod": { @@ -31476,7 +31591,7 @@ ] ], [ - 15060, + 15136, [ { "DivMod": { @@ -31502,7 +31617,7 @@ ] ], [ - 15070, + 15146, [ { "DivMod": { @@ -31528,7 +31643,7 @@ ] ], [ - 15081, + 15157, [ { "DivMod": { @@ -31554,7 +31669,7 @@ ] ], [ - 15102, + 15178, [ { "Uint512DivModByUint256": { @@ -31623,7 +31738,7 @@ ] ], [ - 15120, + 15196, [ { "WideMul128": { @@ -31748,7 +31863,7 @@ ] ], [ - 15149, + 15225, [ { "TestLessThan": { @@ -31773,7 +31888,7 @@ ] ], [ - 15161, + 15237, [ { "TestLessThan": { @@ -31798,7 +31913,7 @@ ] ], [ - 15176, + 15252, [ { "DivMod": { @@ -31824,7 +31939,7 @@ ] ], [ - 15186, + 15262, [ { "DivMod": { @@ -31850,7 +31965,7 @@ ] ], [ - 15197, + 15273, [ { "DivMod": { @@ -31876,7 +31991,7 @@ ] ], [ - 15206, + 15282, [ { "DivMod": { @@ -31902,7 +32017,7 @@ ] ], [ - 15216, + 15292, [ { "DivMod": { @@ -31928,7 +32043,7 @@ ] ], [ - 15227, + 15303, [ { "DivMod": { @@ -31954,7 +32069,7 @@ ] ], [ - 15236, + 15312, [ { "DivMod": { @@ -31980,7 +32095,7 @@ ] ], [ - 15246, + 15322, [ { "DivMod": { @@ -32006,7 +32121,7 @@ ] ], [ - 15257, + 15333, [ { "DivMod": { @@ -32032,7 +32147,7 @@ ] ], [ - 15266, + 15342, [ { "DivMod": { @@ -32058,7 +32173,7 @@ ] ], [ - 15276, + 15352, [ { "DivMod": { @@ -32084,7 +32199,7 @@ ] ], [ - 15287, + 15363, [ { "DivMod": { @@ -32110,7 +32225,7 @@ ] ], [ - 15296, + 15372, [ { "DivMod": { @@ -32136,7 +32251,7 @@ ] ], [ - 15306, + 15382, [ { "DivMod": { @@ -32162,7 +32277,7 @@ ] ], [ - 15317, + 15393, [ { "DivMod": { @@ -32188,7 +32303,7 @@ ] ], [ - 15338, + 15414, [ { "Uint512DivModByUint256": { @@ -32257,7 +32372,7 @@ ] ], [ - 15356, + 15432, [ { "WideMul128": { @@ -32382,7 +32497,7 @@ ] ], [ - 15385, + 15461, [ { "TestLessThan": { @@ -32407,7 +32522,7 @@ ] ], [ - 15397, + 15473, [ { "TestLessThan": { @@ -32432,7 +32547,7 @@ ] ], [ - 15412, + 15488, [ { "DivMod": { @@ -32458,7 +32573,7 @@ ] ], [ - 15422, + 15498, [ { "DivMod": { @@ -32484,7 +32599,7 @@ ] ], [ - 15433, + 15509, [ { "DivMod": { @@ -32510,7 +32625,7 @@ ] ], [ - 15442, + 15518, [ { "DivMod": { @@ -32536,7 +32651,7 @@ ] ], [ - 15452, + 15528, [ { "DivMod": { @@ -32562,7 +32677,7 @@ ] ], [ - 15463, + 15539, [ { "DivMod": { @@ -32588,7 +32703,7 @@ ] ], [ - 15472, + 15548, [ { "DivMod": { @@ -32614,7 +32729,7 @@ ] ], [ - 15482, + 15558, [ { "DivMod": { @@ -32640,7 +32755,7 @@ ] ], [ - 15493, + 15569, [ { "DivMod": { @@ -32666,7 +32781,7 @@ ] ], [ - 15502, + 15578, [ { "DivMod": { @@ -32692,7 +32807,7 @@ ] ], [ - 15512, + 15588, [ { "DivMod": { @@ -32718,7 +32833,7 @@ ] ], [ - 15523, + 15599, [ { "DivMod": { @@ -32744,7 +32859,7 @@ ] ], [ - 15532, + 15608, [ { "DivMod": { @@ -32770,7 +32885,7 @@ ] ], [ - 15542, + 15618, [ { "DivMod": { @@ -32796,7 +32911,7 @@ ] ], [ - 15553, + 15629, [ { "DivMod": { @@ -32822,7 +32937,7 @@ ] ], [ - 15580, + 15656, [ { "SystemCall": { @@ -32837,7 +32952,7 @@ ] ], [ - 15597, + 15673, [ { "SystemCall": { @@ -32852,7 +32967,7 @@ ] ], [ - 15609, + 15685, [ { "SystemCall": { @@ -32873,7 +32988,7 @@ ] ], [ - 15620, + 15696, [ { "SystemCall": { @@ -32894,7 +33009,7 @@ ] ], [ - 15630, + 15706, [ { "SystemCall": { @@ -32915,7 +33030,7 @@ ] ], [ - 15715, + 15791, [ { "AllocSegment": { @@ -32928,7 +33043,7 @@ ] ], [ - 15744, + 15820, [ { "DivMod": { @@ -32954,7 +33069,7 @@ ] ], [ - 15754, + 15830, [ { "DivMod": { @@ -32980,7 +33095,7 @@ ] ], [ - 15765, + 15841, [ { "DivMod": { @@ -33006,7 +33121,7 @@ ] ], [ - 15774, + 15850, [ { "DivMod": { @@ -33032,7 +33147,7 @@ ] ], [ - 15784, + 15860, [ { "DivMod": { @@ -33058,7 +33173,7 @@ ] ], [ - 15795, + 15871, [ { "DivMod": { @@ -33084,7 +33199,7 @@ ] ], [ - 15804, + 15880, [ { "AllocSegment": { @@ -33097,7 +33212,7 @@ ] ], [ - 15873, + 15949, [ { "TestLessThan": { @@ -33128,7 +33243,7 @@ ] ], [ - 15888, + 15964, [ { "TestLessThan": { @@ -33150,7 +33265,7 @@ ] ], [ - 15907, + 15983, [ { "TestLessThan": { @@ -33172,7 +33287,7 @@ ] ], [ - 15926, + 16002, [ { "TestLessThan": { @@ -33194,7 +33309,7 @@ ] ], [ - 15936, + 16012, [ { "TestLessThan": { @@ -33216,7 +33331,7 @@ ] ], [ - 15938, + 16014, [ { "DivMod": { @@ -33242,7 +33357,7 @@ ] ], [ - 15975, + 16051, [ { "TestLessThan": { @@ -33264,7 +33379,7 @@ ] ], [ - 15994, + 16070, [ { "AllocSegment": { @@ -33277,7 +33392,7 @@ ] ], [ - 16005, + 16081, [ { "DivMod": { @@ -33306,7 +33421,7 @@ ] ], [ - 16011, + 16087, [ { "TestLessThan": { @@ -33328,7 +33443,7 @@ ] ], [ - 16025, + 16101, [ { "TestLessThan": { @@ -33350,7 +33465,7 @@ ] ], [ - 16039, + 16115, [ { "TestLessThan": { @@ -33372,7 +33487,7 @@ ] ], [ - 16050, + 16126, [ { "TestLessThan": { @@ -33394,7 +33509,7 @@ ] ], [ - 16079, + 16155, [ { "AllocSegment": { @@ -33407,7 +33522,7 @@ ] ], [ - 16104, + 16180, [ { "TestLessThan": { @@ -33429,7 +33544,7 @@ ] ], [ - 16108, + 16184, [ { "LinearSplit": { @@ -33458,7 +33573,7 @@ ] ], [ - 16118, + 16194, [ { "LinearSplit": { @@ -33487,7 +33602,7 @@ ] ], [ - 16138, + 16214, [ { "AllocSegment": { @@ -33500,7 +33615,7 @@ ] ], [ - 16159, + 16235, [ { "AllocSegment": { @@ -33513,7 +33628,7 @@ ] ], [ - 16180, + 16256, [ { "AllocSegment": { @@ -33526,7 +33641,7 @@ ] ], [ - 16200, + 16276, [ { "TestLessThan": { @@ -33548,7 +33663,7 @@ ] ], [ - 16202, + 16278, [ { "DivMod": { @@ -33574,7 +33689,7 @@ ] ], [ - 16246, + 16322, [ { "AllocSegment": { @@ -33587,7 +33702,7 @@ ] ], [ - 16257, + 16333, [ { "DivMod": { @@ -33616,7 +33731,7 @@ ] ], [ - 16263, + 16339, [ { "TestLessThan": { @@ -33638,7 +33753,7 @@ ] ], [ - 16277, + 16353, [ { "TestLessThan": { @@ -33660,7 +33775,7 @@ ] ], [ - 16295, + 16371, [ { "TestLessThan": { @@ -33682,7 +33797,7 @@ ] ], [ - 16308, + 16384, [ { "TestLessThan": { @@ -33704,7 +33819,7 @@ ] ], [ - 16319, + 16395, [ { "TestLessThan": { @@ -33726,7 +33841,7 @@ ] ], [ - 16348, + 16424, [ { "AllocSegment": { @@ -33739,7 +33854,7 @@ ] ], [ - 16373, + 16449, [ { "TestLessThan": { @@ -33761,7 +33876,7 @@ ] ], [ - 16377, + 16453, [ { "LinearSplit": { @@ -33790,7 +33905,7 @@ ] ], [ - 16387, + 16463, [ { "LinearSplit": { @@ -33819,7 +33934,7 @@ ] ], [ - 16407, + 16483, [ { "AllocSegment": { @@ -33832,7 +33947,7 @@ ] ], [ - 16428, + 16504, [ { "AllocSegment": { @@ -33845,7 +33960,7 @@ ] ], [ - 16449, + 16525, [ { "AllocSegment": { @@ -33858,7 +33973,7 @@ ] ], [ - 16478, + 16554, [ { "TestLessThan": { @@ -33880,7 +33995,7 @@ ] ], [ - 16480, + 16556, [ { "DivMod": { @@ -33906,7 +34021,7 @@ ] ], [ - 16517, + 16593, [ { "TestLessThan": { @@ -33928,7 +34043,7 @@ ] ], [ - 16528, + 16604, [ { "TestLessThan": { @@ -33950,7 +34065,7 @@ ] ], [ - 16539, + 16615, [ { "TestLessThan": { @@ -33972,7 +34087,7 @@ ] ], [ - 16568, + 16644, [ { "AllocSegment": { @@ -33985,7 +34100,7 @@ ] ], [ - 16593, + 16669, [ { "TestLessThan": { @@ -34007,7 +34122,7 @@ ] ], [ - 16597, + 16673, [ { "LinearSplit": { @@ -34036,7 +34151,7 @@ ] ], [ - 16607, + 16683, [ { "LinearSplit": { @@ -34065,7 +34180,7 @@ ] ], [ - 16633, + 16709, [ { "AllocSegment": { @@ -34078,7 +34193,7 @@ ] ], [ - 16654, + 16730, [ { "AllocSegment": { @@ -34091,7 +34206,7 @@ ] ], [ - 16676, + 16752, [ { "AllocSegment": { @@ -34104,7 +34219,7 @@ ] ], [ - 16698, + 16774, [ { "TestLessThan": { @@ -34126,7 +34241,7 @@ ] ], [ - 16709, + 16785, [ { "TestLessThan": { @@ -34148,7 +34263,7 @@ ] ], [ - 16738, + 16814, [ { "AllocSegment": { @@ -34161,7 +34276,7 @@ ] ], [ - 16763, + 16839, [ { "TestLessThan": { @@ -34183,7 +34298,7 @@ ] ], [ - 16767, + 16843, [ { "LinearSplit": { @@ -34212,7 +34327,7 @@ ] ], [ - 16777, + 16853, [ { "LinearSplit": { @@ -34241,7 +34356,7 @@ ] ], [ - 16800, + 16876, [ { "AllocSegment": { @@ -34254,7 +34369,7 @@ ] ], [ - 16845, + 16921, [ { "TestLessThan": { @@ -34276,7 +34391,7 @@ ] ], [ - 16856, + 16932, [ { "TestLessThan": { @@ -34298,7 +34413,7 @@ ] ], [ - 16885, + 16961, [ { "AllocSegment": { @@ -34311,7 +34426,7 @@ ] ], [ - 16908, + 16984, [ { "TestLessThan": { @@ -34342,7 +34457,7 @@ ] ], [ - 16932, + 17008, [ { "AllocSegment": { @@ -34355,7 +34470,7 @@ ] ], [ - 16976, + 17052, [ { "AllocSegment": { @@ -34368,7 +34483,7 @@ ] ], [ - 17003, + 17079, [ { "TestLessThanOrEqual": { @@ -34390,7 +34505,7 @@ ] ], [ - 17055, + 17131, [ { "AllocSegment": { @@ -34403,7 +34518,7 @@ ] ], [ - 17112, + 17188, [ { "TestLessThan": { @@ -34431,7 +34546,7 @@ ] ], [ - 17116, + 17192, [ { "LinearSplit": { @@ -34460,7 +34575,7 @@ ] ], [ - 17158, + 17234, [ { "TestLessThan": { @@ -34482,7 +34597,7 @@ ] ], [ - 17160, + 17236, [ { "DivMod": { @@ -34508,7 +34623,7 @@ ] ], [ - 17247, + 17323, [ { "DivMod": { @@ -34537,7 +34652,7 @@ ] ], [ - 17253, + 17329, [ { "TestLessThan": { @@ -34559,7 +34674,7 @@ ] ], [ - 17264, + 17340, [ { "TestLessThan": { @@ -34581,7 +34696,7 @@ ] ], [ - 17274, + 17350, [ { "TestLessThan": { @@ -34603,7 +34718,7 @@ ] ], [ - 17288, + 17364, [ { "DivMod": { @@ -34632,7 +34747,7 @@ ] ], [ - 17294, + 17370, [ { "TestLessThan": { @@ -34654,7 +34769,7 @@ ] ], [ - 17308, + 17384, [ { "TestLessThan": { @@ -34676,7 +34791,7 @@ ] ], [ - 17318, + 17394, [ { "TestLessThan": { @@ -34698,7 +34813,7 @@ ] ], [ - 17340, + 17416, [ { "AllocSegment": { @@ -34711,7 +34826,7 @@ ] ], [ - 17354, + 17430, [ { "AllocSegment": { @@ -34724,7 +34839,7 @@ ] ], [ - 17372, + 17448, [ { "AllocSegment": { @@ -34737,7 +34852,7 @@ ] ], [ - 17386, + 17462, [ { "AllocSegment": { @@ -34750,7 +34865,7 @@ ] ], [ - 17402, + 17478, [ { "TestLessThanOrEqual": { @@ -34772,7 +34887,7 @@ ] ], [ - 17429, + 17505, [ { "TestLessThan": { @@ -34794,7 +34909,7 @@ ] ], [ - 17446, + 17522, [ { "AllocSegment": { @@ -34807,7 +34922,7 @@ ] ], [ - 17471, + 17547, [ { "AllocSegment": { @@ -34820,7 +34935,7 @@ ] ], [ - 17731, + 17807, [ { "SystemCall": { @@ -34835,7 +34950,7 @@ ] ], [ - 17757, + 17833, [ { "SystemCall": { @@ -34850,7 +34965,7 @@ ] ], [ - 17771, + 17847, [ { "U256InvModN": { @@ -34907,7 +35022,7 @@ ] ], [ - 17789, + 17865, [ { "WideMul128": { @@ -35104,7 +35219,7 @@ ] ], [ - 17842, + 17918, [ { "WideMul128": { @@ -35157,7 +35272,7 @@ ] ], [ - 17846, + 17922, [ { "TestLessThan": { @@ -35179,7 +35294,7 @@ ] ], [ - 17860, + 17936, [ { "TestLessThan": { @@ -35201,7 +35316,7 @@ ] ], [ - 17873, + 17949, [ { "DivMod": { @@ -35227,7 +35342,7 @@ ] ], [ - 17883, + 17959, [ { "DivMod": { @@ -35253,7 +35368,7 @@ ] ], [ - 17894, + 17970, [ { "DivMod": { @@ -35279,7 +35394,7 @@ ] ], [ - 17903, + 17979, [ { "DivMod": { @@ -35305,7 +35420,7 @@ ] ], [ - 17913, + 17989, [ { "DivMod": { @@ -35331,7 +35446,7 @@ ] ], [ - 17924, + 18000, [ { "DivMod": { @@ -35357,7 +35472,7 @@ ] ], [ - 17933, + 18009, [ { "DivMod": { @@ -35383,7 +35498,7 @@ ] ], [ - 17943, + 18019, [ { "DivMod": { @@ -35409,7 +35524,7 @@ ] ], [ - 17954, + 18030, [ { "DivMod": { @@ -35435,7 +35550,7 @@ ] ], [ - 17963, + 18039, [ { "DivMod": { @@ -35461,7 +35576,7 @@ ] ], [ - 17973, + 18049, [ { "DivMod": { @@ -35487,7 +35602,7 @@ ] ], [ - 17984, + 18060, [ { "DivMod": { @@ -35513,7 +35628,7 @@ ] ], [ - 17993, + 18069, [ { "DivMod": { @@ -35539,7 +35654,7 @@ ] ], [ - 18003, + 18079, [ { "DivMod": { @@ -35565,7 +35680,7 @@ ] ], [ - 18014, + 18090, [ { "DivMod": { @@ -35591,7 +35706,7 @@ ] ], [ - 18023, + 18099, [ { "DivMod": { @@ -35617,7 +35732,7 @@ ] ], [ - 18033, + 18109, [ { "DivMod": { @@ -35643,7 +35758,7 @@ ] ], [ - 18044, + 18120, [ { "DivMod": { @@ -35669,7 +35784,7 @@ ] ], [ - 18053, + 18129, [ { "DivMod": { @@ -35695,7 +35810,7 @@ ] ], [ - 18063, + 18139, [ { "DivMod": { @@ -35721,7 +35836,7 @@ ] ], [ - 18074, + 18150, [ { "DivMod": { @@ -35747,7 +35862,7 @@ ] ], [ - 18083, + 18159, [ { "DivMod": { @@ -35773,7 +35888,7 @@ ] ], [ - 18093, + 18169, [ { "DivMod": { @@ -35799,7 +35914,7 @@ ] ], [ - 18104, + 18180, [ { "DivMod": { @@ -35825,7 +35940,7 @@ ] ], [ - 18125, + 18201, [ { "Uint512DivModByUint256": { @@ -35894,7 +36009,7 @@ ] ], [ - 18143, + 18219, [ { "WideMul128": { @@ -36019,7 +36134,7 @@ ] ], [ - 18172, + 18248, [ { "TestLessThan": { @@ -36044,7 +36159,7 @@ ] ], [ - 18184, + 18260, [ { "TestLessThan": { @@ -36069,7 +36184,7 @@ ] ], [ - 18199, + 18275, [ { "DivMod": { @@ -36095,7 +36210,7 @@ ] ], [ - 18209, + 18285, [ { "DivMod": { @@ -36121,7 +36236,7 @@ ] ], [ - 18220, + 18296, [ { "DivMod": { @@ -36147,7 +36262,7 @@ ] ], [ - 18229, + 18305, [ { "DivMod": { @@ -36173,7 +36288,7 @@ ] ], [ - 18239, + 18315, [ { "DivMod": { @@ -36199,7 +36314,7 @@ ] ], [ - 18250, + 18326, [ { "DivMod": { @@ -36225,7 +36340,7 @@ ] ], [ - 18259, + 18335, [ { "DivMod": { @@ -36251,7 +36366,7 @@ ] ], [ - 18269, + 18345, [ { "DivMod": { @@ -36277,7 +36392,7 @@ ] ], [ - 18280, + 18356, [ { "DivMod": { @@ -36303,7 +36418,7 @@ ] ], [ - 18289, + 18365, [ { "DivMod": { @@ -36329,7 +36444,7 @@ ] ], [ - 18299, + 18375, [ { "DivMod": { @@ -36355,7 +36470,7 @@ ] ], [ - 18310, + 18386, [ { "DivMod": { @@ -36381,7 +36496,7 @@ ] ], [ - 18319, + 18395, [ { "DivMod": { @@ -36407,7 +36522,7 @@ ] ], [ - 18329, + 18405, [ { "DivMod": { @@ -36433,7 +36548,7 @@ ] ], [ - 18340, + 18416, [ { "DivMod": { @@ -36459,7 +36574,7 @@ ] ], [ - 18352, + 18428, [ { "TestLessThan": { @@ -36481,7 +36596,7 @@ ] ], [ - 18377, + 18453, [ { "TestLessThan": { @@ -36503,7 +36618,7 @@ ] ], [ - 18397, + 18473, [ { "TestLessThan": { @@ -36525,7 +36640,7 @@ ] ], [ - 18433, + 18509, [ { "Uint512DivModByUint256": { @@ -36594,7 +36709,7 @@ ] ], [ - 18451, + 18527, [ { "WideMul128": { @@ -36719,7 +36834,7 @@ ] ], [ - 18480, + 18556, [ { "TestLessThan": { @@ -36744,7 +36859,7 @@ ] ], [ - 18492, + 18568, [ { "TestLessThan": { @@ -36769,7 +36884,7 @@ ] ], [ - 18507, + 18583, [ { "DivMod": { @@ -36795,7 +36910,7 @@ ] ], [ - 18517, + 18593, [ { "DivMod": { @@ -36821,7 +36936,7 @@ ] ], [ - 18528, + 18604, [ { "DivMod": { @@ -36847,7 +36962,7 @@ ] ], [ - 18537, + 18613, [ { "DivMod": { @@ -36873,7 +36988,7 @@ ] ], [ - 18547, + 18623, [ { "DivMod": { @@ -36899,7 +37014,7 @@ ] ], [ - 18558, + 18634, [ { "DivMod": { @@ -36925,7 +37040,7 @@ ] ], [ - 18567, + 18643, [ { "DivMod": { @@ -36951,7 +37066,7 @@ ] ], [ - 18577, + 18653, [ { "DivMod": { @@ -36977,7 +37092,7 @@ ] ], [ - 18588, + 18664, [ { "DivMod": { @@ -37003,7 +37118,7 @@ ] ], [ - 18597, + 18673, [ { "DivMod": { @@ -37029,7 +37144,7 @@ ] ], [ - 18607, + 18683, [ { "DivMod": { @@ -37055,7 +37170,7 @@ ] ], [ - 18618, + 18694, [ { "DivMod": { @@ -37081,7 +37196,7 @@ ] ], [ - 18627, + 18703, [ { "DivMod": { @@ -37107,7 +37222,7 @@ ] ], [ - 18637, + 18713, [ { "DivMod": { @@ -37133,7 +37248,7 @@ ] ], [ - 18648, + 18724, [ { "DivMod": { @@ -37159,7 +37274,7 @@ ] ], [ - 18668, + 18744, [ { "SystemCall": { @@ -37174,7 +37289,7 @@ ] ], [ - 18680, + 18756, [ { "SystemCall": { @@ -37195,7 +37310,7 @@ ] ], [ - 18691, + 18767, [ { "SystemCall": { @@ -37216,7 +37331,7 @@ ] ], [ - 18737, + 18813, [ { "AllocSegment": { @@ -37229,7 +37344,7 @@ ] ], [ - 18753, + 18829, [ { "DivMod": { @@ -37255,7 +37370,7 @@ ] ], [ - 18763, + 18839, [ { "DivMod": { @@ -37281,7 +37396,7 @@ ] ], [ - 18774, + 18850, [ { "DivMod": { @@ -37307,7 +37422,7 @@ ] ], [ - 18783, + 18859, [ { "DivMod": { @@ -37333,7 +37448,7 @@ ] ], [ - 18793, + 18869, [ { "DivMod": { @@ -37359,7 +37474,7 @@ ] ], [ - 18804, + 18880, [ { "DivMod": { @@ -37385,7 +37500,7 @@ ] ], [ - 18813, + 18889, [ { "AllocSegment": { @@ -37398,7 +37513,7 @@ ] ], [ - 18830, + 18906, [ { "AllocSegment": { @@ -37411,7 +37526,7 @@ ] ], [ - 18887, + 18963, [ { "SystemCall": { @@ -37426,7 +37541,7 @@ ] ], [ - 18894, + 18970, [ { "AllocConstantSize": { @@ -37442,7 +37557,7 @@ ] ], [ - 18898, + 18974, [ { "AllocSegment": { @@ -37455,7 +37570,7 @@ ] ], [ - 18933, + 19009, [ { "SystemCall": { @@ -37470,7 +37585,7 @@ ] ], [ - 19006, + 19082, [ { "DivMod": { @@ -37499,7 +37614,7 @@ ] ], [ - 19012, + 19088, [ { "TestLessThan": { @@ -37521,7 +37636,7 @@ ] ], [ - 19079, + 19155, [ { "WideMul128": { @@ -37550,7 +37665,7 @@ ] ], [ - 19081, + 19157, [ { "DivMod": { @@ -37576,7 +37691,7 @@ ] ], [ - 19091, + 19167, [ { "DivMod": { @@ -37602,7 +37717,7 @@ ] ], [ - 19102, + 19178, [ { "DivMod": { @@ -37628,7 +37743,7 @@ ] ], [ - 19111, + 19187, [ { "WideMul128": { @@ -37657,7 +37772,7 @@ ] ], [ - 19113, + 19189, [ { "DivMod": { @@ -37683,7 +37798,7 @@ ] ], [ - 19123, + 19199, [ { "DivMod": { @@ -37709,7 +37824,7 @@ ] ], [ - 19134, + 19210, [ { "DivMod": { @@ -37735,7 +37850,7 @@ ] ], [ - 19144, + 19220, [ { "TestLessThan": { @@ -37757,7 +37872,7 @@ ] ], [ - 19166, + 19242, [ { "WideMul128": { @@ -37786,7 +37901,7 @@ ] ], [ - 19168, + 19244, [ { "DivMod": { @@ -37812,7 +37927,7 @@ ] ], [ - 19178, + 19254, [ { "DivMod": { @@ -37838,7 +37953,7 @@ ] ], [ - 19189, + 19265, [ { "DivMod": { @@ -37864,7 +37979,7 @@ ] ], [ - 19199, + 19275, [ { "TestLessThan": { @@ -37886,7 +38001,7 @@ ] ], [ - 19222, + 19298, [ { "TestLessThan": { @@ -37908,7 +38023,7 @@ ] ], [ - 19244, + 19320, [ { "WideMul128": { @@ -37937,7 +38052,7 @@ ] ], [ - 19246, + 19322, [ { "DivMod": { @@ -37963,7 +38078,7 @@ ] ], [ - 19256, + 19332, [ { "DivMod": { @@ -37989,7 +38104,7 @@ ] ], [ - 19267, + 19343, [ { "DivMod": { @@ -38015,7 +38130,7 @@ ] ], [ - 19277, + 19353, [ { "TestLessThan": { @@ -38037,7 +38152,7 @@ ] ], [ - 19301, + 19377, [ { "TestLessThan": { @@ -38059,7 +38174,7 @@ ] ], [ - 19326, + 19402, [ { "TestLessThan": { @@ -38081,7 +38196,7 @@ ] ], [ - 19350, + 19426, [ { "TestLessThan": { @@ -38103,7 +38218,7 @@ ] ], [ - 19468, + 19544, [ { "AllocSegment": { @@ -38116,7 +38231,7 @@ ] ], [ - 19491, + 19567, [ { "TestLessThanOrEqual": { @@ -38141,7 +38256,7 @@ ] ], [ - 19566, + 19642, [ { "AllocSegment": { @@ -38154,7 +38269,7 @@ ] ], [ - 19621, + 19697, [ { "DivMod": { @@ -38183,7 +38298,7 @@ ] ], [ - 19627, + 19703, [ { "TestLessThan": { @@ -38205,7 +38320,7 @@ ] ], [ - 19640, + 19716, [ { "TestLessThan": { @@ -38227,7 +38342,7 @@ ] ], [ - 19650, + 19726, [ { "TestLessThan": { @@ -38249,7 +38364,7 @@ ] ], [ - 19698, + 19774, [ { "DivMod": { @@ -38278,7 +38393,7 @@ ] ], [ - 19704, + 19780, [ { "TestLessThan": { @@ -38300,7 +38415,7 @@ ] ], [ - 19720, + 19796, [ { "TestLessThan": { @@ -38322,7 +38437,7 @@ ] ], [ - 19730, + 19806, [ { "TestLessThan": { @@ -38344,7 +38459,7 @@ ] ], [ - 19753, + 19829, [ { "AllocSegment": { @@ -38357,7 +38472,7 @@ ] ], [ - 19767, + 19843, [ { "AllocSegment": { @@ -38370,7 +38485,7 @@ ] ], [ - 19786, + 19862, [ { "AllocSegment": { @@ -38383,7 +38498,7 @@ ] ], [ - 19800, + 19876, [ { "AllocSegment": { diff --git a/crates/blockifier/feature_contracts/cairo1/test_contract.cairo b/crates/blockifier/feature_contracts/cairo1/test_contract.cairo index d87a76efda..848be5fa84 100644 --- a/crates/blockifier/feature_contracts/cairo1/test_contract.cairo +++ b/crates/blockifier/feature_contracts/cairo1/test_contract.cairo @@ -106,7 +106,7 @@ mod TestContract { syscalls::replace_class_syscall(class_hash).unwrap_syscall(); syscalls::send_message_to_l1_syscall(17.try_into().unwrap(), dummy_span).unwrap_syscall(); self.my_storage_var.write(17); - panic!("test_revert_helper"); + panic(array!['test_revert_helper']); } #[external(v0)] @@ -626,6 +626,12 @@ mod TestContract { *error_span.pop_back().unwrap() == 'ENTRYPOINT_FAILED', 'Unexpected error', ); + let inner_error = *error_span.pop_back().unwrap(); + if entry_point_selector == selector!("bad_selector") { + assert(inner_error == 'ENTRYPOINT_NOT_FOUND', 'Unexpected error'); + } else { + assert(inner_error == 'test_revert_helper', 'Unexpected error'); + } }, }; // TODO(Yoni, 1/12/2024): test replace class once get_class_hash_at syscall is supported. diff --git a/crates/blockifier/src/execution/entry_point_test.rs b/crates/blockifier/src/execution/entry_point_test.rs index 9d842b8869..3bc1c9eea5 100644 --- a/crates/blockifier/src/execution/entry_point_test.rs +++ b/crates/blockifier/src/execution/entry_point_test.rs @@ -4,6 +4,7 @@ use cairo_vm::types::builtin_name::BuiltinName; use num_bigint::BigInt; use pretty_assertions::assert_eq; use starknet_api::core::{EntryPointSelector, PatriciaKey}; +use starknet_api::execution_utils::format_panic_data; use starknet_api::transaction::{Calldata, Fee}; use starknet_api::{calldata, felt, storage_key}; @@ -164,10 +165,11 @@ fn test_entry_point_not_found_in_contract() { let entry_point_selector = EntryPointSelector(felt!(2_u8)); let entry_point_call = CallEntryPoint { entry_point_selector, ..trivial_external_entry_point_new(test_contract) }; - let error = entry_point_call.execute_directly(&mut state).unwrap_err(); + let call_info = entry_point_call.execute_directly(&mut state).unwrap(); + assert!(call_info.execution.failed); assert_eq!( - format!("Entry point {entry_point_selector:?} not found in contract."), - format!("{error}") + format_panic_data(&call_info.execution.retdata.0), + "0x454e545259504f494e545f4e4f545f464f554e44 ('ENTRYPOINT_NOT_FOUND')" ); } @@ -396,13 +398,6 @@ fn test_syscall_execution_security_failures() { "test_bad_syscall_request_arg_type", calldata![], ); - run_security_test( - state, - security_contract, - "Entry point EntryPointSelector(0x19) not found in contract", - "test_bad_call_selector", - calldata![], - ); run_security_test( state, security_contract, diff --git a/crates/blockifier/src/execution/execution_utils.rs b/crates/blockifier/src/execution/execution_utils.rs index 1cb387041f..2fcf1c064d 100644 --- a/crates/blockifier/src/execution/execution_utils.rs +++ b/crates/blockifier/src/execution/execution_utils.rs @@ -21,8 +21,14 @@ use starknet_api::deprecated_contract_class::Program as DeprecatedProgram; use starknet_api::transaction::Calldata; use starknet_types_core::felt::Felt; +use super::call_info::CallExecution; use super::entry_point::ConstructorEntryPointExecutionResult; -use super::errors::ConstructorEntryPointExecutionError; +use super::errors::{ + ConstructorEntryPointExecutionError, + EntryPointExecutionError, + PreExecutionError, +}; +use super::syscalls::hint_processor::ENTRYPOINT_NOT_FOUND_ERROR; use crate::execution::call_info::{CallInfo, Retdata}; use crate::execution::contract_class::{ContractClass, TrackedResource}; use crate::execution::entry_point::{ @@ -72,14 +78,32 @@ pub fn execute_entry_point_call_wrapper( None => context.tracked_resource_stack.push(contract_tracked_resource), }; + let orig_call = call.clone(); let res = execute_entry_point_call(call, contract_class, state, resources, context); - context.tracked_resource_stack.pop(); + let current_tracked_resource = + context.tracked_resource_stack.pop().expect("Unexpected empty tracked resource."); - if let Ok(call_info) = &res { - update_remaining_gas(remaining_gas, call_info); + match res { + Ok(call_info) => { + update_remaining_gas(remaining_gas, &call_info); + Ok(call_info) + } + Err(EntryPointExecutionError::PreExecutionError( + PreExecutionError::EntryPointNotFound(_) + | PreExecutionError::NoEntryPointOfTypeFound(_), + )) if context.versioned_constants().enable_reverts => Ok(CallInfo { + call: orig_call, + execution: CallExecution { + retdata: Retdata(vec![Felt::from_hex(ENTRYPOINT_NOT_FOUND_ERROR).unwrap()]), + failed: true, + gas_consumed: 0, + ..CallExecution::default() + }, + tracked_resource: current_tracked_resource, + ..CallInfo::default() + }), + Err(err) => Err(err), } - - res } /// Executes a specific call to a contract entry point and returns its output. diff --git a/crates/blockifier/src/execution/syscalls/hint_processor.rs b/crates/blockifier/src/execution/syscalls/hint_processor.rs index 3d8cbf2127..3fd8060412 100644 --- a/crates/blockifier/src/execution/syscalls/hint_processor.rs +++ b/crates/blockifier/src/execution/syscalls/hint_processor.rs @@ -192,6 +192,9 @@ pub const OUT_OF_GAS_ERROR: &str = // "Block number out of range"; pub const BLOCK_NUMBER_OUT_OF_RANGE_ERROR: &str = "0x00000000000000426c6f636b206e756d626572206f7574206f662072616e6765"; +// "ENTRYPOINT_NOT_FOUND"; +pub const ENTRYPOINT_NOT_FOUND_ERROR: &str = + "0x000000000000000000000000454e545259504f494e545f4e4f545f464f554e44"; // "ENTRYPOINT_FAILED"; pub const ENTRYPOINT_FAILED_ERROR: &str = "0x000000000000000000000000000000454e545259504f494e545f4641494c4544"; diff --git a/crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs b/crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs index 9e3b573c98..a8824f0fed 100644 --- a/crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs +++ b/crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs @@ -48,7 +48,10 @@ fn test_call_contract_that_panics() { }; // The inner call should have failed. assert!(inner_call.execution.failed); - assert_eq!(format_panic_data(&inner_call.execution.retdata.0), "\"test_revert_helper\""); + assert_eq!( + format_panic_data(&inner_call.execution.retdata.0), + "0x746573745f7265766572745f68656c706572 ('test_revert_helper')" + ); assert!(inner_call.execution.events.is_empty()); assert!(inner_call.execution.l2_to_l1_messages.is_empty()); assert_eq!( diff --git a/crates/blockifier/src/transaction/account_transactions_test.rs b/crates/blockifier/src/transaction/account_transactions_test.rs index 8d377e80c7..71994d3be9 100644 --- a/crates/blockifier/src/transaction/account_transactions_test.rs +++ b/crates/blockifier/src/transaction/account_transactions_test.rs @@ -1548,12 +1548,11 @@ fn test_revert_in_execute( } #[rstest] -#[case(true)] -#[case(false)] fn test_call_contract_that_panics( mut block_context: BlockContext, default_l1_resource_bounds: ValidResourceBounds, - #[case] enable_reverts: bool, + #[values(true, false)] enable_reverts: bool, + #[values("test_revert_helper", "bad_selector")] inner_selector: &str, ) { // Override enable reverts. block_context.versioned_constants.enable_reverts = enable_reverts; @@ -1569,7 +1568,7 @@ fn test_call_contract_that_panics( let calldata = [ *FeatureContract::TestContract(CairoVersion::Cairo1).get_instance_address(0).0.key(), - selector_from_name("test_revert_helper").0, + selector_from_name(inner_selector).0, felt!(1_u8), new_class_hash.0, ]; diff --git a/crates/papyrus_rpc/src/v0_8/execution_test.rs b/crates/papyrus_rpc/src/v0_8/execution_test.rs index 5160040918..5d7ffe3ceb 100644 --- a/crates/papyrus_rpc/src/v0_8/execution_test.rs +++ b/crates/papyrus_rpc/src/v0_8/execution_test.rs @@ -287,7 +287,17 @@ async fn execution_call() { .unwrap_err(); const CONTRACT_ERROR_CODE: i32 = 40; - assert_matches!(err, Error::Call(err) if err.code() == CONTRACT_ERROR_CODE); + + match err { + Error::Call(err) => { + assert_eq!(err.code(), CONTRACT_ERROR_CODE); + assert_eq!( + err.data().unwrap().get(), + r##"{"revert_error":"0x454e545259504f494e545f4e4f545f464f554e44 ('ENTRYPOINT_NOT_FOUND')"}"## + ); + } + _ => panic!("Expected Error::Call"), + } // Test that the block context is passed correctly to blockifier. let mut calldata = get_calldata_for_test_execution_info(