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 81c8e4df31..ce3d793a9e 100644 --- a/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json +++ b/crates/blockifier/feature_contracts/cairo1/compiled/test_contract.casm.json @@ -88,9 +88,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4b63", + "0x4ba0", "0x482480017fff8000", - "0x4b62", + "0x4b9f", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -263,9 +263,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4ab4", + "0x4af1", "0x482480017fff8000", - "0x4ab3", + "0x4af0", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -536,9 +536,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x49a3", + "0x49e0", "0x482480017fff8000", - "0x49a2", + "0x49df", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -894,9 +894,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x483d", + "0x487a", "0x482480017fff8000", - "0x483c", + "0x4879", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1263,9 +1263,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x46cc", + "0x4709", "0x482480017fff8000", - "0x46cb", + "0x4708", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1511,9 +1511,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x45d4", + "0x4611", "0x482480017fff8000", - "0x45d3", + "0x4610", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -1789,9 +1789,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x44be", + "0x44fb", "0x482480017fff8000", - "0x44bd", + "0x44fa", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2009,9 +2009,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x43e2", + "0x441f", "0x482480017fff8000", - "0x43e1", + "0x441e", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2189,9 +2189,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x432e", + "0x436b", "0x482480017fff8000", - "0x432d", + "0x436a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2487,9 +2487,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4204", + "0x4241", "0x482480017fff8000", - "0x4203", + "0x4240", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2740,9 +2740,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x4107", + "0x4144", "0x482480017fff8000", - "0x4106", + "0x4143", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -2957,9 +2957,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x402e", + "0x406b", "0x482480017fff8000", - "0x402d", + "0x406a", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3133,9 +3133,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3f7e", + "0x3fbb", "0x482480017fff8000", - "0x3f7d", + "0x3fba", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3286,9 +3286,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3ee5", + "0x3f22", "0x482480017fff8000", - "0x3ee4", + "0x3f21", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3506,9 +3506,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3e09", + "0x3e46", "0x482480017fff8000", - "0x3e08", + "0x3e45", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3698,9 +3698,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3d49", + "0x3d86", "0x482480017fff8000", - "0x3d48", + "0x3d85", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3802,9 +3802,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3ce1", + "0x3d1e", "0x482480017fff8000", - "0x3ce0", + "0x3d1d", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -3907,9 +3907,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3c78", + "0x3cb5", "0x482480017fff8000", - "0x3c77", + "0x3cb4", "0x480080007fff8000", "0x480080017fff8000", "0x484480017fff8000", @@ -4019,9 +4019,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3c08", + "0x3c45", "0x482480017fff8000", - "0x3c07", + "0x3c44", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4141,9 +4141,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3b8e", + "0x3bcb", "0x482480017fff8000", - "0x3b8d", + "0x3bca", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4316,9 +4316,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3adf", + "0x3b1c", "0x482480017fff8000", - "0x3ade", + "0x3b1b", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4452,9 +4452,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3a57", + "0x3a94", "0x482480017fff8000", - "0x3a56", + "0x3a93", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4554,9 +4554,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x39f1", + "0x3a2e", "0x482480017fff8000", - "0x39f0", + "0x3a2d", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4681,9 +4681,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3972", + "0x39af", "0x482480017fff8000", - "0x3971", + "0x39ae", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -4862,9 +4862,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x38bd", + "0x38fa", "0x482480017fff8000", - "0x38bc", + "0x38f9", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5070,9 +5070,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x37ed", + "0x382a", "0x482480017fff8000", - "0x37ec", + "0x3829", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -5335,9 +5335,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x36e4", + "0x3721", "0x482480017fff8000", - "0x36e3", + "0x3720", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -5646,9 +5646,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x35ad", + "0x35ea", "0x482480017fff8000", - "0x35ac", + "0x35e9", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -5829,9 +5829,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x34f6", + "0x3533", "0x482480017fff8000", - "0x34f5", + "0x3532", "0x480080007fff8000", "0x480080027fff8000", "0x482480017fff8000", @@ -5949,9 +5949,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x347e", + "0x34bb", "0x482480017fff8000", - "0x347d", + "0x34ba", "0x480080007fff8000", "0x480080007fff8000", "0x484480017fff8000", @@ -6086,9 +6086,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x33f5", + "0x3432", "0x482480017fff8000", - "0x33f4", + "0x3431", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6224,9 +6224,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x336b", + "0x33a8", "0x482480017fff8000", - "0x336a", + "0x33a7", "0x480080007fff8000", "0x480080047fff8000", "0x484480017fff8000", @@ -6350,9 +6350,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x32ed", + "0x332a", "0x482480017fff8000", - "0x32ec", + "0x3329", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6565,21 +6565,21 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x3216", + "0x3253", "0x482480017fff8000", - "0x3215", + "0x3252", "0x480080007fff8000", "0xa0680017fff8000", "0x9", "0x4824800180007ff3", - "0x5fc8", + "0xb4f0", "0x482480017fff8000", "0x100000000000000000000000000000000", "0x400080007ff07fff", "0x10780017fff7fff", "0x23", "0x4824800180007ff3", - "0x5fc8", + "0xb4f0", "0x400080007ff17fff", "0x482480017ff18000", "0x1", @@ -6753,9 +6753,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x315a", + "0x3197", "0x482480017fff8000", - "0x3159", + "0x3196", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -6934,9 +6934,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x30a5", + "0x30e2", "0x482480017fff8000", - "0x30a4", + "0x30e1", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -7115,9 +7115,9 @@ "0x1", "0x208b7fff7fff7ffe", "0x1104800180018000", - "0x2ff0", + "0x302d", "0x482480017fff8000", - "0x2fef", + "0x302c", "0x480080007fff8000", "0xa0680017fff8000", "0x9", @@ -7957,7 +7957,7 @@ "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0x12dd", + "0x131a", "0x20680017fff7ffa", "0x357", "0x20680017fff7ffd", @@ -8022,7 +8022,7 @@ "0x48127ffa7fff8000", "0x480080007ff88000", "0x1104800180018000", - "0x1355", + "0x1392", "0x20680017fff7ffa", "0x210", "0x20680017fff7ffd", @@ -8095,7 +8095,7 @@ "0x48127ff97fff8000", "0x48127ff97fff8000", "0x1104800180018000", - "0x1253", + "0x1290", "0x20680017fff7ffa", "0x165", "0x20680017fff7ffd", @@ -8195,7 +8195,7 @@ "0x48127ff87fff8000", "0x48127ff87fff8000", "0x1104800180018000", - "0x11ef", + "0x122c", "0x20680017fff7ffa", "0x49", "0x20680017fff7ffd", @@ -9087,7 +9087,7 @@ "0x480a7fed7fff8000", "0x480a7fee7fff8000", "0x1104800180018000", - "0xf7c", + "0xfb9", "0x20680017fff7ffa", "0xdc", "0x20680017fff7fff", @@ -9127,7 +9127,7 @@ "0x480a7ff27fff8000", "0x480a7ff37fff8000", "0x1104800180018000", - "0xfc8", + "0x1005", "0x20680017fff7ffa", "0xa2", "0x20680017fff7fff", @@ -9163,7 +9163,7 @@ "0x480a7ff57fff8000", "0x480a7ff67fff8000", "0x1104800180018000", - "0xf30", + "0xf6d", "0x20680017fff7ffa", "0x78", "0x20680017fff7fff", @@ -9208,7 +9208,7 @@ "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x1104800180018000", - "0xf03", + "0xf40", "0x20680017fff7ffa", "0x45", "0x20680017fff7fff", @@ -9645,7 +9645,7 @@ "0x48127ffb7fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0xe4c", + "0xe89", "0x20680017fff7ffb", "0xb4", "0x48127ff97fff8000", @@ -9657,7 +9657,7 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xe99", + "0xed6", "0x20680017fff7ffd", "0xa1", "0x480680017fff8000", @@ -9853,13 +9853,13 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xece", + "0xf0b", "0x20680017fff7ffd", "0x37", "0x1104800180018000", - "0x251e", + "0x255b", "0x482480017fff8000", - "0x251d", + "0x255a", "0x48127ff97fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", @@ -9867,7 +9867,7 @@ "0x48127ff87fff8000", "0x48127ffa7fff8000", "0x1104800180018000", - "0xfbe", + "0xffb", "0x20680017fff7ffc", "0x22", "0x48127fff7fff8000", @@ -10141,7 +10141,7 @@ "0x482480017ff48000", "0xbb448978bd42b984d7de5970bcaf5c43", "0x1104800180018000", - "0xf0d", + "0xf4a", "0x20680017fff7ffd", "0x17", "0x20680017fff7ffe", @@ -10494,7 +10494,7 @@ "0x177e60492c5a8242f76f07bfe3661bd", "0x48127ff47fff8000", "0x1104800180018000", - "0xe76", + "0xeb3", "0x20680017fff7ffd", "0xc", "0x48127ffa7fff8000", @@ -12175,9 +12175,9 @@ "0x20680017fff7fff", "0x14d", "0x1104800180018000", - "0x1c19", + "0x1c56", "0x482480017fff8000", - "0x1c18", + "0x1c55", "0x480680017fff8000", "0x2", "0x482480017ffe8000", @@ -12259,7 +12259,7 @@ "0x480680017fff8000", "0x0", "0x1104800180018000", - "0xc57", + "0xc94", "0x402580017fd38005", "0x1", "0x20680017fff7fff", @@ -12278,7 +12278,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xc63", + "0xca0", "0x20680017fff7ffb", "0x70", "0x48127ffa7fff8000", @@ -12291,7 +12291,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xc56", + "0xc93", "0x20680017fff7ffb", "0x59", "0x48127ffa7fff8000", @@ -12304,7 +12304,7 @@ "0x480680017fff8000", "0x1f", "0x1104800180018000", - "0xc49", + "0xc86", "0x20680017fff7ffb", "0x42", "0x48127ffa7fff8000", @@ -12317,7 +12317,7 @@ "0x480680017fff8000", "0x2", "0x1104800180018000", - "0xc3c", + "0xc79", "0x20680017fff7ffb", "0x2b", "0x40780017fff7fff", @@ -12339,7 +12339,7 @@ "0x482480017ff88000", "0x2", "0x1104800180018000", - "0x108e", + "0x10cb", "0x20680017fff7ffd", "0x9", "0x400180007fff8003", @@ -12571,18 +12571,28 @@ "0x0", "0x208b7fff7fff7ffe", "0x480680017fff8000", - "0x43616c6c436f6e7472616374", + "0x476574436c617373486173684174", "0x400280007ff97fff", "0x400380017ff97ff8", "0x400380027ff97ffa", - "0x400380037ff97ffb", - "0x400380047ff97ffc", - "0x400380057ff97ffd", - "0x480280077ff98000", + "0x480280047ff98000", + "0x20680017fff7fff", + "0x103", + "0x480280037ff98000", + "0x480280057ff98000", + "0x480680017fff8000", + "0x43616c6c436f6e7472616374", + "0x400280067ff97fff", + "0x400280077ff97ffd", + "0x400380087ff97ffa", + "0x400380097ff97ffb", + "0x4003800a7ff97ffc", + "0x4003800b7ff97ffd", + "0x4802800d7ff98000", "0x20680017fff7fff", "0x1c", "0x40780017fff7fff", - "0x13", + "0x18", "0x40780017fff7fff", "0x1", "0x480680017fff8000", @@ -12598,25 +12608,25 @@ "0xf", "0x400080037ffb7fff", "0x480a7ff77fff8000", - "0x480280067ff98000", + "0x4802800c7ff98000", "0x482680017ff98000", - "0xa", + "0x10", "0x480680017fff8000", "0x1", "0x48127ff77fff8000", "0x482480017ff68000", "0x4", "0x208b7fff7fff7ffe", - "0x480280087ff98000", - "0x480280097ff98000", - "0x480280067ff98000", + "0x4802800e7ff98000", + "0x4802800f7ff98000", + "0x4802800c7ff98000", "0x482680017ff98000", - "0xa", + "0x10", "0x48307ffc80007ffd", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x9a", + "0xc2", "0x4824800180007ffc", "0x1", "0x480080007fff8000", @@ -12626,12 +12636,12 @@ "0x4824800180007ff8", "0x1", "0x20680017fff7ffd", - "0x80", + "0xa8", "0x48307ffe80007fff", "0x20680017fff7fff", "0x4", "0x10780017fff7fff", - "0x6b", + "0x93", "0x4824800180007ffe", "0x1", "0x4825800180007ffb", @@ -12646,15 +12656,15 @@ "0x10780017fff7fff", "0x16", "0x40780017fff7fff", - "0x7", + "0xc", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x556e6578706563746564206572726f72", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127fe97fff8000", - "0x48127fe97fff8000", + "0x48127fe47fff8000", + "0x48127fe47fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -12664,31 +12674,44 @@ "0x4824800180007fff", "0x746573745f7265766572745f68656c706572", "0x20680017fff7fff", - "0x3a", + "0x62", + "0x480680017fff8000", + "0x476574436c617373486173684174", + "0x400080007ff37fff", + "0x400080017ff37ff2", + "0x400180027ff37ffa", + "0x480080047ff38000", + "0x20680017fff7fff", + "0x4f", + "0x480080037ff28000", "0x480680017fff8000", "0x0", "0x480680017fff8000", "0x1275130f95dda36bcbb6e9d28796c1d7e10b6e9fd5ed083e0ede4b12f613528", + "0x480080057fef8000", "0x480680017fff8000", "0x53746f7261676552656164", - "0x400080007ff17fff", - "0x400080017ff17ff0", - "0x400080027ff17ffd", - "0x400080037ff17ffe", - "0x480080057ff18000", + "0x400080067fed7fff", + "0x400080077fed7ffb", + "0x400080087fed7ffc", + "0x400080097fed7ffd", + "0x4800800b7fed8000", "0x20680017fff7fff", - "0x22", - "0x480080067ff08000", - "0x480080047fef8000", - "0x482480017fee8000", - "0x7", + "0x35", + "0x4800800c7fec8000", + "0x4800800a7feb8000", + "0x482480017fea8000", + "0xd", "0x20680017fff7ffd", + "0x1f", + "0x48307ffa80007fe3", + "0x20680017fff7fff", "0xe", "0x40780017fff7fff", "0x2", "0x480a7ff77fff8000", - "0x48127ffb7fff8000", - "0x48127ffb7fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x480680017fff8000", "0x0", "0x480680017fff8000", @@ -12699,11 +12722,27 @@ "0x40780017fff7fff", "0x1", "0x480680017fff8000", + "0x636c61737320686173682073686f756c64206e6f74206368616e67652e", + "0x400080007ffe7fff", + "0x480a7ff77fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", + "0x480680017fff8000", + "0x1", + "0x48127ffa7fff8000", + "0x482480017ff98000", + "0x1", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x1", + "0x40780017fff7fff", + "0x1", + "0x480680017fff8000", "0x76616c7565732073686f756c64206e6f74206368616e67652e", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127ffb7fff8000", - "0x48127ffb7fff8000", + "0x48127ffa7fff8000", + "0x48127ffa7fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -12711,26 +12750,37 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0x5", + "0x6", "0x480a7ff77fff8000", - "0x480080047fea8000", - "0x482480017fe98000", - "0x8", + "0x4800800a7fe58000", + "0x482480017fe48000", + "0xe", "0x480680017fff8000", "0x1", - "0x480080067fe78000", - "0x480080077fe68000", + "0x4800800c7fe28000", + "0x4800800d7fe18000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", + "0xc", + "0x480a7ff77fff8000", + "0x480080037fe58000", + "0x482480017fe48000", "0x7", + "0x480680017fff8000", + "0x1", + "0x480080057fe28000", + "0x480080067fe18000", + "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0xc", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x556e6578706563746564206572726f72", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127fe97fff8000", - "0x48127fe97fff8000", + "0x48127fe47fff8000", + "0x48127fe47fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -12738,15 +12788,15 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0xb", + "0x10", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7074696f6e3a3a756e77726170206661696c65642e", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127fe97fff8000", - "0x48127fe97fff8000", + "0x48127fe47fff8000", + "0x48127fe47fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -12754,15 +12804,15 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0xc", + "0x11", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x556e6578706563746564206572726f72", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127fe97fff8000", - "0x48127fe97fff8000", + "0x48127fe47fff8000", + "0x48127fe47fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", @@ -12770,21 +12820,32 @@ "0x1", "0x208b7fff7fff7ffe", "0x40780017fff7fff", - "0x11", + "0x16", "0x40780017fff7fff", "0x1", "0x480680017fff8000", "0x4f7074696f6e3a3a756e77726170206661696c65642e", "0x400080007ffe7fff", "0x480a7ff77fff8000", - "0x48127fe97fff8000", - "0x48127fe97fff8000", + "0x48127fe47fff8000", + "0x48127fe47fff8000", "0x480680017fff8000", "0x1", "0x48127ffa7fff8000", "0x482480017ff98000", "0x1", "0x208b7fff7fff7ffe", + "0x40780017fff7fff", + "0x21", + "0x480a7ff77fff8000", + "0x480280037ff98000", + "0x482680017ff98000", + "0x7", + "0x480680017fff8000", + "0x1", + "0x480280057ff98000", + "0x480280067ff98000", + "0x208b7fff7fff7ffe", "0x48297ffc80007ffd", "0x20680017fff7fff", "0x4", @@ -19448,7 +19509,7 @@ 302, 445, 33, - 215, + 276, 185, 80, 116, @@ -25366,7 +25427,7 @@ { "TestLessThanOrEqual": { "lhs": { - "Immediate": "0x5fc8" + "Immediate": "0xb4f0" }, "rhs": { "Deref": { @@ -29234,7 +29295,7 @@ ] ], [ - 12576, + 12573, [ { "SystemCall": { @@ -29249,7 +29310,28 @@ ] ], [ - 12581, + 12586, + [ + { + "SystemCall": { + "system": { + "BinOp": { + "op": "Add", + "a": { + "register": "FP", + "offset": -7 + }, + "b": { + "Immediate": "0x6" + } + } + } + } + } + ] + ], + [ + 12591, [ { "AllocSegment": { @@ -29262,7 +29344,7 @@ ] ], [ - 12645, + 12655, [ { "AllocSegment": { @@ -29275,14 +29357,35 @@ ] ], [ - 12673, + 12678, [ { "SystemCall": { "system": { "Deref": { "register": "AP", - "offset": -15 + "offset": -13 + } + } + } + } + ] + ], + [ + 12693, + [ + { + "SystemCall": { + "system": { + "BinOp": { + "op": "Add", + "a": { + "register": "AP", + "offset": -19 + }, + "b": { + "Immediate": "0x6" + } } } } @@ -29290,7 +29393,7 @@ ] ], [ - 12694, + 12717, [ { "AllocSegment": { @@ -29303,7 +29406,7 @@ ] ], [ - 12721, + 12733, [ { "AllocSegment": { @@ -29316,7 +29419,7 @@ ] ], [ - 12737, + 12771, [ { "AllocSegment": { @@ -29329,7 +29432,7 @@ ] ], [ - 12753, + 12787, [ { "AllocSegment": { @@ -29342,7 +29445,7 @@ ] ], [ - 12769, + 12803, [ { "AllocSegment": { @@ -29355,7 +29458,20 @@ ] ], [ - 12805, + 12819, + [ + { + "AllocSegment": { + "dst": { + "register": "AP", + "offset": 0 + } + } + } + ] + ], + [ + 12866, [ { "TestLessThan": { @@ -29383,7 +29499,7 @@ ] ], [ - 12809, + 12870, [ { "LinearSplit": { @@ -29412,7 +29528,7 @@ ] ], [ - 12831, + 12892, [ { "TestLessThanOrEqual": { @@ -29437,7 +29553,7 @@ ] ], [ - 12845, + 12906, [ { "TestLessThan": { @@ -29459,7 +29575,7 @@ ] ], [ - 12855, + 12916, [ { "TestLessThanOrEqual": { @@ -29484,7 +29600,7 @@ ] ], [ - 12878, + 12939, [ { "AllocSegment": { @@ -29497,7 +29613,7 @@ ] ], [ - 12899, + 12960, [ { "AllocSegment": { @@ -29510,7 +29626,7 @@ ] ], [ - 12920, + 12981, [ { "AllocSegment": { @@ -29523,7 +29639,7 @@ ] ], [ - 12968, + 13029, [ { "TestLessThanOrEqual": { @@ -29545,7 +29661,7 @@ ] ], [ - 13028, + 13089, [ { "AllocSegment": { @@ -29558,7 +29674,7 @@ ] ], [ - 13048, + 13109, [ { "TestLessThanOrEqual": { @@ -29580,7 +29696,7 @@ ] ], [ - 13114, + 13175, [ { "AllocSegment": { @@ -29593,7 +29709,7 @@ ] ], [ - 13144, + 13205, [ { "AllocSegment": { @@ -29606,7 +29722,7 @@ ] ], [ - 13164, + 13225, [ { "TestLessThanOrEqual": { @@ -29628,7 +29744,7 @@ ] ], [ - 13252, + 13313, [ { "AllocSegment": { @@ -29641,7 +29757,7 @@ ] ], [ - 13282, + 13343, [ { "AllocSegment": { @@ -29654,7 +29770,7 @@ ] ], [ - 13302, + 13363, [ { "TestLessThanOrEqual": { @@ -29676,7 +29792,7 @@ ] ], [ - 13373, + 13434, [ { "AllocSegment": { @@ -29689,7 +29805,7 @@ ] ], [ - 13394, + 13455, [ { "DivMod": { @@ -29718,7 +29834,7 @@ ] ], [ - 13455, + 13516, [ { "AllocSegment": { @@ -29731,7 +29847,7 @@ ] ], [ - 13508, + 13569, [ { "AllocSegment": { @@ -29744,7 +29860,7 @@ ] ], [ - 13521, + 13582, [ { "DivMod": { @@ -29773,7 +29889,7 @@ ] ], [ - 13529, + 13590, [ { "TestLessThan": { @@ -29804,7 +29920,7 @@ ] ], [ - 13557, + 13618, [ { "TestLessThan": { @@ -29826,7 +29942,7 @@ ] ], [ - 13574, + 13635, [ { "AllocSegment": { @@ -29839,7 +29955,7 @@ ] ], [ - 13590, + 13651, [ { "TestLessThan": { @@ -29870,7 +29986,7 @@ ] ], [ - 13612, + 13673, [ { "AllocSegment": { @@ -29883,7 +29999,7 @@ ] ], [ - 13626, + 13687, [ { "AllocSegment": { @@ -29896,7 +30012,7 @@ ] ], [ - 13690, + 13751, [ { "DivMod": { @@ -29925,7 +30041,7 @@ ] ], [ - 13699, + 13760, [ { "TestLessThan": { @@ -29947,7 +30063,7 @@ ] ], [ - 13709, + 13770, [ { "TestLessThan": { @@ -29978,7 +30094,7 @@ ] ], [ - 13730, + 13791, [ { "TestLessThan": { @@ -30009,7 +30125,7 @@ ] ], [ - 13744, + 13805, [ { "DivMod": { @@ -30038,7 +30154,7 @@ ] ], [ - 13761, + 13822, [ { "TestLessThan": { @@ -30060,7 +30176,7 @@ ] ], [ - 13773, + 13834, [ { "TestLessThan": { @@ -30082,7 +30198,7 @@ ] ], [ - 13783, + 13844, [ { "TestLessThan": { @@ -30113,7 +30229,7 @@ ] ], [ - 13806, + 13867, [ { "AllocSegment": { @@ -30126,7 +30242,7 @@ ] ], [ - 13821, + 13882, [ { "AllocSegment": { @@ -30139,7 +30255,7 @@ ] ], [ - 13836, + 13897, [ { "AllocSegment": { @@ -30152,7 +30268,7 @@ ] ], [ - 13851, + 13912, [ { "AllocSegment": { @@ -30165,7 +30281,7 @@ ] ], [ - 13866, + 13927, [ { "AllocSegment": { @@ -30178,7 +30294,7 @@ ] ], [ - 13881, + 13942, [ { "AllocSegment": { @@ -30191,7 +30307,7 @@ ] ], [ - 13894, + 13955, [ { "TestLessThanOrEqual": { @@ -30213,7 +30329,7 @@ ] ], [ - 13904, + 13965, [ { "TestLessThanOrEqualAddress": { @@ -30244,7 +30360,7 @@ ] ], [ - 13941, + 14002, [ { "SystemCall": { @@ -30259,7 +30375,7 @@ ] ], [ - 13974, + 14035, [ { "AllocSegment": { @@ -30272,7 +30388,7 @@ ] ], [ - 14003, + 14064, [ { "TestLessThan": { @@ -30294,7 +30410,7 @@ ] ], [ - 14025, + 14086, [ { "TestLessThan": { @@ -30316,7 +30432,7 @@ ] ], [ - 14063, + 14124, [ { "TestLessThan": { @@ -30338,7 +30454,7 @@ ] ], [ - 14085, + 14146, [ { "TestLessThan": { @@ -30360,7 +30476,7 @@ ] ], [ - 14169, + 14230, [ { "AllocSegment": { @@ -30373,7 +30489,7 @@ ] ], [ - 14207, + 14268, [ { "TestLessThan": { @@ -30395,7 +30511,7 @@ ] ], [ - 14231, + 14292, [ { "TestLessThan": { @@ -30417,7 +30533,7 @@ ] ], [ - 14269, + 14330, [ { "TestLessThan": { @@ -30439,7 +30555,7 @@ ] ], [ - 14295, + 14356, [ { "TestLessThan": { @@ -30461,7 +30577,7 @@ ] ], [ - 14332, + 14393, [ { "U256InvModN": { @@ -30518,7 +30634,7 @@ ] ], [ - 14350, + 14411, [ { "WideMul128": { @@ -30715,7 +30831,7 @@ ] ], [ - 14403, + 14464, [ { "WideMul128": { @@ -30768,7 +30884,7 @@ ] ], [ - 14407, + 14468, [ { "TestLessThan": { @@ -30790,7 +30906,7 @@ ] ], [ - 14421, + 14482, [ { "TestLessThan": { @@ -30812,7 +30928,7 @@ ] ], [ - 14434, + 14495, [ { "DivMod": { @@ -30838,7 +30954,7 @@ ] ], [ - 14444, + 14505, [ { "DivMod": { @@ -30864,7 +30980,7 @@ ] ], [ - 14455, + 14516, [ { "DivMod": { @@ -30890,7 +31006,7 @@ ] ], [ - 14464, + 14525, [ { "DivMod": { @@ -30916,7 +31032,7 @@ ] ], [ - 14474, + 14535, [ { "DivMod": { @@ -30942,7 +31058,7 @@ ] ], [ - 14485, + 14546, [ { "DivMod": { @@ -30968,7 +31084,7 @@ ] ], [ - 14494, + 14555, [ { "DivMod": { @@ -30994,7 +31110,7 @@ ] ], [ - 14504, + 14565, [ { "DivMod": { @@ -31020,7 +31136,7 @@ ] ], [ - 14515, + 14576, [ { "DivMod": { @@ -31046,7 +31162,7 @@ ] ], [ - 14524, + 14585, [ { "DivMod": { @@ -31072,7 +31188,7 @@ ] ], [ - 14534, + 14595, [ { "DivMod": { @@ -31098,7 +31214,7 @@ ] ], [ - 14545, + 14606, [ { "DivMod": { @@ -31124,7 +31240,7 @@ ] ], [ - 14554, + 14615, [ { "DivMod": { @@ -31150,7 +31266,7 @@ ] ], [ - 14564, + 14625, [ { "DivMod": { @@ -31176,7 +31292,7 @@ ] ], [ - 14575, + 14636, [ { "DivMod": { @@ -31202,7 +31318,7 @@ ] ], [ - 14584, + 14645, [ { "DivMod": { @@ -31228,7 +31344,7 @@ ] ], [ - 14594, + 14655, [ { "DivMod": { @@ -31254,7 +31370,7 @@ ] ], [ - 14605, + 14666, [ { "DivMod": { @@ -31280,7 +31396,7 @@ ] ], [ - 14614, + 14675, [ { "DivMod": { @@ -31306,7 +31422,7 @@ ] ], [ - 14624, + 14685, [ { "DivMod": { @@ -31332,7 +31448,7 @@ ] ], [ - 14635, + 14696, [ { "DivMod": { @@ -31358,7 +31474,7 @@ ] ], [ - 14644, + 14705, [ { "DivMod": { @@ -31384,7 +31500,7 @@ ] ], [ - 14654, + 14715, [ { "DivMod": { @@ -31410,7 +31526,7 @@ ] ], [ - 14665, + 14726, [ { "DivMod": { @@ -31436,7 +31552,7 @@ ] ], [ - 14686, + 14747, [ { "Uint512DivModByUint256": { @@ -31505,7 +31621,7 @@ ] ], [ - 14704, + 14765, [ { "WideMul128": { @@ -31630,7 +31746,7 @@ ] ], [ - 14733, + 14794, [ { "TestLessThan": { @@ -31655,7 +31771,7 @@ ] ], [ - 14745, + 14806, [ { "TestLessThan": { @@ -31680,7 +31796,7 @@ ] ], [ - 14760, + 14821, [ { "DivMod": { @@ -31706,7 +31822,7 @@ ] ], [ - 14770, + 14831, [ { "DivMod": { @@ -31732,7 +31848,7 @@ ] ], [ - 14781, + 14842, [ { "DivMod": { @@ -31758,7 +31874,7 @@ ] ], [ - 14790, + 14851, [ { "DivMod": { @@ -31784,7 +31900,7 @@ ] ], [ - 14800, + 14861, [ { "DivMod": { @@ -31810,7 +31926,7 @@ ] ], [ - 14811, + 14872, [ { "DivMod": { @@ -31836,7 +31952,7 @@ ] ], [ - 14820, + 14881, [ { "DivMod": { @@ -31862,7 +31978,7 @@ ] ], [ - 14830, + 14891, [ { "DivMod": { @@ -31888,7 +32004,7 @@ ] ], [ - 14841, + 14902, [ { "DivMod": { @@ -31914,7 +32030,7 @@ ] ], [ - 14850, + 14911, [ { "DivMod": { @@ -31940,7 +32056,7 @@ ] ], [ - 14860, + 14921, [ { "DivMod": { @@ -31966,7 +32082,7 @@ ] ], [ - 14871, + 14932, [ { "DivMod": { @@ -31992,7 +32108,7 @@ ] ], [ - 14880, + 14941, [ { "DivMod": { @@ -32018,7 +32134,7 @@ ] ], [ - 14890, + 14951, [ { "DivMod": { @@ -32044,7 +32160,7 @@ ] ], [ - 14901, + 14962, [ { "DivMod": { @@ -32070,7 +32186,7 @@ ] ], [ - 14922, + 14983, [ { "Uint512DivModByUint256": { @@ -32139,7 +32255,7 @@ ] ], [ - 14940, + 15001, [ { "WideMul128": { @@ -32264,7 +32380,7 @@ ] ], [ - 14969, + 15030, [ { "TestLessThan": { @@ -32289,7 +32405,7 @@ ] ], [ - 14981, + 15042, [ { "TestLessThan": { @@ -32314,7 +32430,7 @@ ] ], [ - 14996, + 15057, [ { "DivMod": { @@ -32340,7 +32456,7 @@ ] ], [ - 15006, + 15067, [ { "DivMod": { @@ -32366,7 +32482,7 @@ ] ], [ - 15017, + 15078, [ { "DivMod": { @@ -32392,7 +32508,7 @@ ] ], [ - 15026, + 15087, [ { "DivMod": { @@ -32418,7 +32534,7 @@ ] ], [ - 15036, + 15097, [ { "DivMod": { @@ -32444,7 +32560,7 @@ ] ], [ - 15047, + 15108, [ { "DivMod": { @@ -32470,7 +32586,7 @@ ] ], [ - 15056, + 15117, [ { "DivMod": { @@ -32496,7 +32612,7 @@ ] ], [ - 15066, + 15127, [ { "DivMod": { @@ -32522,7 +32638,7 @@ ] ], [ - 15077, + 15138, [ { "DivMod": { @@ -32548,7 +32664,7 @@ ] ], [ - 15086, + 15147, [ { "DivMod": { @@ -32574,7 +32690,7 @@ ] ], [ - 15096, + 15157, [ { "DivMod": { @@ -32600,7 +32716,7 @@ ] ], [ - 15107, + 15168, [ { "DivMod": { @@ -32626,7 +32742,7 @@ ] ], [ - 15116, + 15177, [ { "DivMod": { @@ -32652,7 +32768,7 @@ ] ], [ - 15126, + 15187, [ { "DivMod": { @@ -32678,7 +32794,7 @@ ] ], [ - 15137, + 15198, [ { "DivMod": { @@ -32704,7 +32820,7 @@ ] ], [ - 15164, + 15225, [ { "SystemCall": { @@ -32719,7 +32835,7 @@ ] ], [ - 15181, + 15242, [ { "SystemCall": { @@ -32734,7 +32850,7 @@ ] ], [ - 15193, + 15254, [ { "SystemCall": { @@ -32755,7 +32871,7 @@ ] ], [ - 15204, + 15265, [ { "SystemCall": { @@ -32776,7 +32892,7 @@ ] ], [ - 15214, + 15275, [ { "SystemCall": { @@ -32797,7 +32913,7 @@ ] ], [ - 15299, + 15360, [ { "AllocSegment": { @@ -32810,7 +32926,7 @@ ] ], [ - 15328, + 15389, [ { "DivMod": { @@ -32836,7 +32952,7 @@ ] ], [ - 15338, + 15399, [ { "DivMod": { @@ -32862,7 +32978,7 @@ ] ], [ - 15349, + 15410, [ { "DivMod": { @@ -32888,7 +33004,7 @@ ] ], [ - 15358, + 15419, [ { "DivMod": { @@ -32914,7 +33030,7 @@ ] ], [ - 15368, + 15429, [ { "DivMod": { @@ -32940,7 +33056,7 @@ ] ], [ - 15379, + 15440, [ { "DivMod": { @@ -32966,7 +33082,7 @@ ] ], [ - 15388, + 15449, [ { "AllocSegment": { @@ -32979,7 +33095,7 @@ ] ], [ - 15458, + 15519, [ { "TestLessThan": { @@ -33010,7 +33126,7 @@ ] ], [ - 15473, + 15534, [ { "TestLessThan": { @@ -33032,7 +33148,7 @@ ] ], [ - 15492, + 15553, [ { "TestLessThan": { @@ -33054,7 +33170,7 @@ ] ], [ - 15511, + 15572, [ { "TestLessThan": { @@ -33076,7 +33192,7 @@ ] ], [ - 15521, + 15582, [ { "TestLessThan": { @@ -33098,7 +33214,7 @@ ] ], [ - 15523, + 15584, [ { "DivMod": { @@ -33124,7 +33240,7 @@ ] ], [ - 15560, + 15621, [ { "TestLessThan": { @@ -33146,7 +33262,7 @@ ] ], [ - 15579, + 15640, [ { "AllocSegment": { @@ -33159,7 +33275,7 @@ ] ], [ - 15590, + 15651, [ { "DivMod": { @@ -33188,7 +33304,7 @@ ] ], [ - 15596, + 15657, [ { "TestLessThan": { @@ -33210,7 +33326,7 @@ ] ], [ - 15610, + 15671, [ { "TestLessThan": { @@ -33232,7 +33348,7 @@ ] ], [ - 15624, + 15685, [ { "TestLessThan": { @@ -33254,7 +33370,7 @@ ] ], [ - 15635, + 15696, [ { "TestLessThan": { @@ -33276,7 +33392,7 @@ ] ], [ - 15664, + 15725, [ { "AllocSegment": { @@ -33289,7 +33405,7 @@ ] ], [ - 15689, + 15750, [ { "TestLessThan": { @@ -33311,7 +33427,7 @@ ] ], [ - 15693, + 15754, [ { "LinearSplit": { @@ -33340,7 +33456,7 @@ ] ], [ - 15703, + 15764, [ { "LinearSplit": { @@ -33369,7 +33485,7 @@ ] ], [ - 15723, + 15784, [ { "AllocSegment": { @@ -33382,7 +33498,7 @@ ] ], [ - 15744, + 15805, [ { "AllocSegment": { @@ -33395,7 +33511,7 @@ ] ], [ - 15765, + 15826, [ { "AllocSegment": { @@ -33408,7 +33524,7 @@ ] ], [ - 15785, + 15846, [ { "TestLessThan": { @@ -33430,7 +33546,7 @@ ] ], [ - 15787, + 15848, [ { "DivMod": { @@ -33456,7 +33572,7 @@ ] ], [ - 15831, + 15892, [ { "AllocSegment": { @@ -33469,7 +33585,7 @@ ] ], [ - 15842, + 15903, [ { "DivMod": { @@ -33498,7 +33614,7 @@ ] ], [ - 15848, + 15909, [ { "TestLessThan": { @@ -33520,7 +33636,7 @@ ] ], [ - 15862, + 15923, [ { "TestLessThan": { @@ -33542,7 +33658,7 @@ ] ], [ - 15880, + 15941, [ { "TestLessThan": { @@ -33564,7 +33680,7 @@ ] ], [ - 15893, + 15954, [ { "TestLessThan": { @@ -33586,7 +33702,7 @@ ] ], [ - 15904, + 15965, [ { "TestLessThan": { @@ -33608,7 +33724,7 @@ ] ], [ - 15933, + 15994, [ { "AllocSegment": { @@ -33621,7 +33737,7 @@ ] ], [ - 15958, + 16019, [ { "TestLessThan": { @@ -33643,7 +33759,7 @@ ] ], [ - 15962, + 16023, [ { "LinearSplit": { @@ -33672,7 +33788,7 @@ ] ], [ - 15972, + 16033, [ { "LinearSplit": { @@ -33701,7 +33817,7 @@ ] ], [ - 15992, + 16053, [ { "AllocSegment": { @@ -33714,7 +33830,7 @@ ] ], [ - 16013, + 16074, [ { "AllocSegment": { @@ -33727,7 +33843,7 @@ ] ], [ - 16034, + 16095, [ { "AllocSegment": { @@ -33740,7 +33856,7 @@ ] ], [ - 16063, + 16124, [ { "TestLessThan": { @@ -33762,7 +33878,7 @@ ] ], [ - 16065, + 16126, [ { "DivMod": { @@ -33788,7 +33904,7 @@ ] ], [ - 16102, + 16163, [ { "TestLessThan": { @@ -33810,7 +33926,7 @@ ] ], [ - 16113, + 16174, [ { "TestLessThan": { @@ -33832,7 +33948,7 @@ ] ], [ - 16124, + 16185, [ { "TestLessThan": { @@ -33854,7 +33970,7 @@ ] ], [ - 16153, + 16214, [ { "AllocSegment": { @@ -33867,7 +33983,7 @@ ] ], [ - 16178, + 16239, [ { "TestLessThan": { @@ -33889,7 +34005,7 @@ ] ], [ - 16182, + 16243, [ { "LinearSplit": { @@ -33918,7 +34034,7 @@ ] ], [ - 16192, + 16253, [ { "LinearSplit": { @@ -33947,7 +34063,7 @@ ] ], [ - 16218, + 16279, [ { "AllocSegment": { @@ -33960,7 +34076,7 @@ ] ], [ - 16239, + 16300, [ { "AllocSegment": { @@ -33973,7 +34089,7 @@ ] ], [ - 16261, + 16322, [ { "AllocSegment": { @@ -33986,7 +34102,7 @@ ] ], [ - 16283, + 16344, [ { "TestLessThan": { @@ -34008,7 +34124,7 @@ ] ], [ - 16294, + 16355, [ { "TestLessThan": { @@ -34030,7 +34146,7 @@ ] ], [ - 16323, + 16384, [ { "AllocSegment": { @@ -34043,7 +34159,7 @@ ] ], [ - 16348, + 16409, [ { "TestLessThan": { @@ -34065,7 +34181,7 @@ ] ], [ - 16352, + 16413, [ { "LinearSplit": { @@ -34094,7 +34210,7 @@ ] ], [ - 16362, + 16423, [ { "LinearSplit": { @@ -34123,7 +34239,7 @@ ] ], [ - 16385, + 16446, [ { "AllocSegment": { @@ -34136,7 +34252,7 @@ ] ], [ - 16436, + 16497, [ { "TestLessThan": { @@ -34158,7 +34274,7 @@ ] ], [ - 16447, + 16508, [ { "TestLessThan": { @@ -34180,7 +34296,7 @@ ] ], [ - 16476, + 16537, [ { "AllocSegment": { @@ -34193,7 +34309,7 @@ ] ], [ - 16499, + 16560, [ { "TestLessThan": { @@ -34224,7 +34340,7 @@ ] ], [ - 16523, + 16584, [ { "AllocSegment": { @@ -34237,7 +34353,7 @@ ] ], [ - 16557, + 16618, [ { "AllocSegment": { @@ -34250,7 +34366,7 @@ ] ], [ - 16574, + 16635, [ { "TestLessThanOrEqual": { @@ -34272,7 +34388,7 @@ ] ], [ - 16611, + 16672, [ { "AllocSegment": { @@ -34285,7 +34401,7 @@ ] ], [ - 16656, + 16717, [ { "TestLessThan": { @@ -34313,7 +34429,7 @@ ] ], [ - 16660, + 16721, [ { "LinearSplit": { @@ -34342,7 +34458,7 @@ ] ], [ - 16702, + 16763, [ { "TestLessThan": { @@ -34364,7 +34480,7 @@ ] ], [ - 16704, + 16765, [ { "DivMod": { @@ -34390,7 +34506,7 @@ ] ], [ - 16791, + 16852, [ { "DivMod": { @@ -34419,7 +34535,7 @@ ] ], [ - 16797, + 16858, [ { "TestLessThan": { @@ -34441,7 +34557,7 @@ ] ], [ - 16808, + 16869, [ { "TestLessThan": { @@ -34463,7 +34579,7 @@ ] ], [ - 16818, + 16879, [ { "TestLessThan": { @@ -34485,7 +34601,7 @@ ] ], [ - 16832, + 16893, [ { "DivMod": { @@ -34514,7 +34630,7 @@ ] ], [ - 16838, + 16899, [ { "TestLessThan": { @@ -34536,7 +34652,7 @@ ] ], [ - 16852, + 16913, [ { "TestLessThan": { @@ -34558,7 +34674,7 @@ ] ], [ - 16862, + 16923, [ { "TestLessThan": { @@ -34580,7 +34696,7 @@ ] ], [ - 16884, + 16945, [ { "AllocSegment": { @@ -34593,7 +34709,7 @@ ] ], [ - 16898, + 16959, [ { "AllocSegment": { @@ -34606,7 +34722,7 @@ ] ], [ - 16916, + 16977, [ { "AllocSegment": { @@ -34619,7 +34735,7 @@ ] ], [ - 16930, + 16991, [ { "AllocSegment": { @@ -34632,7 +34748,7 @@ ] ], [ - 16946, + 17007, [ { "TestLessThanOrEqual": { @@ -34654,7 +34770,7 @@ ] ], [ - 16973, + 17034, [ { "TestLessThan": { @@ -34676,7 +34792,7 @@ ] ], [ - 16990, + 17051, [ { "AllocSegment": { @@ -34689,7 +34805,7 @@ ] ], [ - 17015, + 17076, [ { "AllocSegment": { @@ -34702,7 +34818,7 @@ ] ], [ - 17275, + 17336, [ { "SystemCall": { @@ -34717,7 +34833,7 @@ ] ], [ - 17301, + 17362, [ { "SystemCall": { @@ -34732,7 +34848,7 @@ ] ], [ - 17315, + 17376, [ { "U256InvModN": { @@ -34789,7 +34905,7 @@ ] ], [ - 17333, + 17394, [ { "WideMul128": { @@ -34986,7 +35102,7 @@ ] ], [ - 17386, + 17447, [ { "WideMul128": { @@ -35039,7 +35155,7 @@ ] ], [ - 17390, + 17451, [ { "TestLessThan": { @@ -35061,7 +35177,7 @@ ] ], [ - 17404, + 17465, [ { "TestLessThan": { @@ -35083,7 +35199,7 @@ ] ], [ - 17417, + 17478, [ { "DivMod": { @@ -35109,7 +35225,7 @@ ] ], [ - 17427, + 17488, [ { "DivMod": { @@ -35135,7 +35251,7 @@ ] ], [ - 17438, + 17499, [ { "DivMod": { @@ -35161,7 +35277,7 @@ ] ], [ - 17447, + 17508, [ { "DivMod": { @@ -35187,7 +35303,7 @@ ] ], [ - 17457, + 17518, [ { "DivMod": { @@ -35213,7 +35329,7 @@ ] ], [ - 17468, + 17529, [ { "DivMod": { @@ -35239,7 +35355,7 @@ ] ], [ - 17477, + 17538, [ { "DivMod": { @@ -35265,7 +35381,7 @@ ] ], [ - 17487, + 17548, [ { "DivMod": { @@ -35291,7 +35407,7 @@ ] ], [ - 17498, + 17559, [ { "DivMod": { @@ -35317,7 +35433,7 @@ ] ], [ - 17507, + 17568, [ { "DivMod": { @@ -35343,7 +35459,7 @@ ] ], [ - 17517, + 17578, [ { "DivMod": { @@ -35369,7 +35485,7 @@ ] ], [ - 17528, + 17589, [ { "DivMod": { @@ -35395,7 +35511,7 @@ ] ], [ - 17537, + 17598, [ { "DivMod": { @@ -35421,7 +35537,7 @@ ] ], [ - 17547, + 17608, [ { "DivMod": { @@ -35447,7 +35563,7 @@ ] ], [ - 17558, + 17619, [ { "DivMod": { @@ -35473,7 +35589,7 @@ ] ], [ - 17567, + 17628, [ { "DivMod": { @@ -35499,7 +35615,7 @@ ] ], [ - 17577, + 17638, [ { "DivMod": { @@ -35525,7 +35641,7 @@ ] ], [ - 17588, + 17649, [ { "DivMod": { @@ -35551,7 +35667,7 @@ ] ], [ - 17597, + 17658, [ { "DivMod": { @@ -35577,7 +35693,7 @@ ] ], [ - 17607, + 17668, [ { "DivMod": { @@ -35603,7 +35719,7 @@ ] ], [ - 17618, + 17679, [ { "DivMod": { @@ -35629,7 +35745,7 @@ ] ], [ - 17627, + 17688, [ { "DivMod": { @@ -35655,7 +35771,7 @@ ] ], [ - 17637, + 17698, [ { "DivMod": { @@ -35681,7 +35797,7 @@ ] ], [ - 17648, + 17709, [ { "DivMod": { @@ -35707,7 +35823,7 @@ ] ], [ - 17669, + 17730, [ { "Uint512DivModByUint256": { @@ -35776,7 +35892,7 @@ ] ], [ - 17687, + 17748, [ { "WideMul128": { @@ -35901,7 +36017,7 @@ ] ], [ - 17716, + 17777, [ { "TestLessThan": { @@ -35926,7 +36042,7 @@ ] ], [ - 17728, + 17789, [ { "TestLessThan": { @@ -35951,7 +36067,7 @@ ] ], [ - 17743, + 17804, [ { "DivMod": { @@ -35977,7 +36093,7 @@ ] ], [ - 17753, + 17814, [ { "DivMod": { @@ -36003,7 +36119,7 @@ ] ], [ - 17764, + 17825, [ { "DivMod": { @@ -36029,7 +36145,7 @@ ] ], [ - 17773, + 17834, [ { "DivMod": { @@ -36055,7 +36171,7 @@ ] ], [ - 17783, + 17844, [ { "DivMod": { @@ -36081,7 +36197,7 @@ ] ], [ - 17794, + 17855, [ { "DivMod": { @@ -36107,7 +36223,7 @@ ] ], [ - 17803, + 17864, [ { "DivMod": { @@ -36133,7 +36249,7 @@ ] ], [ - 17813, + 17874, [ { "DivMod": { @@ -36159,7 +36275,7 @@ ] ], [ - 17824, + 17885, [ { "DivMod": { @@ -36185,7 +36301,7 @@ ] ], [ - 17833, + 17894, [ { "DivMod": { @@ -36211,7 +36327,7 @@ ] ], [ - 17843, + 17904, [ { "DivMod": { @@ -36237,7 +36353,7 @@ ] ], [ - 17854, + 17915, [ { "DivMod": { @@ -36263,7 +36379,7 @@ ] ], [ - 17863, + 17924, [ { "DivMod": { @@ -36289,7 +36405,7 @@ ] ], [ - 17873, + 17934, [ { "DivMod": { @@ -36315,7 +36431,7 @@ ] ], [ - 17884, + 17945, [ { "DivMod": { @@ -36341,7 +36457,7 @@ ] ], [ - 17896, + 17957, [ { "TestLessThan": { @@ -36363,7 +36479,7 @@ ] ], [ - 17921, + 17982, [ { "TestLessThan": { @@ -36385,7 +36501,7 @@ ] ], [ - 17940, + 18001, [ { "TestLessThan": { @@ -36407,7 +36523,7 @@ ] ], [ - 17965, + 18026, [ { "Uint512DivModByUint256": { @@ -36476,7 +36592,7 @@ ] ], [ - 17983, + 18044, [ { "WideMul128": { @@ -36601,7 +36717,7 @@ ] ], [ - 18012, + 18073, [ { "TestLessThan": { @@ -36626,7 +36742,7 @@ ] ], [ - 18024, + 18085, [ { "TestLessThan": { @@ -36651,7 +36767,7 @@ ] ], [ - 18039, + 18100, [ { "DivMod": { @@ -36677,7 +36793,7 @@ ] ], [ - 18049, + 18110, [ { "DivMod": { @@ -36703,7 +36819,7 @@ ] ], [ - 18060, + 18121, [ { "DivMod": { @@ -36729,7 +36845,7 @@ ] ], [ - 18069, + 18130, [ { "DivMod": { @@ -36755,7 +36871,7 @@ ] ], [ - 18079, + 18140, [ { "DivMod": { @@ -36781,7 +36897,7 @@ ] ], [ - 18090, + 18151, [ { "DivMod": { @@ -36807,7 +36923,7 @@ ] ], [ - 18099, + 18160, [ { "DivMod": { @@ -36833,7 +36949,7 @@ ] ], [ - 18109, + 18170, [ { "DivMod": { @@ -36859,7 +36975,7 @@ ] ], [ - 18120, + 18181, [ { "DivMod": { @@ -36885,7 +37001,7 @@ ] ], [ - 18129, + 18190, [ { "DivMod": { @@ -36911,7 +37027,7 @@ ] ], [ - 18139, + 18200, [ { "DivMod": { @@ -36937,7 +37053,7 @@ ] ], [ - 18150, + 18211, [ { "DivMod": { @@ -36963,7 +37079,7 @@ ] ], [ - 18159, + 18220, [ { "DivMod": { @@ -36989,7 +37105,7 @@ ] ], [ - 18169, + 18230, [ { "DivMod": { @@ -37015,7 +37131,7 @@ ] ], [ - 18180, + 18241, [ { "DivMod": { @@ -37041,7 +37157,7 @@ ] ], [ - 18200, + 18261, [ { "SystemCall": { @@ -37056,7 +37172,7 @@ ] ], [ - 18212, + 18273, [ { "SystemCall": { @@ -37077,7 +37193,7 @@ ] ], [ - 18223, + 18284, [ { "SystemCall": { @@ -37098,7 +37214,7 @@ ] ], [ - 18276, + 18337, [ { "AllocSegment": { @@ -37111,7 +37227,7 @@ ] ], [ - 18292, + 18353, [ { "DivMod": { @@ -37137,7 +37253,7 @@ ] ], [ - 18302, + 18363, [ { "DivMod": { @@ -37163,7 +37279,7 @@ ] ], [ - 18313, + 18374, [ { "DivMod": { @@ -37189,7 +37305,7 @@ ] ], [ - 18322, + 18383, [ { "DivMod": { @@ -37215,7 +37331,7 @@ ] ], [ - 18332, + 18393, [ { "DivMod": { @@ -37241,7 +37357,7 @@ ] ], [ - 18343, + 18404, [ { "DivMod": { @@ -37267,7 +37383,7 @@ ] ], [ - 18352, + 18413, [ { "AllocSegment": { @@ -37280,7 +37396,7 @@ ] ], [ - 18369, + 18430, [ { "AllocSegment": { @@ -37293,7 +37409,7 @@ ] ], [ - 18426, + 18487, [ { "SystemCall": { @@ -37308,7 +37424,7 @@ ] ], [ - 18433, + 18494, [ { "AllocConstantSize": { @@ -37324,7 +37440,7 @@ ] ], [ - 18437, + 18498, [ { "AllocSegment": { @@ -37337,7 +37453,7 @@ ] ], [ - 18472, + 18533, [ { "SystemCall": { @@ -37352,7 +37468,7 @@ ] ], [ - 18545, + 18606, [ { "DivMod": { @@ -37381,7 +37497,7 @@ ] ], [ - 18551, + 18612, [ { "TestLessThan": { @@ -37403,7 +37519,7 @@ ] ], [ - 18618, + 18679, [ { "WideMul128": { @@ -37432,7 +37548,7 @@ ] ], [ - 18620, + 18681, [ { "DivMod": { @@ -37458,7 +37574,7 @@ ] ], [ - 18630, + 18691, [ { "DivMod": { @@ -37484,7 +37600,7 @@ ] ], [ - 18641, + 18702, [ { "DivMod": { @@ -37510,7 +37626,7 @@ ] ], [ - 18650, + 18711, [ { "WideMul128": { @@ -37539,7 +37655,7 @@ ] ], [ - 18652, + 18713, [ { "DivMod": { @@ -37565,7 +37681,7 @@ ] ], [ - 18662, + 18723, [ { "DivMod": { @@ -37591,7 +37707,7 @@ ] ], [ - 18673, + 18734, [ { "DivMod": { @@ -37617,7 +37733,7 @@ ] ], [ - 18683, + 18744, [ { "TestLessThan": { @@ -37639,7 +37755,7 @@ ] ], [ - 18705, + 18766, [ { "WideMul128": { @@ -37668,7 +37784,7 @@ ] ], [ - 18707, + 18768, [ { "DivMod": { @@ -37694,7 +37810,7 @@ ] ], [ - 18717, + 18778, [ { "DivMod": { @@ -37720,7 +37836,7 @@ ] ], [ - 18728, + 18789, [ { "DivMod": { @@ -37746,7 +37862,7 @@ ] ], [ - 18738, + 18799, [ { "TestLessThan": { @@ -37768,7 +37884,7 @@ ] ], [ - 18761, + 18822, [ { "TestLessThan": { @@ -37790,7 +37906,7 @@ ] ], [ - 18783, + 18844, [ { "WideMul128": { @@ -37819,7 +37935,7 @@ ] ], [ - 18785, + 18846, [ { "DivMod": { @@ -37845,7 +37961,7 @@ ] ], [ - 18795, + 18856, [ { "DivMod": { @@ -37871,7 +37987,7 @@ ] ], [ - 18806, + 18867, [ { "DivMod": { @@ -37897,7 +38013,7 @@ ] ], [ - 18816, + 18877, [ { "TestLessThan": { @@ -37919,7 +38035,7 @@ ] ], [ - 18840, + 18901, [ { "TestLessThan": { @@ -37941,7 +38057,7 @@ ] ], [ - 18865, + 18926, [ { "TestLessThan": { @@ -37963,7 +38079,7 @@ ] ], [ - 18889, + 18950, [ { "TestLessThan": { @@ -37985,7 +38101,7 @@ ] ], [ - 19007, + 19068, [ { "AllocSegment": { @@ -37998,7 +38114,7 @@ ] ], [ - 19030, + 19091, [ { "TestLessThanOrEqual": { @@ -38023,7 +38139,7 @@ ] ], [ - 19105, + 19166, [ { "AllocSegment": { @@ -38036,7 +38152,7 @@ ] ], [ - 19160, + 19221, [ { "DivMod": { @@ -38065,7 +38181,7 @@ ] ], [ - 19166, + 19227, [ { "TestLessThan": { @@ -38087,7 +38203,7 @@ ] ], [ - 19179, + 19240, [ { "TestLessThan": { @@ -38109,7 +38225,7 @@ ] ], [ - 19189, + 19250, [ { "TestLessThan": { @@ -38131,7 +38247,7 @@ ] ], [ - 19237, + 19298, [ { "DivMod": { @@ -38160,7 +38276,7 @@ ] ], [ - 19243, + 19304, [ { "TestLessThan": { @@ -38182,7 +38298,7 @@ ] ], [ - 19259, + 19320, [ { "TestLessThan": { @@ -38204,7 +38320,7 @@ ] ], [ - 19269, + 19330, [ { "TestLessThan": { @@ -38226,7 +38342,7 @@ ] ], [ - 19292, + 19353, [ { "AllocSegment": { @@ -38239,7 +38355,7 @@ ] ], [ - 19306, + 19367, [ { "AllocSegment": { @@ -38252,7 +38368,7 @@ ] ], [ - 19325, + 19386, [ { "AllocSegment": { @@ -38265,7 +38381,7 @@ ] ], [ - 19339, + 19400, [ { "AllocSegment": { diff --git a/crates/blockifier/feature_contracts/cairo1/test_contract.cairo b/crates/blockifier/feature_contracts/cairo1/test_contract.cairo index 5b1994aa2a..67ca9db437 100644 --- a/crates/blockifier/feature_contracts/cairo1/test_contract.cairo +++ b/crates/blockifier/feature_contracts/cairo1/test_contract.cairo @@ -624,6 +624,7 @@ mod TestContract { entry_point_selector: felt252, calldata: Array:: ) { + let class_hash_before_call = syscalls::get_class_hash_at_syscall(contract_address).unwrap_syscall(); match syscalls::call_contract_syscall( contract_address, entry_point_selector, calldata.span()) { @@ -642,7 +643,8 @@ mod TestContract { } }, }; - // TODO(Yoni, 1/12/2024): test replace class once get_class_hash_at syscall is supported. + let class_hash_after_call = syscalls::get_class_hash_at_syscall(contract_address).unwrap_syscall(); assert(self.my_storage_var.read() == 0, 'values should not change.'); + assert(class_hash_before_call == class_hash_after_call, 'class hash should not change.'); } } 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 5f5138171c..ae77f25cdd 100644 --- a/crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs +++ b/crates/blockifier/src/execution/syscalls/syscall_tests/call_contract.rs @@ -16,7 +16,6 @@ use crate::execution::call_info::CallExecution; use crate::execution::contract_class::TrackedResource; use crate::execution::entry_point::CallEntryPoint; use crate::retdata; -use crate::state::state_api::StateReader; use crate::test_utils::contracts::FeatureContract; use crate::test_utils::initial_test_state::test_state; use crate::test_utils::syscall::build_recurse_calldata; @@ -62,10 +61,6 @@ fn test_call_contract_that_panics() { ); assert!(inner_call.execution.events.is_empty()); assert!(inner_call.execution.l2_to_l1_messages.is_empty()); - assert_eq!( - state.get_class_hash_at(inner_call.call.storage_address).unwrap(), - test_contract.get_class_hash() - ); } #[cfg_attr(