diff --git a/EOFTests/EIP4200/validInvalid.json b/EOFTests/EIP4200/validInvalid.json index 549263c8549..830296ffc87 100644 --- a/EOFTests/EIP4200/validInvalid.json +++ b/EOFTests/EIP4200/validInvalid.json @@ -2,22 +2,18 @@ "validInvalid" : { "_info" : { "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n EOF1V4200_0001 (Valid) EOF code containing RJUMP (Positive, Negative) - Data index: 0\n EOF1V4200_0002 (Valid) EOF code containing RJUMP (Zero) - Data index: 1\n EOF1V4200_0003 (Valid) EOF code containing RJUMPI (Positive) - Data index: 2\n EOF1V4200_0004 (Valid) EOF code containing RJUMPI (Negative) - Data index: 3\n EOF1V4200_0005 (Valid) EOF code containing RJUMPI (Zero) - Data index: 4\n EOF1V4200_0006 (Valid) EOF with RJUMPV table size 1 (Positive) - Data index: 5\n EOF1V4200_0007 (Valid) EOF with RJUMPV table size 1 (Negative) - Data index: 6\n EOF1V4200_0008 (Valid) EOF with RJUMPV table size 1 (Zero) - Data index: 7\n EOF1V4200_0009 (Valid) EOF with RJUMPV table size 3 - Data index: 8\n EOF1V4200_0010 (Valid) EOF with RJUMPV table size 256 (Target 0) - Data index: 9\n EOF1V4200_0011 (Valid) EOF with RJUMPV table size 256 (Target 100) - Data index: 10\n EOF1V4200_0012 (Valid) EOF with RJUMPV table size 256 (Target 254) - Data index: 11\n EOF1V4200_0013 (Valid) EOF with RJUMPV table size 256 (Target 256) - Data index: 12\n EOF1I4200_0001 (Invalid) EOF code containing truncated RJUMP - Data index: 13\n EOF1I4200_0002 (Invalid) EOF code containing truncated RJUMP - Data index: 14\n EOF1I4200_0003 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping into header) - Data index: 15\n EOF1I4200_0004 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping before code begin) - Data index: 16\n EOF1I4200_0005 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping into data section) - Data index: 17\n EOF1I4200_0006 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping after code end) - Data index: 18\n EOF1I4200_0007 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping to code end) - Data index: 19\n EOF1I4200_0008 (Invalid) EOF code containing RJUMP with target self RJUMP immediate - Data index: 20\n EOF1I4200_0009 (Invalid) EOF code containing RJUMP with target other RJUMP immediate - Data index: 21\n EOF1I4200_0010 (Invalid) EOF code containing RJUMP with target RJUMPI immediate - Data index: 22\n EOF1I4200_0011 (Invalid) EOF code containing RJUMP with target PUSH immediate - Data index: 23\n EOF1I4200_0012 (Invalid) EOF code containing RJUMP with target RJUMPV immediate - Data index: 24\n EOF1I4200_0013 (Invalid) EOF code containing RJUMP with target CALLF immediate - Data index: 25\n EOF1I4200_0014 (Invalid) EOF code containing truncated RJUMPI - Data index: 26\n EOF1I4200_0015 (Invalid) EOF code containing truncated RJUMPI - Data index: 27\n EOF1I4200_0016 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping into header) - Data index: 28\n EOF1I4200_0017 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping to before code begin) - Data index: 29\n EOF1I4200_0018 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping into data section) - Data index: 30\n EOF1I4200_0019 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping to after code end) - Data index: 31\n EOF1I4200_0020 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping to code end) - Data index: 32\n EOF1I4200_0021 (Invalid) EOF code containing RJUMPI with target same RJUMPI immediate - Data index: 33\n EOF1I4200_0022 (Invalid) EOF code containing RJUMPI with target other RJUMPI immediate - Data index: 34\n EOF1I4200_0023 (Invalid) EOF code containing RJUMPI with target RJUMP immediate - Data index: 35\n EOF1I4200_0024 (Invalid) EOF code containing RJUMPI with target PUSH immediate - Data index: 36\n EOF1I4200_0025 (Invalid) EOF code containing RJUMPI with target RJUMPV immediate - Data index: 37\n EOF1I4200_0026 (Invalid) EOF code containing RJUMPI with target CALLF immediate - Data index: 38\n EOF1I4200_0027 (Invalid) EOF code containing RJUMPV with max_index 0 but no immediates - Data index: 39\n EOF1I4200_0028 (Invalid) EOF code containing truncated RJUMPV - Data index: 40\n EOF1I4200_0029 (Invalid) EOF code containing truncated RJUMPV - Data index: 41\n EOF1I4200_0030 (Invalid) EOF code containing truncated RJUMPV - Data index: 42\n EOF1I4200_0031 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping into header) - Data index: 43\n EOF1I4200_0032 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping to before code begin) - Data index: 44\n EOF1I4200_0033 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping into data section) - Data index: 45\n EOF1I4200_0034 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping to after code end) - Data index: 46\n EOF1I4200_0035 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping to code end) - Data index: 47\n EOF1I4200_0036 (Invalid) EOF code containing RJUMPV with target same RJUMPV immediate - Data index: 48\n EOF1I4200_0037 (Invalid) EOF code containing RJUMPV with target RJUMP immediate - Data index: 49\n EOF1I4200_0038 (Invalid) EOF code containing RJUMPV with target RJUMPI immediate - Data index: 50\n EOF1I4200_0039 (Invalid) EOF code containing RJUMPV with target PUSH immediate - Data index: 51\n EOF1I4200_0040 (Invalid) EOF code containing RJUMPV with target other RJUMPV immediate - Data index: 52\n EOF1I4200_0041 (Invalid) EOF code containing RJUMPV with target CALLF immediate - Data index: 53\n", - "filling-rpc-server" : "evmone-t8n 0.11.0-dev+commit.915e959c.dirty", - "filling-tool-version" : "retesteth-0.3.1-shanghai+commit.acfdfad0.Linux.g++", - "generatedTestHash" : "21c2161dee6fb522c28b955eecaa42b48e942ad377b45e0ed9b22ddb10607542", - "lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++", - "solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++", + "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.25a5271a.dirty", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ebcf035f.Linux.g++", + "generatedTestHash" : "7790f67428cfc72f817b163bffe35aa8fe64fa052018bacc236d0e61d8e478f1", + "lllcversion" : "Version: 0.5.14-develop.2021.4.29+commit.14c9d5de.Linux.clang", + "solidity" : "Version: 0.8.17-develop.2022.9.30+commit.8df45f5f.Linux.clang", "source" : "src/EOFTestsFiller/EIP4200/validInvalidFiller.yml", - "sourceHash" : "9760cbe4a8fbec413ef81fe0441b76f4745ff518b8f2d3bcf57e90a64cb8e5f7" + "sourceHash" : "ef56632e789f6185f7d04e24406372f395659c9c89142387b3997eda4d899667" }, "vectors" : { "validInvalid_0" : { - "code" : "0xef0001010004020001000c0400000000800002e00002550060016001e0fff7", + "code" : "0xef0001010004020001001004000000008000025fe10003e00006600160015500e0fff7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -26,10 +22,6 @@ "validInvalid_1" : { "code" : "0xef000101000402000100090400000000800002e00000600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -38,10 +30,6 @@ "validInvalid_10" : { "code" : "0xef0001010004020001030a04000000008000026064e2ff006700c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe0043010000fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd008200c500ff5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b00600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -50,10 +38,6 @@ "validInvalid_11" : { "code" : "0xef0001010004020001030a040000000080000260fee2ff006700c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe004300fb00fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd0082010000c55b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b00600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -62,10 +46,6 @@ "validInvalid_12" : { "code" : "0xef0001010004020001030a0400000000800002610100e2ff006700c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe004300fb00fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd008200ff00c55b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -74,10 +54,6 @@ "validInvalid_13" : { "code" : "0xef000101000402000100010400000000800000e0", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -87,10 +63,6 @@ "validInvalid_14" : { "code" : "0xef000101000402000100020400000000800000e000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -100,10 +72,6 @@ "validInvalid_15" : { "code" : "0xef000101000402000100030400000000800000e0fffb", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -113,10 +81,6 @@ "validInvalid_16" : { "code" : "0xef000101000402000100030400000000800000e0ffe9", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -126,10 +90,6 @@ "validInvalid_17" : { "code" : "0xef000101000402000100030400040000800000e00002aabbccdd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -139,10 +99,6 @@ "validInvalid_18" : { "code" : "0xef000101000402000100030400000000800000e00002", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -152,10 +108,6 @@ "validInvalid_19" : { "code" : "0xef000101000402000100040400000000800000e0000100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -165,10 +117,6 @@ "validInvalid_2" : { "code" : "0xef0001010004020001000e04000000008000026001e100035b5b00600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -177,10 +125,6 @@ "validInvalid_20" : { "code" : "0xef000101000402000100030400000000800000e0ffff", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -190,10 +134,6 @@ "validInvalid_21" : { "code" : "0xef000101000402000100070400000000800000e0000300e0fffc", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -203,10 +143,6 @@ "validInvalid_22" : { "code" : "0xef0001010004020001000a0400000000800000e00005006001e1fffa00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -216,10 +152,6 @@ "validInvalid_23" : { "code" : "0xef0001010004020001000a0400000000800000e000025b600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -229,10 +161,6 @@ "validInvalid_24" : { "code" : "0xef0001010004020001000b0400000000800000e00005006001e200000000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -242,10 +170,6 @@ "validInvalid_25" : { "code" : "0xef000101000802000200070006040000000080000000000002e00002e30001006001600155e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -255,10 +179,6 @@ "validInvalid_26" : { "code" : "0xef0001010004020001000304000000008000016000e1", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -268,10 +188,6 @@ "validInvalid_27" : { "code" : "0xef0001010004020001000404000000008000016000e100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -281,10 +197,6 @@ "validInvalid_28" : { "code" : "0xef0001010004020001000604000000008000016001e1fff900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -294,10 +206,6 @@ "validInvalid_29" : { "code" : "0xef0001010004020001000604000000008000016001e1ffe700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -305,12 +213,8 @@ } }, "validInvalid_3" : { - "code" : "0xef0001010004020001000f0400000000800002e000066001600155006001e1fff500", + "code" : "0xef0001010004020001001104000000008000026001e100066001600155006001e1fff500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -319,10 +223,6 @@ "validInvalid_30" : { "code" : "0xef0001010004020001000604000400008000016001e1000200aabbccdd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -332,10 +232,6 @@ "validInvalid_31" : { "code" : "0xef0001010004020001000604000000008000016001e1000200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -345,10 +241,6 @@ "validInvalid_32" : { "code" : "0xef0001010004020001000604000000008000016001e1000100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -358,10 +250,6 @@ "validInvalid_33" : { "code" : "0xef0001010004020001000604000000008000016001e1ffff00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -371,10 +259,6 @@ "validInvalid_34" : { "code" : "0xef0001010004020001000c04000000008000016001e10005006001e1fff500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -384,10 +268,6 @@ "validInvalid_35" : { "code" : "0xef0001010004020001000904000000008000016001e1000300e0fff7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -397,10 +277,6 @@ "validInvalid_36" : { "code" : "0xef0001010004020001000604000000008000016001e1fffc00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -410,10 +286,6 @@ "validInvalid_37" : { "code" : "0xef0001010004020001000d04000000008000016001e10005006001e200000000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -423,10 +295,6 @@ "validInvalid_38" : { "code" : "0xef0001010008020002000900060400000000800001000000026001e10002e30001006001600155e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -436,10 +304,6 @@ "validInvalid_39" : { "code" : "0xef0001010004020001000404000000008000016001e200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -449,10 +313,6 @@ "validInvalid_4" : { "code" : "0xef0001010004020001000b04000000008000026001e10000600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -461,10 +321,6 @@ "validInvalid_40" : { "code" : "0xef0001010004020001000304000000008000016001e2", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -474,10 +330,6 @@ "validInvalid_41" : { "code" : "0xef0001010004020001000404000000008000016001e200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -487,10 +339,6 @@ "validInvalid_42" : { "code" : "0xef0001010004020001000504000000008000016001e20000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -500,10 +348,6 @@ "validInvalid_43" : { "code" : "0xef0001010004020001000704000000008000016001e200fff900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -513,10 +357,6 @@ "validInvalid_44" : { "code" : "0xef0001010004020001000704000000008000016001e200fff100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -526,10 +366,6 @@ "validInvalid_45" : { "code" : "0xef0001010004020001000704000400008000016001e200000200aabbccdd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -539,10 +375,6 @@ "validInvalid_46" : { "code" : "0xef0001010004020001000704000000008000016001e200000200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -552,10 +384,6 @@ "validInvalid_47" : { "code" : "0xef0001010004020001000704000000008000016001e200000100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -565,10 +393,6 @@ "validInvalid_48" : { "code" : "0xef0001010004020001000704000000008000016001e200ffff00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -578,10 +402,6 @@ "validInvalid_49" : { "code" : "0xef0001010004020001000d04000000008000016001e2000005006001e0fff700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -591,10 +411,6 @@ "validInvalid_5" : { "code" : "0xef0001010004020001000f04000000008000026000e20000035b5b00600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -603,10 +419,6 @@ "validInvalid_50" : { "code" : "0xef0001010004020001000d04000000008000016001e2000005006001e1fff700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -616,10 +428,6 @@ "validInvalid_51" : { "code" : "0xef0001010004020001000d04000000008000016001e200000200600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -629,10 +437,6 @@ "validInvalid_52" : { "code" : "0xef0001010004020001000e04000000008000016001e2000005006001e200000000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -642,10 +446,6 @@ "validInvalid_53" : { "code" : "0xef0001010008020002000a00060400000000800001000000026000e2000002e30001006001600155e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -653,12 +453,8 @@ } }, "validInvalid_6" : { - "code" : "0xef000101000402000100100400000000800002e000066001600155006000e200fff400", + "code" : "0xef0001010004020001001204000000008000026001e100066001600155006000e200fff400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -667,10 +463,6 @@ "validInvalid_7" : { "code" : "0xef0001010004020001000c04000000008000026000e2000000600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -679,10 +471,6 @@ "validInvalid_8" : { "code" : "0xef0001010004020001001304000000008000026000e20200030000fff65b5b00600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -691,10 +479,6 @@ "validInvalid_9" : { "code" : "0xef0001010004020001030a04000000008000026000e2ff010000c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe004300fb00fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd008200c500ff5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b00600160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } diff --git a/EOFTests/EIP5450/validInvalid.json b/EOFTests/EIP5450/validInvalid.json index 378f55de03f..0b98b5b0d36 100644 --- a/EOFTests/EIP5450/validInvalid.json +++ b/EOFTests/EIP5450/validInvalid.json @@ -2,22 +2,18 @@ "validInvalid" : { "_info" : { "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n EOF1V5450_0001 (Valid) Code with branches having the same stack height\n EOF1V5450_0002 (Valid) Jump table\n EOF1V5450_0003 (Valid) Infinite loop\n EOF1V5450_0004 (Valid) Infinite loop using RJUMPV\n EOF1V5450_0005 (Valid) CALLF branches with the same total of outputs\n EOF1V5450_0006 (Valid) CALLF inputs\n EOF1V5450_0007 (Valid) Validate input for ADD opcode\n EOF1V5450_0008 (Valid) Validate input for MUL opcode\n EOF1V5450_0009 (Valid) Validate input for SUB opcode\n EOF1V5450_0010 (Valid) Validate input for DIV opcode\n EOF1V5450_0011 (Valid) Validate input for SDIV opcode\n EOF1V5450_0012 (Valid) Validate input for MOD opcode\n EOF1V5450_0013 (Valid) Validate input for SMOD opcode\n EOF1V5450_0014 (Valid) Validate input for ADDMOD opcode\n EOF1V5450_0015 (Valid) Validate input for MULMOD opcode\n EOF1V5450_0016 (Valid) Validate input for EXP opcode\n EOF1V5450_0017 (Valid) Validate input for SIGNEXTEND opcode\n EOF1V5450_0018 (Valid) Validate input for LT opcode\n EOF1V5450_0019 (Valid) Validate input for GT opcode\n EOF1V5450_0020 (Valid) Validate input for SLT opcode\n EOF1V5450_0021 (Valid) Validate input for SGT opcode\n EOF1V5450_0022 (Valid) Validate input for EQ opcode\n EOF1V5450_0023 (Valid) Validate input for ISZERO opcode\n EOF1V5450_0024 (Valid) Validate input for AND opcode\n EOF1V5450_0025 (Valid) Validate input for OR opcode\n EOF1V5450_0026 (Valid) Validate input for XOR opcode\n EOF1V5450_0027 (Valid) Validate input for NOT opcode\n EOF1V5450_0028 (Valid) Validate input for BYTE opcode\n EOF1V5450_0029 (Valid) Validate input for SHL opcode\n EOF1V5450_0030 (Valid) Validate input for SHR opcode\n EOF1V5450_0031 (Valid) Validate input for SAR opcode\n EOF1V5450_0032 (Valid) Validate input for SHA3 opcode\n EOF1V5450_0033 (Valid) Validate input for BALANCE opcode\n EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode\n EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode\n EOF1V5450_0036 (Valid) Validate input for CODECOPY opcode\n EOF1V5450_0037 (Valid) Validate input for EXTCODESIZE opcode\n EOF1V5450_0038 (Valid) Validate input for EXTCODECOPY opcode\n EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode\n EOF1V5450_0040 (Valid) Validate input for EXTCODEHASH opcode\n EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode\n EOF1V5450_0042 (Valid) Validate input for POP opcode\n EOF1V5450_0043 (Valid) Validate input for MLOAD opcode\n EOF1V5450_0044 (Valid) Validate input for MSTORE opcode\n EOF1V5450_0045 (Valid) Validate input for MSTORE8 opcode\n EOF1V5450_0046 (Valid) Validate input for SLOAD opcode\n EOF1V5450_0047 (Valid) Validate input for SSTORE opcode\n EOF1V5450_0048 (Valid) Validate input for DUP1 opcode\n EOF1V5450_0049 (Valid) Validate input for DUP2 opcode\n EOF1V5450_0050 (Valid) Validate input for DUP3 opcode\n EOF1V5450_0051 (Valid) Validate input for DUP4 opcode\n EOF1V5450_0052 (Valid) Validate input for DUP5 opcode\n EOF1V5450_0053 (Valid) Validate input for DUP6 opcode\n EOF1V5450_0054 (Valid) Validate input for DUP7 opcode\n EOF1V5450_0055 (Valid) Validate input for DUP8 opcode\n EOF1V5450_0056 (Valid) Validate input for DUP9 opcode\n EOF1V5450_0057 (Valid) Validate input for DUP10 opcode\n EOF1V5450_0058 (Valid) Validate input for DUP11 opcode\n EOF1V5450_0059 (Valid) Validate input for DUP12 opcode\n EOF1V5450_0060 (Valid) Validate input for DUP13 opcode\n EOF1V5450_0061 (Valid) Validate input for DUP14 opcode\n EOF1V5450_0062 (Valid) Validate input for DUP15 opcode\n EOF1V5450_0063 (Valid) Validate input for DUP16 opcode\n EOF1V5450_0064 (Valid) Validate input for SWAP1 opcode\n EOF1V5450_0065 (Valid) Validate input for SWAP2 opcode\n EOF1V5450_0066 (Valid) Validate input for SWAP3 opcode\n EOF1V5450_0067 (Valid) Validate input for SWAP4 opcode\n EOF1V5450_0068 (Valid) Validate input for SWAP5 opcode\n EOF1V5450_0069 (Valid) Validate input for SWAP6 opcode\n EOF1V5450_0070 (Valid) Validate input for SWAP7 opcode\n EOF1V5450_0071 (Valid) Validate input for SWAP8 opcode\n EOF1V5450_0072 (Valid) Validate input for SWAP9 opcode\n EOF1V5450_0073 (Valid) Validate input for SWAP10 opcode\n EOF1V5450_0074 (Valid) Validate input for SWAP11 opcode\n EOF1V5450_0075 (Valid) Validate input for SWAP12 opcode\n EOF1V5450_0076 (Valid) Validate input for SWAP13 opcode\n EOF1V5450_0077 (Valid) Validate input for SWAP14 opcode\n EOF1V5450_0078 (Valid) Validate input for SWAP15 opcode\n EOF1V5450_0079 (Valid) Validate input for SWAP16 opcode\n EOF1V5450_0080 (Valid) Validate input for LOG0 opcode\n EOF1V5450_0081 (Valid) Validate input for LOG1 opcode\n EOF1V5450_0082 (Valid) Validate input for LOG2 opcode\n EOF1V5450_0083 (Valid) Validate input for LOG3 opcode\n EOF1V5450_0084 (Valid) Validate input for LOG4 opcode\n EOF1V5450_0085 (Valid) Validate input for CREATE opcode\n EOF1V5450_0086 (Valid) Validate input for CALL opcode\n EOF1V5450_0087 (Valid) Validate input for RETURN opcode\n EOF1V5450_0088 (Valid) Validate input for DELEGATECALL opcode\n EOF1V5450_0089 (Valid) Validate input for CREATE2 opcode\n EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode\n EOF1V5450_0091 (Valid) Validate input for REVERT opcode\n EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end\n EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end\n EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a)\n EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b)\n EOF1V5450_0096 (Valid) Functions ending with RETF\n EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN\n EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT\n EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127)\n EOF1I5450_0001 (Valid) Calling function without enough stack items: Function 1 calls Function 2 with enough parameters\n EOF1I5450_0002 (Invalid) Stack height mismatch for different paths (a)\n EOF1I5450_0003 (Invalid) Stack height mismatch for different paths (b)\n EOF1I5450_0004 (Invalid) Calls returning different number of outputs\n EOF1I5450_0005 (Invalid) Pushing loop\n EOF1I5450_0006 (Invalid) Popping loop\n EOF1I5450_0007 (Invalid) Jump table with different stack heights\n EOF1I5450_0008 (Invalid) Stack underflow for opcode ADD\n EOF1I5450_0009 (Invalid) Stack underflow for opcode MUL\n EOF1I5450_0010 (Invalid) Stack underflow for opcode SUB\n EOF1I5450_0011 (Invalid) Stack underflow for opcode DIV\n EOF1I5450_0012 (Invalid) Stack underflow for opcode SDIV\n EOF1I5450_0013 (Invalid) Stack underflow for opcode MOD\n EOF1I5450_0014 (Invalid) Stack underflow for opcode SMOD\n EOF1I5450_0015 (Invalid) Stack underflow for opcode ADDMOD\n EOF1I5450_0016 (Invalid) Stack underflow for opcode MULMOD\n EOF1I5450_0017 (Invalid) Stack underflow for opcode EXP\n EOF1I5450_0018 (Invalid) Stack underflow for opcode SIGNEXTEND\n EOF1I5450_0019 (Invalid) Stack underflow for opcode LT\n EOF1I5450_0020 (Invalid) Stack underflow for opcode GT\n EOF1I5450_0021 (Invalid) Stack underflow for opcode SLT\n EOF1I5450_0022 (Invalid) Stack underflow for opcode SGT\n EOF1I5450_0023 (Invalid) Stack underflow for opcode EQ\n EOF1I5450_0024 (Invalid) Stack underflow for opcode ISZERO\n EOF1I5450_0025 (Invalid) Stack underflow for opcode AND\n EOF1I5450_0026 (Invalid) Stack underflow for opcode OR\n EOF1I5450_0027 (Invalid) Stack underflow for opcode XOR\n EOF1I5450_0028 (Invalid) Stack underflow for opcode NOT\n EOF1I5450_0029 (Invalid) Stack underflow for opcode BYTE\n EOF1I5450_0030 (Invalid) Stack underflow for opcode SHL\n EOF1I5450_0031 (Invalid) Stack underflow for opcode SHR\n EOF1I5450_0032 (Invalid) Stack underflow for opcode SAR\n EOF1I5450_0033 (Invalid) Stack underflow for opcode SHA3\n EOF1I5450_0034 (Invalid) Stack underflow for opcode BALANCE\n EOF1I5450_0035 (Invalid) Stack underflow for opcode CALLDATALOAD\n EOF1I5450_0036 (Invalid) Stack underflow for opcode CALLDATACOPY\n EOF1I5450_0037 (Invalid) Stack underflow for opcode CODECOPY\n EOF1I5450_0038 (Invalid) Stack underflow for opcode EXTCODESIZE\n EOF1I5450_0039 (Invalid) Stack underflow for opcode EXTCODECOPY\n EOF1I5450_0040 (Invalid) Stack underflow for opcode RETURNDATACOPY\n EOF1I5450_0041 (Invalid) Stack underflow for opcode EXTCODEHASH\n EOF1I5450_0042 (Invalid) Stack underflow for opcode BLOCKHASH\n EOF1I5450_0043 (Invalid) Stack underflow for opcode POP\n EOF1I5450_0044 (Invalid) Stack underflow for opcode MLOAD\n EOF1I5450_0045 (Invalid) Stack underflow for opcode MSTORE\n EOF1I5450_0046 (Invalid) Stack underflow for opcode MSTORE8\n EOF1I5450_0047 (Invalid) Stack underflow for opcode SLOAD\n EOF1I5450_0048 (Invalid) Stack underflow for opcode SSTORE\n EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP1\n EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP2\n EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP3\n EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP4\n EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP5\n EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP6\n EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP7\n EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP8\n EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP9\n EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP10\n EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP11\n EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP12\n EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP13\n EOF1I5450_0062 (Invalid) Stack underflow for opcode DUP14\n EOF1I5450_0063 (Invalid) Stack underflow for opcode DUP15\n EOF1I5450_0064 (Invalid) Stack underflow for opcode DUP16\n EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP1\n EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP2\n EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP3\n EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP4\n EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP5\n EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP6\n EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP7\n EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP8\n EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP9\n EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP10\n EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP11\n EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP12\n EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP13\n EOF1I5450_0078 (Invalid) Stack underflow for opcode SWAP14\n EOF1I5450_0079 (Invalid) Stack underflow for opcode SWAP15\n EOF1I5450_0080 (Invalid) Stack underflow for opcode SWAP16\n EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG0\n EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG1\n EOF1I5450_0083 (Invalid) Stack underflow for opcode LOG2\n EOF1I5450_0084 (Invalid) Stack underflow for opcode LOG3\n EOF1I5450_0085 (Invalid) Stack underflow for opcode LOG4\n EOF1I5450_0086 (Invalid) Stack underflow for opcode CREATE\n EOF1I5450_0087 (Invalid) Stack underflow for opcode CALL\n EOF1I5450_0088 (Invalid) Stack underflow for opcode RETURN\n EOF1I5450_0089 (Invalid) Stack underflow for opcode DELEGATECALL\n EOF1I5450_0090 (Invalid) Stack underflow for opcode CREATE2\n EOF1I5450_0091 (Invalid) Stack underflow for opcode STATICCALL\n EOF1I5450_0092 (Invalid) Stack underflow for opcode REVERT\n EOF1I5450_0093 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters\n EOF1I5450_0094 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers\n EOF1I5450_0095 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack\n EOF1I5450_0096 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack\n EOF1I5450_0097 (Invalid) Function ending with non-terminating instruction (a)\n EOF1I5450_0098 (Invalid) Function ending with non-terminating instruction (b)\n EOF1I5450_0099 (Invalid) Function ending with non-terminating instruction (c)\n EOF1I5450_0100 (Invalid) Function containing unreachable code after RETURN\n EOF1I5450_0101 (Invalid) Function containing unreachable code after REVERT\n EOF1I5450_0102 (Invalid) Unreachable code after RJUMP\n EOF1I5450_0103 (Invalid) Unreachable code after infinite loop\n", - "filling-rpc-server" : "evmone-t8n 0.11.0-dev+commit.2bce3f58.dirty", - "filling-tool-version" : "retesteth-0.3.1-cancun+commit.372a5939.Linux.g++", - "generatedTestHash" : "f9137f67b1c83cebe75c0452d34d5dc08e513c1099c4e064a1e79e199208a353", - "lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++", - "solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++", + "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.25a5271a.dirty", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ebcf035f.Linux.g++", + "generatedTestHash" : "b99efbf9add950320a28a653d62b0cc3ec6f7d7f06bf2b0d5f5fe1e12aa1fb0f", + "lllcversion" : "Version: 0.5.14-develop.2021.4.29+commit.14c9d5de.Linux.clang", + "solidity" : "Version: 0.8.17-develop.2022.9.30+commit.8df45f5f.Linux.clang", "source" : "src/EOFTestsFiller/EIP5450/validInvalidFiller.yml", - "sourceHash" : "adadd60b370a88c26dd41a6f3dbb08419d2b288b7fc890e58b49dc507fb2a7ac" + "sourceHash" : "381b27f80e28092cf5689ab47ef16dbbd268947effc7fc183be373fd17e76b71" }, "vectors" : { "validInvalid_0" : { "code" : "0xef0001010004020001001104000000008000026000e1000760016002e000046003600400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -26,10 +22,6 @@ "validInvalid_1" : { "code" : "0xef0001010004020001001b04000000008000026000e2010007000e60016002e0000b60036004e000046005600600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -38,10 +30,6 @@ "validInvalid_10" : { "code" : "0xef0001010004020001000504000000008000026001800500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -50,49 +38,30 @@ "validInvalid_100" : { "code" : "0xef0001010004020001000a04000000008000026000e100026001600200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { - "exception" : "EOF_StackHeightMismatch", - "result" : false + "result" : true } } }, "validInvalid_101" : { "code" : "0xef0001010004020001000f04000000008000026000e100056001e000046002600300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { - "exception" : "EOF_StackHeightMismatch", - "result" : false + "result" : true } } }, "validInvalid_102" : { "code" : "0xef000101000c020003000f00030004040000000080000200010001000200026000e10006e30001e00003e30002006001e4600180e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { - "exception" : "EOF_StackHeightMismatch", - "result" : false + "result" : true } } }, "validInvalid_103" : { "code" : "0xef0001010004020001000504000000008000016000e0fffb", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackHeightMismatch", "result" : false @@ -102,10 +71,6 @@ "validInvalid_104" : { "code" : "0xef0001010004020001000804000000008000036000808050e0fffc", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackHeightMismatch", "result" : false @@ -115,23 +80,14 @@ "validInvalid_105" : { "code" : "0xef0001010004020001001b04000000008000036000e2010005000c6001e0000d60026003e0000660036004600500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { - "exception" : "EOF_StackHeightMismatch", - "result" : false + "result" : true } } }, "validInvalid_106" : { "code" : "0xef00010100040200010004040000000080000160010100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -141,10 +97,6 @@ "validInvalid_107" : { "code" : "0xef00010100040200010004040000000080000160010200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -154,10 +106,6 @@ "validInvalid_108" : { "code" : "0xef00010100040200010004040000000080000160010300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -167,10 +115,6 @@ "validInvalid_109" : { "code" : "0xef00010100040200010004040000000080000160010400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -180,10 +124,6 @@ "validInvalid_11" : { "code" : "0xef0001010004020001000504000000008000026001800600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -192,10 +132,6 @@ "validInvalid_110" : { "code" : "0xef00010100040200010004040000000080000160010500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -205,10 +141,6 @@ "validInvalid_111" : { "code" : "0xef00010100040200010004040000000080000160010600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -218,10 +150,6 @@ "validInvalid_112" : { "code" : "0xef00010100040200010004040000000080000160010700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -231,10 +159,6 @@ "validInvalid_113" : { "code" : "0xef000101000402000100060400000000800002600160010800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -244,10 +168,6 @@ "validInvalid_114" : { "code" : "0xef000101000402000100060400000000800002600160010900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -257,10 +177,6 @@ "validInvalid_115" : { "code" : "0xef00010100040200010004040000000080000160010a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -270,10 +186,6 @@ "validInvalid_116" : { "code" : "0xef00010100040200010004040000000080000160010b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -283,10 +195,6 @@ "validInvalid_117" : { "code" : "0xef00010100040200010004040000000080000160011000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -296,10 +204,6 @@ "validInvalid_118" : { "code" : "0xef00010100040200010004040000000080000160011100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -309,10 +213,6 @@ "validInvalid_119" : { "code" : "0xef00010100040200010004040000000080000160011200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -322,10 +222,6 @@ "validInvalid_12" : { "code" : "0xef0001010004020001000504000000008000026001800700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -334,10 +230,6 @@ "validInvalid_120" : { "code" : "0xef00010100040200010004040000000080000160011300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -347,10 +239,6 @@ "validInvalid_121" : { "code" : "0xef00010100040200010004040000000080000160011400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -360,10 +248,6 @@ "validInvalid_122" : { "code" : "0xef0001010004020001000204000000008000001500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -373,10 +257,6 @@ "validInvalid_123" : { "code" : "0xef00010100040200010004040000000080000160011600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -386,10 +266,6 @@ "validInvalid_124" : { "code" : "0xef00010100040200010004040000000080000160011700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -399,10 +275,6 @@ "validInvalid_125" : { "code" : "0xef00010100040200010004040000000080000160011800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -412,10 +284,6 @@ "validInvalid_126" : { "code" : "0xef0001010004020001000204000000008000001900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -425,10 +293,6 @@ "validInvalid_127" : { "code" : "0xef00010100040200010004040000000080000160011a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -438,10 +302,6 @@ "validInvalid_128" : { "code" : "0xef00010100040200010004040000000080000160011b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -451,10 +311,6 @@ "validInvalid_129" : { "code" : "0xef00010100040200010004040000000080000160011c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -464,10 +320,6 @@ "validInvalid_13" : { "code" : "0xef000101000402000100060400000000800003600180800800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -476,10 +328,6 @@ "validInvalid_130" : { "code" : "0xef00010100040200010004040000000080000160011d00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -489,10 +337,6 @@ "validInvalid_131" : { "code" : "0xef00010100040200010004040000000080000160012000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -502,10 +346,6 @@ "validInvalid_132" : { "code" : "0xef0001010004020001000204000000008000003100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -515,10 +355,6 @@ "validInvalid_133" : { "code" : "0xef0001010004020001000204000000008000003500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -528,10 +364,6 @@ "validInvalid_134" : { "code" : "0xef000101000402000100060400000000800002600160013700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -541,10 +373,6 @@ "validInvalid_135" : { "code" : "0xef000101000402000100060400000000800002600160013900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -554,10 +382,6 @@ "validInvalid_136" : { "code" : "0xef0001010004020001000204000000008000003b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -567,10 +391,6 @@ "validInvalid_137" : { "code" : "0xef0001010004020001000804000000008000036001600160013c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -580,10 +400,6 @@ "validInvalid_138" : { "code" : "0xef000101000402000100060400000000800002600160013e00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -593,10 +409,6 @@ "validInvalid_139" : { "code" : "0xef0001010004020001000204000000008000003f00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -606,10 +418,6 @@ "validInvalid_14" : { "code" : "0xef000101000402000100060400000000800003600180800900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -618,10 +426,6 @@ "validInvalid_140" : { "code" : "0xef0001010004020001000204000000008000004000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -631,10 +435,6 @@ "validInvalid_141" : { "code" : "0xef0001010004020001000204000000008000005000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -644,10 +444,6 @@ "validInvalid_142" : { "code" : "0xef0001010004020001000204000000008000005100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -657,10 +453,6 @@ "validInvalid_143" : { "code" : "0xef00010100040200010004040000000080000160015200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -670,10 +462,6 @@ "validInvalid_144" : { "code" : "0xef00010100040200010004040000000080000160015300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -683,10 +471,6 @@ "validInvalid_145" : { "code" : "0xef0001010004020001000204000000008000005400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -696,10 +480,6 @@ "validInvalid_146" : { "code" : "0xef00010100040200010004040000000080000160015500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -709,10 +489,6 @@ "validInvalid_147" : { "code" : "0xef0001010004020001000204000000008000018000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -722,10 +498,6 @@ "validInvalid_148" : { "code" : "0xef00010100040200010004040000000080000260018100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -735,10 +507,6 @@ "validInvalid_149" : { "code" : "0xef000101000402000100060400000000800003600160018200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -748,10 +516,6 @@ "validInvalid_15" : { "code" : "0xef0001010004020001000504000000008000026001800a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -760,10 +524,6 @@ "validInvalid_150" : { "code" : "0xef0001010004020001000804000000008000046001600160018300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -773,10 +533,6 @@ "validInvalid_151" : { "code" : "0xef0001010004020001000a040000000080000560016001600160018400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -786,10 +542,6 @@ "validInvalid_152" : { "code" : "0xef0001010004020001000c0400000000800006600160016001600160018500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -799,10 +551,6 @@ "validInvalid_153" : { "code" : "0xef0001010004020001000e04000000008000076001600160016001600160018600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -812,10 +560,6 @@ "validInvalid_154" : { "code" : "0xef00010100040200010010040000000080000860016001600160016001600160018700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -825,10 +569,6 @@ "validInvalid_155" : { "code" : "0xef000101000402000100120400000000800009600160016001600160016001600160018800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -838,10 +578,6 @@ "validInvalid_156" : { "code" : "0xef00010100040200010014040000000080000a6001600160016001600160016001600160018900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -851,10 +587,6 @@ "validInvalid_157" : { "code" : "0xef00010100040200010016040000000080000b60016001600160016001600160016001600160018a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -864,10 +596,6 @@ "validInvalid_158" : { "code" : "0xef00010100040200010018040000000080000c600160016001600160016001600160016001600160018b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -877,10 +605,6 @@ "validInvalid_159" : { "code" : "0xef0001010004020001001a040000000080000d6001600160016001600160016001600160016001600160018c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -890,10 +614,6 @@ "validInvalid_16" : { "code" : "0xef0001010004020001000504000000008000026001800b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -902,10 +622,6 @@ "validInvalid_160" : { "code" : "0xef0001010004020001001c040000000080000e60016001600160016001600160016001600160016001600160018d00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -915,10 +631,6 @@ "validInvalid_161" : { "code" : "0xef0001010004020001001e040000000080000f600160016001600160016001600160016001600160016001600160018e00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -928,10 +640,6 @@ "validInvalid_162" : { "code" : "0xef0001010004020001002004000000008000106001600160016001600160016001600160016001600160016001600160018f00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -941,10 +649,6 @@ "validInvalid_163" : { "code" : "0xef00010100040200010004040000000080000160019000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -954,10 +658,6 @@ "validInvalid_164" : { "code" : "0xef000101000402000100060400000000800002600160019100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -967,10 +667,6 @@ "validInvalid_165" : { "code" : "0xef0001010004020001000804000000008000036001600160019200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -980,10 +676,6 @@ "validInvalid_166" : { "code" : "0xef0001010004020001000a040000000080000460016001600160019300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -993,10 +685,6 @@ "validInvalid_167" : { "code" : "0xef0001010004020001000c0400000000800005600160016001600160019400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1006,10 +694,6 @@ "validInvalid_168" : { "code" : "0xef0001010004020001000e04000000008000066001600160016001600160019500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1019,10 +703,6 @@ "validInvalid_169" : { "code" : "0xef00010100040200010010040000000080000760016001600160016001600160019600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1032,10 +712,6 @@ "validInvalid_17" : { "code" : "0xef0001010004020001000504000000008000026001801000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1044,10 +720,6 @@ "validInvalid_170" : { "code" : "0xef000101000402000100120400000000800008600160016001600160016001600160019700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1057,10 +729,6 @@ "validInvalid_171" : { "code" : "0xef0001010004020001001404000000008000096001600160016001600160016001600160019800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1070,10 +738,6 @@ "validInvalid_172" : { "code" : "0xef00010100040200010016040000000080000a60016001600160016001600160016001600160019900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1083,10 +747,6 @@ "validInvalid_173" : { "code" : "0xef00010100040200010018040000000080000b600160016001600160016001600160016001600160019a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1096,10 +756,6 @@ "validInvalid_174" : { "code" : "0xef0001010004020001001a040000000080000c6001600160016001600160016001600160016001600160019b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1109,10 +765,6 @@ "validInvalid_175" : { "code" : "0xef0001010004020001001c040000000080000d60016001600160016001600160016001600160016001600160019c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1122,10 +774,6 @@ "validInvalid_176" : { "code" : "0xef0001010004020001001e040000000080000e600160016001600160016001600160016001600160016001600160019d00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1135,10 +783,6 @@ "validInvalid_177" : { "code" : "0xef00010100040200010020040000000080000f6001600160016001600160016001600160016001600160016001600160019e00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1148,10 +792,6 @@ "validInvalid_178" : { "code" : "0xef00010100040200010022040000000080001060016001600160016001600160016001600160016001600160016001600160019f00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1161,10 +801,6 @@ "validInvalid_179" : { "code" : "0xef0001010004020001000404000000008000016001a000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1174,10 +810,6 @@ "validInvalid_18" : { "code" : "0xef0001010004020001000504000000008000026001801100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1186,10 +818,6 @@ "validInvalid_180" : { "code" : "0xef00010100040200010006040000000080000260016001a100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1199,10 +827,6 @@ "validInvalid_181" : { "code" : "0xef000101000402000100080400000000800003600160016001a200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1212,10 +836,6 @@ "validInvalid_182" : { "code" : "0xef0001010004020001000a04000000008000046001600160016001a300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1225,10 +845,6 @@ "validInvalid_183" : { "code" : "0xef0001010004020001000c040000000080000560016001600160016001a400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1238,10 +854,6 @@ "validInvalid_184" : { "code" : "0xef00010100040200010006040000000080000260016001f000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1251,10 +863,6 @@ "validInvalid_185" : { "code" : "0xef0001010004020001000e0400000000800006600160016001600160016001f100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1264,10 +872,6 @@ "validInvalid_186" : { "code" : "0xef0001010004020001000304000000008000016001f3", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1277,10 +881,6 @@ "validInvalid_187" : { "code" : "0xef0001010004020001000c040000000080000560016001600160016001f400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1290,10 +890,6 @@ "validInvalid_188" : { "code" : "0xef000101000402000100080400000000800003600160016001f500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1303,10 +899,6 @@ "validInvalid_189" : { "code" : "0xef0001010004020001000c040000000080000560016001600160016001fa00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1316,10 +908,6 @@ "validInvalid_19" : { "code" : "0xef0001010004020001000504000000008000026001801200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1328,10 +916,6 @@ "validInvalid_190" : { "code" : "0xef0001010004020001000304000000008000016001fd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1341,10 +925,6 @@ "validInvalid_191" : { "code" : "0xef000101000c02000300040007000304000000008000000100000302000002e3000100600080e30002e45050e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1354,10 +934,6 @@ "validInvalid_192" : { "code" : "0xef000101000c02000300040006000604000000008000000100000202800002e30001006000e30002e45050e30003e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -1367,10 +943,6 @@ "validInvalid_193" : { "code" : "0xef0001010004020001080004000000008004006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_MaxStackHeightExceeded", "result" : false @@ -1380,10 +952,6 @@ "validInvalid_194" : { "code" : "0xef000101000802000207fb000b040000000080040100050005600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000e3000160006000600060006000e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_MaxStackHeightExceeded", "result" : false @@ -1393,10 +961,6 @@ "validInvalid_195" : { "code" : "0xef0001010004020001000204000000008000016000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false @@ -1406,10 +970,6 @@ "validInvalid_196" : { "code" : "0xef0001010004020001000704000000008000016000e10001005b", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false @@ -1419,10 +979,6 @@ "validInvalid_197" : { "code" : "0xef0001010004020001000b04000000008000016000e20100010002fe005b", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false @@ -1432,10 +988,6 @@ "validInvalid_198" : { "code" : "0xef00010100040200010006040000000080000260006000f300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false @@ -1445,10 +997,6 @@ "validInvalid_199" : { "code" : "0xef00010100040200010006040000000080000260006000fd00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false @@ -1458,10 +1006,6 @@ "validInvalid_2" : { "code" : "0xef000101000402000100090400000000800002600060015050e0fff7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1470,10 +1014,6 @@ "validInvalid_20" : { "code" : "0xef0001010004020001000504000000008000026001801300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1482,10 +1022,6 @@ "validInvalid_200" : { "code" : "0xef000101000402000100080400000000800001e000026000600000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false @@ -1495,10 +1031,6 @@ "validInvalid_201" : { "code" : "0xef0001010004020001000c0400000000800001e000026000600050e0fffa00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false @@ -1508,10 +1040,6 @@ "validInvalid_21" : { "code" : "0xef0001010004020001000504000000008000026001801400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1520,10 +1048,6 @@ "validInvalid_22" : { "code" : "0xef00010100040200010004040000000080000160011500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1532,10 +1056,6 @@ "validInvalid_23" : { "code" : "0xef0001010004020001000504000000008000026001801600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1544,10 +1064,6 @@ "validInvalid_24" : { "code" : "0xef0001010004020001000504000000008000026001801700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1556,10 +1072,6 @@ "validInvalid_25" : { "code" : "0xef0001010004020001000504000000008000026001801800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1568,10 +1080,6 @@ "validInvalid_26" : { "code" : "0xef00010100040200010004040000000080000160011900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1580,10 +1088,6 @@ "validInvalid_27" : { "code" : "0xef0001010004020001000504000000008000026001801a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1592,10 +1096,6 @@ "validInvalid_28" : { "code" : "0xef0001010004020001000504000000008000026001801b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1604,10 +1104,6 @@ "validInvalid_29" : { "code" : "0xef0001010004020001000504000000008000026001801c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1616,10 +1112,6 @@ "validInvalid_3" : { "code" : "0xef00010100040200010199040000000080000160c9e2c9000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000fe6800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1628,10 +1120,6 @@ "validInvalid_30" : { "code" : "0xef0001010004020001000504000000008000026001801d00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1640,10 +1128,6 @@ "validInvalid_31" : { "code" : "0xef0001010004020001000504000000008000026001802000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1652,10 +1136,6 @@ "validInvalid_32" : { "code" : "0xef00010100040200010004040000000080000160013100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1664,10 +1144,6 @@ "validInvalid_33" : { "code" : "0xef00010100040200010004040000000080000160013500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1676,10 +1152,6 @@ "validInvalid_34" : { "code" : "0xef000101000402000100060400000000800003600180803700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1688,10 +1160,6 @@ "validInvalid_35" : { "code" : "0xef000101000402000100060400000000800003600180803900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1700,10 +1168,6 @@ "validInvalid_36" : { "code" : "0xef00010100040200010004040000000080000160013b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1712,10 +1176,6 @@ "validInvalid_37" : { "code" : "0xef00010100040200010007040000000080000460018080803c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1724,10 +1184,6 @@ "validInvalid_38" : { "code" : "0xef000101000402000100060400000000800003600180803e00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1736,10 +1192,6 @@ "validInvalid_39" : { "code" : "0xef00010100040200010004040000000080000160013f00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1748,10 +1200,6 @@ "validInvalid_4" : { "code" : "0xef000101000c020003000f00020002040000000080000100010001000100016000e10006e30001e00003e300020030e438e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1760,10 +1208,6 @@ "validInvalid_40" : { "code" : "0xef00010100040200010004040000000080000160014000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1772,10 +1216,6 @@ "validInvalid_41" : { "code" : "0xef00010100040200010004040000000080000160015000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1784,10 +1224,6 @@ "validInvalid_42" : { "code" : "0xef00010100040200010004040000000080000160015100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1796,10 +1232,6 @@ "validInvalid_43" : { "code" : "0xef0001010004020001000504000000008000026001805200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1808,10 +1240,6 @@ "validInvalid_44" : { "code" : "0xef0001010004020001000504000000008000026001805300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1820,10 +1248,6 @@ "validInvalid_45" : { "code" : "0xef00010100040200010004040000000080000160015400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1832,10 +1256,6 @@ "validInvalid_46" : { "code" : "0xef0001010004020001000504000000008000026001805500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1844,10 +1264,6 @@ "validInvalid_47" : { "code" : "0xef00010100040200010004040000000080000260018000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1856,10 +1272,6 @@ "validInvalid_48" : { "code" : "0xef0001010004020001000504000000008000036001808100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1868,10 +1280,6 @@ "validInvalid_49" : { "code" : "0xef000101000402000100060400000000800004600180808200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1880,10 +1288,6 @@ "validInvalid_5" : { "code" : "0xef000101001002000400050005008100800400000000800001010000020200007f7f00007f5fe30001005fe30002e48080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080e30003e450505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050505050e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1892,10 +1296,6 @@ "validInvalid_50" : { "code" : "0xef00010100040200010007040000000080000560018080808300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1904,10 +1304,6 @@ "validInvalid_51" : { "code" : "0xef0001010004020001000804000000008000066001808080808400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1916,10 +1312,6 @@ "validInvalid_52" : { "code" : "0xef000101000402000100090400000000800007600180808080808500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1928,10 +1320,6 @@ "validInvalid_53" : { "code" : "0xef0001010004020001000a040000000080000860018080808080808600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1940,10 +1328,6 @@ "validInvalid_54" : { "code" : "0xef0001010004020001000b04000000008000096001808080808080808700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1952,10 +1336,6 @@ "validInvalid_55" : { "code" : "0xef0001010004020001000c040000000080000a600180808080808080808800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1964,10 +1344,6 @@ "validInvalid_56" : { "code" : "0xef0001010004020001000d040000000080000b60018080808080808080808900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1976,10 +1352,6 @@ "validInvalid_57" : { "code" : "0xef0001010004020001000e040000000080000c6001808080808080808080808a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -1988,10 +1360,6 @@ "validInvalid_58" : { "code" : "0xef0001010004020001000f040000000080000d600180808080808080808080808b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2000,10 +1368,6 @@ "validInvalid_59" : { "code" : "0xef00010100040200010010040000000080000e60018080808080808080808080808c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2012,10 +1376,6 @@ "validInvalid_6" : { "code" : "0xef0001010004020001000504000000008000026001800100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2024,10 +1384,6 @@ "validInvalid_60" : { "code" : "0xef00010100040200010011040000000080000f6001808080808080808080808080808d00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2036,10 +1392,6 @@ "validInvalid_61" : { "code" : "0xef000101000402000100120400000000800010600180808080808080808080808080808e00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2048,10 +1400,6 @@ "validInvalid_62" : { "code" : "0xef00010100040200010013040000000080001160018080808080808080808080808080808f00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2060,10 +1408,6 @@ "validInvalid_63" : { "code" : "0xef0001010004020001000504000000008000026001809000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2072,10 +1416,6 @@ "validInvalid_64" : { "code" : "0xef000101000402000100060400000000800003600180809100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2084,10 +1424,6 @@ "validInvalid_65" : { "code" : "0xef00010100040200010007040000000080000460018080809200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2096,10 +1432,6 @@ "validInvalid_66" : { "code" : "0xef0001010004020001000804000000008000056001808080809300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2108,10 +1440,6 @@ "validInvalid_67" : { "code" : "0xef000101000402000100090400000000800006600180808080809400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2120,10 +1448,6 @@ "validInvalid_68" : { "code" : "0xef0001010004020001000a040000000080000760018080808080809500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2132,10 +1456,6 @@ "validInvalid_69" : { "code" : "0xef0001010004020001000b04000000008000086001808080808080809600", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2144,10 +1464,6 @@ "validInvalid_7" : { "code" : "0xef0001010004020001000504000000008000026001800200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2156,10 +1472,6 @@ "validInvalid_70" : { "code" : "0xef0001010004020001000c0400000000800009600180808080808080809700", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2168,10 +1480,6 @@ "validInvalid_71" : { "code" : "0xef0001010004020001000d040000000080000a60018080808080808080809800", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2180,10 +1488,6 @@ "validInvalid_72" : { "code" : "0xef0001010004020001000e040000000080000b6001808080808080808080809900", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2192,10 +1496,6 @@ "validInvalid_73" : { "code" : "0xef0001010004020001000f040000000080000c600180808080808080808080809a00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2204,10 +1504,6 @@ "validInvalid_74" : { "code" : "0xef00010100040200010010040000000080000d60018080808080808080808080809b00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2216,10 +1512,6 @@ "validInvalid_75" : { "code" : "0xef00010100040200010011040000000080000e6001808080808080808080808080809c00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2228,10 +1520,6 @@ "validInvalid_76" : { "code" : "0xef00010100040200010012040000000080000f600180808080808080808080808080809d00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2240,10 +1528,6 @@ "validInvalid_77" : { "code" : "0xef00010100040200010013040000000080001060018080808080808080808080808080809e00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2252,10 +1536,6 @@ "validInvalid_78" : { "code" : "0xef0001010004020001001404000000008000116001808080808080808080808080808080809f00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2264,10 +1544,6 @@ "validInvalid_79" : { "code" : "0xef000101000402000100050400000000800002600180a000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2276,10 +1552,6 @@ "validInvalid_8" : { "code" : "0xef0001010004020001000504000000008000026001800300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2288,10 +1560,6 @@ "validInvalid_80" : { "code" : "0xef00010100040200010006040000000080000360018080a100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2300,10 +1568,6 @@ "validInvalid_81" : { "code" : "0xef0001010004020001000704000000008000046001808080a200", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2312,10 +1576,6 @@ "validInvalid_82" : { "code" : "0xef000101000402000100080400000000800005600180808080a300", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2324,10 +1584,6 @@ "validInvalid_83" : { "code" : "0xef00010100040200010009040000000080000660018080808080a400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2336,10 +1592,6 @@ "validInvalid_84" : { "code" : "0xef00010100040200010006040000000080000360018080f000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2348,10 +1600,6 @@ "validInvalid_85" : { "code" : "0xef0001010004020001000a04000000008000076001808080808080f100", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2360,10 +1608,6 @@ "validInvalid_86" : { "code" : "0xef000101000402000100040400000000800002600180f3", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2372,10 +1616,6 @@ "validInvalid_87" : { "code" : "0xef00010100040200010009040000000080000660018080808080f400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2384,10 +1624,6 @@ "validInvalid_88" : { "code" : "0xef0001010004020001000704000000008000046001808080f500", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2396,10 +1632,6 @@ "validInvalid_89" : { "code" : "0xef00010100040200010009040000000080000660018080808080fa00", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2408,10 +1640,6 @@ "validInvalid_9" : { "code" : "0xef0001010004020001000504000000008000026001800400", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2420,10 +1648,6 @@ "validInvalid_90" : { "code" : "0xef000101000402000100040400000000800002600180fd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2432,10 +1656,6 @@ "validInvalid_91" : { "code" : "0xef000101000402000100070400000000800002600150600080f3", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2444,10 +1664,6 @@ "validInvalid_92" : { "code" : "0xef000101000402000100070400000000800002600150600080fd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2456,10 +1672,6 @@ "validInvalid_93" : { "code" : "0xef000101000402000100030400000000800000e0fffd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2468,10 +1680,6 @@ "validInvalid_94" : { "code" : "0xef0001010004020001000e0400000000800002600a6001900380e1000100e0fff4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2480,10 +1688,6 @@ "validInvalid_95" : { "code" : "0xef000101000c020003000600060006040000000080000101010002000200026000e300010050e3000250e46000610000e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2492,10 +1696,6 @@ "validInvalid_96" : { "code" : "0xef000101000402000100070400000000800005600080808080f3", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2504,10 +1704,6 @@ "validInvalid_97" : { "code" : "0xef000101000402000100070400000000800005600080808080fd", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2516,10 +1712,6 @@ "validInvalid_98" : { "code" : "0xef000101000802000200040081040000000080007f007f007fe30001006000808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -2528,10 +1720,6 @@ "validInvalid_99" : { "code" : "0xef000101000c020003000600060003040000000080000101000002020000026000e30001006000e30002e45050e4", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } diff --git a/EOFTests/efExample/validInvalid.json b/EOFTests/efExample/validInvalid.json index 8e86ba94c0c..e614579c634 100644 --- a/EOFTests/efExample/validInvalid.json +++ b/EOFTests/efExample/validInvalid.json @@ -2,22 +2,18 @@ "validInvalid" : { "_info" : { "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n EOF1I0001 check that EOF1 with a bad magic number fails\n EOF1I0002 check that EOF1 with a bad version number fails\n EOF1I0003 check that EOF1 with a bad section order fails\n EOF1I0004 check that EOF1 missing a section fails\n EOF1I0005 check that EOF1 with a bad end of sections number fails\n EOF1I0006 check that EOF1 with too many or too few bytes fails\n EOF1I0007 check that EOF1 with a malformed code section fails\n EOF1I0008 check that EOF1 with an illegal opcode fails\n EOF1I0009 check that EOF1 with the wrong maxStackDepth fails\n EOF1I0010 check that return values are not allowed on section 0\n EOF1I0011 check that function calls to code sections that don't exist fail\n EOF1I0012 check that code sections that cause stack underflow fail\n EOF1I0013 check that we can't return more values than we declare\n EOF1I0014 check that code that looks deeper in the stack than the parameters fails\n EOF1I0015 check that code that uses removed opcodes fails\n EOF1I0016 check that code that uses new relative jumps to outside the section fails\n EOF1I0017 check that parameters are not allowed on section 0\n EOF1I0018 inconsistent number of code sections (between types and code)\n EOF1I0019 check that jumps into the middle on an opcode are not allowed\n EOF1I0020 check that you can't get to the same opcode with two different stack heights\n EOF1I0022 stack underflow caused by a function call\n EOF1I0023 sections with unreachable code fail\n EOF1I0024 sections that end with a non-terminator opcode fail\n EOF1I0025 data stack height of 1024 is invalid\n EOF1V0001 check that simple valid EOF1 deploys\n EOF1V0002 check that valid EOF1 with two code sections deploys\n EOF1V0003 check that valid EOF1 with four code sections deploys\n EOF1V0004 check that valid EOF1 can include 0xFE, the designated invalid opcode\n EOF1V0005 check that EOF1 with the right maxStackDepth deploys\n EOF1V0006 check that return values are allowed on code sections that aren't zero\n EOF1V0007 check that function calls to code sections that exist are allowed\n EOF1V0008 check that code that uses a new style relative jump (5C) succeeds\n EOF1V0009 check that parameters are allowed on code sections that aren't zero\n EOF1V0010 parameters are part of the max stack height\n EOF1V0011 check that code that uses a new style conditional jump (5D) succeeds\n EOF1V0012 return values on code sections affect maxStackHeight of the caller\n EOF1V0013 jump tables work\n EOF1V0014 sections that end with a legit terminating opcode are OK\n EOF1V0015 data stack height of 1023 is valid\n", - "filling-rpc-server" : "evmone-t8n 0.11.0-dev+commit.7ad16fff.dirty", - "filling-tool-version" : "retesteth-0.3.1-cancun+commit.372a5939.Linux.g++", - "generatedTestHash" : "0d248ef8a6e4230223408eda3cf0992d733943a1692ff0cd7200f4a489c4d572", - "lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++", - "solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++", + "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.25a5271a.dirty", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.ebcf035f.Linux.g++", + "generatedTestHash" : "a6613cb4ad455d22b5fadbb95e48b6a5190025ba6f515aba9be252b619659546", + "lllcversion" : "Version: 0.5.14-develop.2021.4.29+commit.14c9d5de.Linux.clang", + "solidity" : "Version: 0.8.17-develop.2022.9.30+commit.8df45f5f.Linux.clang", "source" : "src/EOFTestsFiller/efExample/validInvalidFiller.yml", - "sourceHash" : "b985655093f0d618989fdc7a7227887a9175bbcc237c41c4901b0f2c230e56f1" + "sourceHash" : "4560996473abbc00a591b22ab92eab1b76fdf918e8871e5ca955ef81aa16ab8f" }, "vectors" : { "validInvalid_0" : { "code" : "0xef000101000402000100030400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -26,10 +22,6 @@ "validInvalid_1" : { "code" : "0xef0001010004020001000304000400008000013050000bad", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidContainerSize", "result" : false @@ -39,10 +31,6 @@ "validInvalid_10" : { "code" : "0xef0001010014020005001900030003000100010400040000800001008000020080000200800000000000005f35e2030000000300060009e50001e50002e50003e30004005f5ff35f5ffdfee40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -51,10 +39,6 @@ "validInvalid_11" : { "code" : "0xef0001010004020001000d04000400008000016001e2010002000030503050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -63,10 +47,6 @@ "validInvalid_12" : { "code" : "0xef0001010004020001000d04000400008000016001e2020002ffff30503050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -74,25 +54,16 @@ } }, "validInvalid_13" : { - "code" : "0xef0001010004020001000804000400008000026001e10001305b000bad60a7", + "code" : "0xef0001010004020001000804000400008000016001e10001305b000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { - "exception" : "EOF_ConflictingStackHeight", - "result" : false + "result" : true } } }, "validInvalid_14" : { "code" : "0xef0001010004020001000a0400040000800000e00003e00002e0fffa000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -102,10 +73,6 @@ "validInvalid_15" : { "code" : "0xef000101000402000100100400040000800003600060006000e10003e10002e1fffa000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false @@ -115,10 +82,6 @@ "validInvalid_16" : { "code" : "0xef000101000802000100030400040000800001000000003050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidTypeSectionSize", "result" : false @@ -128,10 +91,6 @@ "validInvalid_17" : { "code" : "0xef0001010008020001000304000400008000013050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false @@ -141,10 +100,6 @@ "validInvalid_18" : { "code" : "0xef0001010004020001000504000100008000016003565b00ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false @@ -154,10 +109,6 @@ "validInvalid_19" : { "code" : "0xef00010100040200010007040001000080000160016003575b00ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false @@ -167,10 +118,6 @@ "validInvalid_2" : { "code" : "0xef0001010004020001000304000400008000013050000bad60a70bad", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidContainerSize", "result" : false @@ -180,10 +127,6 @@ "validInvalid_20" : { "code" : "0xef0001010004020001000404000100008000016001ff00ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false @@ -193,10 +136,6 @@ "validInvalid_21" : { "code" : "0xef000101000402000100040400010000800007", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidContainerSize", "result" : false @@ -206,10 +145,6 @@ "validInvalid_22" : { "code" : "0xef0001010004020001001004000100008000016001600260036004600560066007f200ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false @@ -219,10 +154,6 @@ "validInvalid_23" : { "code" : "0xef0001010004020001000504000100008000016003565b00ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false @@ -232,10 +163,6 @@ "validInvalid_24" : { "code" : "0xef00010100080200020006000304000400008000010101000130e3000150005030e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -244,10 +171,6 @@ "validInvalid_25" : { "code" : "0xef000101000802000200040002040004000080000100010001e300010030e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -256,10 +179,6 @@ "validInvalid_26" : { "code" : "0xef000101000802000200030001040004000080000100010001e30001300bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false @@ -269,10 +188,6 @@ "validInvalid_27" : { "code" : "0xef000101000802000200040002040004000080000101000001e300010050e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -282,10 +197,6 @@ "validInvalid_28" : { "code" : "0xef000101000c0200030028000b001f04000400008003ff000a000a00640064e30002e30002e30002e30002e30002e30002e30002e30002e30002e30002e30001e300013030300030303030303030303030e4e30001e30001e30001e30001e30001e30001e30001e30001e30001e30001e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -294,10 +205,6 @@ "validInvalid_29" : { "code" : "0xef000101000c0200030029000b001f0400040000800400000a000a00640064e30002e30002e30002e30002e30002e30002e30002e30002e30002e30002e30001e30001303030300030303030303030303030e4e30001e30001e30001e30001e30001e30001e30001e30001e30001e30001e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_MaxStackHeightExceeded", "result" : false @@ -307,10 +214,6 @@ "validInvalid_3" : { "code" : "0xef0001010004020001000304000400008000013050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -319,10 +222,6 @@ "validInvalid_30" : { "code" : "0xef0001010010020004000b000300030003040004000080000101010001000000010101000130e30001e30003e30002005030e43050e45030e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -331,10 +230,6 @@ "validInvalid_31" : { "code" : "0xef00010100100200040015000500070007040004000080000100800002008000030080000130505f35e202000000030006e50001e50002e50003303050500030303050505000305030503050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -343,10 +238,6 @@ "validInvalid_32" : { "code" : "0xef00010100100200040010000300070007040004000080000100800000008000030080000130505f35e20100000003e50001e50003e5000230303050505000305030503050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -355,10 +246,6 @@ "validInvalid_33" : { "code" : "0xef00010100100200040015000300070007040004000080000100800000008000030080000130505f35e202000000030006e50001e50002e50003e5000f30303050505000305030503050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidCodeSectionIndex", "result" : false @@ -368,10 +255,6 @@ "validInvalid_34" : { "code" : "0xef0001010008020002000600030400040000800001028000023050e50001005050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -381,10 +264,6 @@ "validInvalid_35" : { "code" : "0xef0001010008020002000600030400040000800001000100023050e30001003030e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidNumberOfOutputs", "result" : false @@ -394,10 +273,6 @@ "validInvalid_36" : { "code" : "0xef0001010008020002000600030400040000800001010100023050e30001003091e40bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false @@ -407,10 +282,6 @@ "validInvalid_37" : { "code" : "0xef0001010004020001000304000400000100013050fe0bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidFirstSectionType", "result" : false @@ -420,10 +291,6 @@ "validInvalid_38" : { "code" : "0xef000101000802000200050003040004000080000202800002305fe500015050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -432,10 +299,6 @@ "validInvalid_39" : { "code" : "0xef0001010004020001000304000400018000013050fe0bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidFirstSectionType", "result" : false @@ -445,10 +308,6 @@ "validInvalid_4" : { "code" : "0xef00010100040200010003040004000080000130ef000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false @@ -458,10 +317,6 @@ "validInvalid_40" : { "code" : "0xef0001010004020001000304000400008000033050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidMaxStackHeight", "result" : false @@ -471,10 +326,6 @@ "validInvalid_41" : { "code" : "0xef00010100040200010001040004000080000530503050000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidContainerSize", "result" : false @@ -484,10 +335,6 @@ "validInvalid_42" : { "code" : "0xef0001010004020001000304000400008000013050620bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TruncatedImmediate", "result" : false @@ -497,10 +344,6 @@ "validInvalid_43" : { "code" : "0xef00010100040200010003040001ff00800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_MissingHeaderTerminator", "result" : false @@ -510,10 +353,6 @@ "validInvalid_44" : { "code" : "0xef020101000402000100030400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidMagic", "result" : false @@ -523,10 +362,6 @@ "validInvalid_45" : { "code" : "0xef000001000402000100030400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidVersion", "result" : false @@ -536,10 +371,6 @@ "validInvalid_46" : { "code" : "0xef000201000402000100030400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidVersion", "result" : false @@ -549,10 +380,6 @@ "validInvalid_47" : { "code" : "0xef000102000100030100040400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false @@ -562,10 +389,6 @@ "validInvalid_48" : { "code" : "0xef000102000100030400010100040000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false @@ -575,10 +398,6 @@ "validInvalid_49" : { "code" : "0xef000102000100030400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false @@ -588,10 +407,6 @@ "validInvalid_5" : { "code" : "0xef0001010004020001000304000400008000013050fe0bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -600,10 +415,6 @@ "validInvalid_50" : { "code" : "0xef00010100040400010000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false @@ -613,10 +424,6 @@ "validInvalid_51" : { "code" : "0xef000101000402000100030000800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_DataSectionMissing", "result" : false @@ -626,10 +433,6 @@ "validInvalid_52" : { "code" : "0xef0001010004020001000a040016000080000338600060003938601df3ef0001010004020001000304001d0000000001385000", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -638,10 +441,6 @@ "validInvalid_53" : { "code" : "0x610badfe", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_InvalidMagic", "result" : false @@ -651,10 +450,6 @@ "validInvalid_6" : { "code" : "0xef00010100040200010003040001ff00800001305000ef", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_MissingHeaderTerminator", "result" : false @@ -662,12 +457,8 @@ } }, "validInvalid_7" : { - "code" : "0xef0001010004020001000a0400040000800000e00003e00003e0fffa000bad60a7", + "code" : "0xef0001010004020001000e04000400008000015fe10003e00003e00003e0fffa000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } @@ -676,10 +467,6 @@ "validInvalid_8" : { "code" : "0xef000101000402000100050400040000800000e000015b000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false @@ -689,10 +476,6 @@ "validInvalid_9" : { "code" : "0xef0001010004020001000704000400008000016001e100015b000bad60a7", "results" : { - "Cancun" : { - "exception" : "EOF_InvalidCode", - "result" : false - }, "Prague" : { "result" : true } diff --git a/src/EOFTestsFiller/EIP4200/validInvalidFiller.yml b/src/EOFTestsFiller/EIP4200/validInvalidFiller.yml index 43c5bf5bae0..0210457f7c2 100644 --- a/src/EOFTestsFiller/EIP4200/validInvalidFiller.yml +++ b/src/EOFTestsFiller/EIP4200/validInvalidFiller.yml @@ -59,17 +59,16 @@ validInvalid: EOF1I4200_0041 (Invalid) EOF code containing RJUMPV with target CALLF immediate - Data index: 53 forks: - - ">=Cancun" + - ">=Prague" vectors: # EOF1V4200_0001 (Valid) EOF code containing RJUMP (Positive, Negative) - Data index: 0 - # Code: RJUMP(push) save: SSTORE STOP push: PUSH1(1) PUSH1(1) RJUMP(save) - data: | :label EOF1V4200_0001 :raw 0x EF0001 # Magic and Version ( 1 ) 010004 # Types length ( 4 ) 020001 # Total code sections ( 1 ) - 000c # Code section 0 , 12 bytes + 0010 # Code section 0 , 16 bytes 040000 # Data section length ( 0 ) 00 # Terminator (end of header) # Code 0 types @@ -77,15 +76,15 @@ validInvalid: 80 # 0 outputs (Non-returning function) 0002 # max stack: 2 # Code section 0 - e00002 # RJUMP(2) - 55 # SSTORE - 00 # STOP + 5f # PUSH0 + e10003 # RJUMPI(3) + e00006 # RJUMP(6) 6001 # PUSH1(1) 6001 # PUSH1(1) + 55 # SSTORE + 00 # STOP e0fff7 # RJUMP(-9) # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0002 (Valid) EOF code containing RJUMP (Zero) - Data index: 1 # Code: RJUMP(0) PUSH1(1) PUSH1(1) SSTORE STOP @@ -108,8 +107,6 @@ validInvalid: 55 # SSTORE 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0003 (Valid) EOF code containing RJUMPI (Positive) - Data index: 2 # Code: PUSH1(1) RJUMPI(3) NOP NOP STOP PUSH1(1) PUSH1(1) SSTORE STOP @@ -136,8 +133,6 @@ validInvalid: 55 # SSTORE 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0004 (Valid) EOF code containing RJUMPI (Negative) - Data index: 3 # Code: RJUMP(positive) negative: PUSH1(1) PUSH1(1) SSTORE STOP positive: PUSH1(1) RJUMPI(negative) STOP @@ -146,7 +141,7 @@ validInvalid: EF0001 # Magic and Version ( 1 ) 010004 # Types length ( 4 ) 020001 # Total code sections ( 1 ) - 000f # Code section 0 , 15 bytes + 0011 # Code section 0 , 17 bytes 040000 # Data section length ( 0 ) 00 # Terminator (end of header) # Code 0 types @@ -154,7 +149,8 @@ validInvalid: 80 # 0 outputs (Non-returning function) 0002 # max stack: 2 # Code section 0 - e00006 # RJUMP(6) + 6001 # PUSH1(1) + e10006 # RJUMPI(6) 6001 # PUSH1(1) 6001 # PUSH1(1) 55 # SSTORE @@ -163,8 +159,6 @@ validInvalid: e1fff5 # RJUMPI(-11) 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0005 (Valid) EOF code containing RJUMPI (Zero) - Data index: 4 # Code: PUSH1(1) RJUMPI(0) PUSH1(1) PUSH1(1) SSTORE STOP @@ -188,8 +182,6 @@ validInvalid: 55 # SSTORE 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0006 (Valid) EOF with RJUMPV table size 1 (Positive) - Data index: 5 # Code: PUSH1(0) RJUMPV(3) NOP NOP STOP PUSH1(1) PUSH1(1) SSTORE STOP @@ -216,17 +208,15 @@ validInvalid: 55 # SSTORE 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0007 (Valid) EOF with RJUMPV table size 1 (Negative) - Data index: 6 - # Code: RJUMP(positive) negative: PUSH1(1) PUSH1(1) SSTORE STOP positive: PUSH1(0) RJUMPV(negative) STOP + # Code: PUSH1(1) RJUMPI(positive) negative: PUSH1(1) PUSH1(1) SSTORE STOP positive: PUSH1(0) RJUMPV(negative) STOP - data: | :label EOF1V4200_0007 :raw 0x EF0001 # Magic and Version ( 1 ) 010004 # Types length ( 4 ) 020001 # Total code sections ( 1 ) - 0010 # Code section 0 , 16 bytes + 0012 # Code section 0 , 18 bytes 040000 # Data section length ( 0 ) 00 # Terminator (end of header) # Code 0 types @@ -234,7 +224,8 @@ validInvalid: 80 # 0 outputs (Non-returning function) 0002 # max stack: 2 # Code section 0 - e00006 # RJUMP(6) + 6001 # PUSH1(1) + e10006 # RJUMPI(6) 6001 # PUSH1(1) 6001 # PUSH1(1) 55 # SSTORE @@ -243,8 +234,6 @@ validInvalid: e200fff4 # RJUMPV(-12) 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0008 (Valid) EOF with RJUMPV table size 1 (Zero) - Data index: 7 # Code: PUSH1(0) RJUMPV(0) PUSH1(1) PUSH1(1) SSTORE STOP @@ -268,8 +257,6 @@ validInvalid: 55 # SSTORE 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0009 (Valid) EOF with RJUMPV table size 3 - Data index: 8 # Code: PUSH1(0) RJUMPV(3,0,-10) NOP NOP STOP PUSH1(1) PUSH1(1) SSTORE STOP @@ -296,43 +283,32 @@ validInvalid: 55 # SSTORE 00 # STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0010 (Valid) EOF with RJUMPV table size 256 (Target 0) - Data index: 9 # Code: PUSH1(0) RJUMPV(random 256 offsets) NOP * 255 STOP PUSH1(1) PUSH1(1) SSTORE STOP - data: | :label EOF1V4200_0010 :raw 0xef0001010004020001030a04000000008000026000e2ff010000c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe004300fb00fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd008200c500ff5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b00600160015500 - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0011 (Valid) EOF with RJUMPV table size 256 (Target 100) - Data index: 10 # Code: PUSH1(100) RJUMPV(random 256 offsets) NOP * 255 STOP PUSH1(1) PUSH1(1) SSTORE STOP - data: | :label EOF1V4200_0011 :raw 0xef0001010004020001030a04000000008000026064e2ff006700c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe0043010000fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd008200c500ff5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b00600160015500 - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0012 (Valid) EOF with RJUMPV table size 256 (Target 254) - Data index: 11 # Code: PUSH1(254) RJUMPV(random 256 offsets) NOP * 255 STOP PUSH1(1) PUSH1(1) SSTORE STOP - data: | :label EOF1V4200_0012 :raw 0xef0001010004020001030a040000000080000260fee2ff006700c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe004300fb00fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd0082010000c55b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b00600160015500 - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V4200_0013 (Valid) EOF with RJUMPV table size 256 (Target 256) - Data index: 12 # Code: PUSH2(256) RJUMPV(random 256 offsets) NOP * 255 PUSH1(1) PUSH1(1) SSTORE STOP - data: | :label EOF1V4200_0013 :raw 0xef0001010004020001030a0400000000800002610100e2ff006700c600690073005100ff004a00ec002900cd00ba00ab00f200fb00e30046007c00c2005400f8001b00e800e7008d0076005a002e00630033009f00c9009a00660032000d00b70031005800a3005a0025005d00050017005800e9005e00d400ab00b200cd00c6009b00b400540011000e0082007400410021003d00dc0087007000e9003e00a1004100e100fc0067003e0001007e009700ea00dc006b0096008f0038005c002a00ec00b0003b00fb003200af003c005400ec001800db005c0002001a00fe004300fb00fa00aa003a00fb002900d100e60005003c007c0094007500d800be0061008900f9005c00bb00a80099000f009500b100eb00f100b3000500ef00f7000000e900a1003a00e500ca000b00cb00d000480047006400bd001f0023001e00a8001c007b006400c500140073005a00c5005e004b00790063003b0070006400240011009e000900dc00aa00d400ac00f2001b001000af003b003300cd00e30050004800470015005c00bb006f0022001900ba009b007d00f5000b00e1001a001c007f002300f8002900f800a4001b001300b500ca004e00e800980032003800e00079004d003d003400bc005f004e007700fa00cb006c000500ac00860021002b00aa001a005500a200be007000b50073003b0004005c00d30036009400b300af00e200f000e4009e004f00320015004900fd008200ff00c55b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b600160015500 - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1I4200_0001 (Invalid) EOF code containing truncated RJUMP - Data index: 13 # Code: RJUMP - data: | :label EOF1I4200_0001 :raw 0xef000101000402000100010400000000800000e0 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0002 (Invalid) EOF code containing truncated RJUMP - Data index: 14 @@ -340,7 +316,6 @@ validInvalid: - data: | :label EOF1I4200_0002 :raw 0xef000101000402000100020400000000800000e000 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0003 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping into header) - Data index: 15 @@ -361,7 +336,6 @@ validInvalid: e0fffb # RJUMP(-5) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0004 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping before code begin) - Data index: 16 @@ -382,7 +356,6 @@ validInvalid: e0ffe9 # RJUMP(-23) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0005 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping into data section) - Data index: 17 @@ -405,7 +378,6 @@ validInvalid: # Data section aabbccdd expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0006 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping after code end) - Data index: 18 @@ -426,7 +398,6 @@ validInvalid: e00002 # RJUMP(2) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0007 (Invalid) EOF code containing RJUMP with target outside code bounds (Jumping to code end) - Data index: 19 @@ -448,7 +419,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0008 (Invalid) EOF code containing RJUMP with target self RJUMP immediate - Data index: 20 @@ -469,7 +439,6 @@ validInvalid: e0ffff # RJUMP(-1) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0009 (Invalid) EOF code containing RJUMP with target other RJUMP immediate - Data index: 21 @@ -492,7 +461,6 @@ validInvalid: e0fffc # RJUMP(-4) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0010 (Invalid) EOF code containing RJUMP with target RJUMPI immediate - Data index: 22 @@ -517,7 +485,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0011 (Invalid) EOF code containing RJUMP with target PUSH immediate - Data index: 23 @@ -543,7 +510,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0012 (Invalid) EOF code containing RJUMP with target RJUMPV immediate - Data index: 24 @@ -568,7 +534,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0013 (Invalid) EOF code containing RJUMP with target CALLF immediate - Data index: 25 @@ -602,7 +567,6 @@ validInvalid: e4 # RETF # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0014 (Invalid) EOF code containing truncated RJUMPI - Data index: 26 @@ -610,7 +574,6 @@ validInvalid: - data: | :label EOF1I4200_0014 :raw 0xef0001010004020001000304000000008000016000e1 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0015 (Invalid) EOF code containing truncated RJUMPI - Data index: 27 @@ -618,7 +581,6 @@ validInvalid: - data: | :label EOF1I4200_0015 :raw 0xef0001010004020001000404000000008000016000e100 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0016 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping into header) - Data index: 28 @@ -641,7 +603,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0017 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping to before code begin) - Data index: 29 @@ -664,7 +625,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0018 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping into data section) - Data index: 30 @@ -689,7 +649,6 @@ validInvalid: # Data section aabbccdd expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0019 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping to after code end) - Data index: 31 @@ -712,7 +671,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0020 (Invalid) EOF code containing RJUMPI with target outside code bounds (Jumping to code end) - Data index: 32 @@ -735,7 +693,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0021 (Invalid) EOF code containing RJUMPI with target same RJUMPI immediate - Data index: 33 @@ -758,7 +715,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0022 (Invalid) EOF code containing RJUMPI with target other RJUMPI immediate - Data index: 34 @@ -784,7 +740,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0023 (Invalid) EOF code containing RJUMPI with target RJUMP immediate - Data index: 35 @@ -808,7 +763,6 @@ validInvalid: e0fff7 # RJUMP(-9) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0024 (Invalid) EOF code containing RJUMPI with target PUSH immediate - Data index: 36 @@ -831,7 +785,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0025 (Invalid) EOF code containing RJUMPI with target RJUMPV immediate - Data index: 37 @@ -857,7 +810,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0026 (Invalid) EOF code containing RJUMPI with target CALLF immediate - Data index: 38 @@ -892,7 +844,6 @@ validInvalid: e4 # RETF # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0027 (Invalid) EOF code containing RJUMPV with max_index 0 but no immediates - Data index: 39 @@ -900,7 +851,6 @@ validInvalid: - data: | :label EOF1I4200_0027 :raw 0xef0001010004020001000404000000008000016001e200 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0028 (Invalid) EOF code containing truncated RJUMPV - Data index: 40 @@ -908,7 +858,6 @@ validInvalid: - data: | :label EOF1I4200_0028 :raw 0xef0001010004020001000304000000008000016001e2 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0029 (Invalid) EOF code containing truncated RJUMPV - Data index: 41 @@ -916,7 +865,6 @@ validInvalid: - data: | :label EOF1I4200_0029 :raw 0xef0001010004020001000404000000008000016001e200 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0030 (Invalid) EOF code containing truncated RJUMPV - Data index: 42 @@ -924,7 +872,6 @@ validInvalid: - data: | :label EOF1I4200_0030 :raw 0xef0001010004020001000504000000008000016001e20000 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" # EOF1I4200_0031 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping into header) - Data index: 43 @@ -947,7 +894,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0032 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping to before code begin) - Data index: 44 @@ -970,7 +916,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0033 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping into data section) - Data index: 45 @@ -995,7 +940,6 @@ validInvalid: # Data section aabbccdd expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0034 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping to after code end) - Data index: 46 @@ -1018,7 +962,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0035 (Invalid) EOF code containing RJUMPV with target outside code bounds (Jumping to code end) - Data index: 47 @@ -1041,7 +984,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0036 (Invalid) EOF code containing RJUMPV with target same RJUMPV immediate - Data index: 48 @@ -1064,7 +1006,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0037 (Invalid) EOF code containing RJUMPV with target RJUMP immediate - Data index: 49 @@ -1090,7 +1031,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0038 (Invalid) EOF code containing RJUMPV with target RJUMPI immediate - Data index: 50 @@ -1116,7 +1056,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0039 (Invalid) EOF code containing RJUMPV with target PUSH immediate - Data index: 51 @@ -1143,7 +1082,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0040 (Invalid) EOF code containing RJUMPV with target other RJUMPV immediate - Data index: 52 @@ -1169,7 +1107,6 @@ validInvalid: 00 # STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" # EOF1I4200_0041 (Invalid) EOF code containing RJUMPV with target CALLF immediate - Data index: 53 @@ -1204,6 +1141,5 @@ validInvalid: e4 # RETF # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" diff --git a/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml b/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml index 9a24f30fe49..3e1d409b64e 100644 --- a/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml +++ b/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml @@ -207,7 +207,7 @@ validInvalid: EOF1I5450_0103 (Invalid) Unreachable code after infinite loop forks: - - ">=Cancun" + - ">=Prague" vectors: # EOF1V5450_0001 (Valid) Code with branches having the same stack height - data index: 0 @@ -235,8 +235,6 @@ validInvalid: 6004 # [14] PUSH1(4) 00 # [16] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0002 (Valid) Jump table - data index: 1 # Code: PUSH1(0) RJUMPV(case1,case2) PUSH1(1) PUSH1(2) RJUMP(exit) case1: PUSH1(3) PUSH1(4) RJUMP(exit) case2: PUSH1(5) PUSH1(6) exit: STOP @@ -266,8 +264,6 @@ validInvalid: 6006 # [24] PUSH1(6) 00 # [26] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0003 (Valid) Infinite loop - data index: 2 # Code: start: PUSH1(0) PUSH1(1) POP POP RJUMP(start) @@ -291,8 +287,6 @@ validInvalid: 50 # [5] POP e0fff7 # [6] RJUMP(-9) # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0004 (Valid) Infinite loop using RJUMPV - data index: 3 # Code: start: PUSH1(201) RJUMPV(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,start) STOP @@ -314,8 +308,6 @@ validInvalid: e2c9000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000fe68 # [2] RJUMPV(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-408) 00 # [408] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0005 (Valid) CALLF branches with the same total of outputs - data index: 4 # Code[0](Types: 0:128): PUSH1(0) RJUMPI(label_true) label_false: CALLF(1) RJUMP(exit) label_true: CALLF(2) exit: STOP @@ -358,8 +350,6 @@ validInvalid: 38 # [0] CODESIZE e4 # [1] RETF # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0006 (Valid) CALLF inputs - data index: 5 # Code[0](Types: 0:128): PUSH0 CALLF(1) STOP @@ -660,8 +650,6 @@ validInvalid: 50 # [126] POP e4 # [127] RETF # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0007 (Valid) Validate input for ADD opcode - data index: 6 # Code: PUSH1(1) DUP1 ADD STOP @@ -684,8 +672,6 @@ validInvalid: 01 # [3] ADD 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0008 (Valid) Validate input for MUL opcode - data index: 7 # Code: PUSH1(1) DUP1 MUL STOP @@ -708,8 +694,6 @@ validInvalid: 02 # [3] MUL 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0009 (Valid) Validate input for SUB opcode - data index: 8 # Code: PUSH1(1) DUP1 SUB STOP @@ -732,8 +716,6 @@ validInvalid: 03 # [3] SUB 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0010 (Valid) Validate input for DIV opcode - data index: 9 # Code: PUSH1(1) DUP1 DIV STOP @@ -756,8 +738,6 @@ validInvalid: 04 # [3] DIV 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0011 (Valid) Validate input for SDIV opcode - data index: 10 # Code: PUSH1(1) DUP1 SDIV STOP @@ -780,8 +760,6 @@ validInvalid: 05 # [3] SDIV 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0012 (Valid) Validate input for MOD opcode - data index: 11 # Code: PUSH1(1) DUP1 MOD STOP @@ -804,8 +782,6 @@ validInvalid: 06 # [3] MOD 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0013 (Valid) Validate input for SMOD opcode - data index: 12 # Code: PUSH1(1) DUP1 SMOD STOP @@ -828,8 +804,6 @@ validInvalid: 07 # [3] SMOD 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0014 (Valid) Validate input for ADDMOD opcode - data index: 13 # Code: PUSH1(1) DUP1 DUP1 ADDMOD STOP @@ -853,8 +827,6 @@ validInvalid: 08 # [4] ADDMOD 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0015 (Valid) Validate input for MULMOD opcode - data index: 14 # Code: PUSH1(1) DUP1 DUP1 MULMOD STOP @@ -878,8 +850,6 @@ validInvalid: 09 # [4] MULMOD 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0016 (Valid) Validate input for EXP opcode - data index: 15 # Code: PUSH1(1) DUP1 EXP STOP @@ -902,8 +872,6 @@ validInvalid: 0a # [3] EXP 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0017 (Valid) Validate input for SIGNEXTEND opcode - data index: 16 # Code: PUSH1(1) DUP1 SIGNEXTEND STOP @@ -926,8 +894,6 @@ validInvalid: 0b # [3] SIGNEXTEND 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0018 (Valid) Validate input for LT opcode - data index: 17 # Code: PUSH1(1) DUP1 LT STOP @@ -950,8 +916,6 @@ validInvalid: 10 # [3] LT 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0019 (Valid) Validate input for GT opcode - data index: 18 # Code: PUSH1(1) DUP1 GT STOP @@ -974,8 +938,6 @@ validInvalid: 11 # [3] GT 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0020 (Valid) Validate input for SLT opcode - data index: 19 # Code: PUSH1(1) DUP1 SLT STOP @@ -998,8 +960,6 @@ validInvalid: 12 # [3] SLT 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0021 (Valid) Validate input for SGT opcode - data index: 20 # Code: PUSH1(1) DUP1 SGT STOP @@ -1022,8 +982,6 @@ validInvalid: 13 # [3] SGT 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0022 (Valid) Validate input for EQ opcode - data index: 21 # Code: PUSH1(1) DUP1 EQ STOP @@ -1046,8 +1004,6 @@ validInvalid: 14 # [3] EQ 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0023 (Valid) Validate input for ISZERO opcode - data index: 22 # Code: PUSH1(1) ISZERO STOP @@ -1069,8 +1025,6 @@ validInvalid: 15 # [2] ISZERO 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0024 (Valid) Validate input for AND opcode - data index: 23 # Code: PUSH1(1) DUP1 AND STOP @@ -1093,8 +1047,6 @@ validInvalid: 16 # [3] AND 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0025 (Valid) Validate input for OR opcode - data index: 24 # Code: PUSH1(1) DUP1 OR STOP @@ -1117,8 +1069,6 @@ validInvalid: 17 # [3] OR 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0026 (Valid) Validate input for XOR opcode - data index: 25 # Code: PUSH1(1) DUP1 XOR STOP @@ -1141,8 +1091,6 @@ validInvalid: 18 # [3] XOR 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0027 (Valid) Validate input for NOT opcode - data index: 26 # Code: PUSH1(1) NOT STOP @@ -1164,8 +1112,6 @@ validInvalid: 19 # [2] NOT 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0028 (Valid) Validate input for BYTE opcode - data index: 27 # Code: PUSH1(1) DUP1 BYTE STOP @@ -1188,8 +1134,6 @@ validInvalid: 1a # [3] BYTE 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0029 (Valid) Validate input for SHL opcode - data index: 28 # Code: PUSH1(1) DUP1 SHL STOP @@ -1212,8 +1156,6 @@ validInvalid: 1b # [3] SHL 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0030 (Valid) Validate input for SHR opcode - data index: 29 # Code: PUSH1(1) DUP1 SHR STOP @@ -1236,8 +1178,6 @@ validInvalid: 1c # [3] SHR 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0031 (Valid) Validate input for SAR opcode - data index: 30 # Code: PUSH1(1) DUP1 SAR STOP @@ -1260,8 +1200,6 @@ validInvalid: 1d # [3] SAR 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0032 (Valid) Validate input for SHA3 opcode - data index: 31 # Code: PUSH1(1) DUP1 SHA3 STOP @@ -1284,8 +1222,6 @@ validInvalid: 20 # [3] SHA3 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0033 (Valid) Validate input for BALANCE opcode - data index: 32 # Code: PUSH1(1) BALANCE STOP @@ -1307,8 +1243,6 @@ validInvalid: 31 # [2] BALANCE 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode - data index: 33 # Code: PUSH1(1) CALLDATALOAD STOP @@ -1330,8 +1264,6 @@ validInvalid: 35 # [2] CALLDATALOAD 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode - data index: 34 # Code: PUSH1(1) DUP1 DUP1 CALLDATACOPY STOP @@ -1355,8 +1287,6 @@ validInvalid: 37 # [4] CALLDATACOPY 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0036 (Valid) Validate input for CODECOPY opcode - data index: 35 # Code: PUSH1(1) DUP1 DUP1 CODECOPY STOP @@ -1380,8 +1310,6 @@ validInvalid: 39 # [4] CODECOPY 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0037 (Valid) Validate input for EXTCODESIZE opcode - data index: 36 # Code: PUSH1(1) EXTCODESIZE STOP @@ -1403,8 +1331,6 @@ validInvalid: 3b # [2] EXTCODESIZE 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0038 (Valid) Validate input for EXTCODECOPY opcode - data index: 37 # Code: PUSH1(1) DUP1 DUP1 DUP1 EXTCODECOPY STOP @@ -1429,8 +1355,6 @@ validInvalid: 3c # [5] EXTCODECOPY 00 # [6] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - data index: 38 # Code: PUSH1(1) DUP1 DUP1 RETURNDATACOPY STOP @@ -1454,8 +1378,6 @@ validInvalid: 3e # [4] RETURNDATACOPY 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0040 (Valid) Validate input for EXTCODEHASH opcode - data index: 39 # Code: PUSH1(1) EXTCODEHASH STOP @@ -1477,8 +1399,6 @@ validInvalid: 3f # [2] EXTCODEHASH 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - data index: 40 # Code: PUSH1(1) BLOCKHASH STOP @@ -1500,8 +1420,6 @@ validInvalid: 40 # [2] BLOCKHASH 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0042 (Valid) Validate input for POP opcode - data index: 41 # Code: PUSH1(1) POP STOP @@ -1523,8 +1441,6 @@ validInvalid: 50 # [2] POP 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0043 (Valid) Validate input for MLOAD opcode - data index: 42 # Code: PUSH1(1) MLOAD STOP @@ -1546,8 +1462,6 @@ validInvalid: 51 # [2] MLOAD 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0044 (Valid) Validate input for MSTORE opcode - data index: 43 # Code: PUSH1(1) DUP1 MSTORE STOP @@ -1570,8 +1484,6 @@ validInvalid: 52 # [3] MSTORE 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0045 (Valid) Validate input for MSTORE8 opcode - data index: 44 # Code: PUSH1(1) DUP1 MSTORE8 STOP @@ -1594,8 +1506,6 @@ validInvalid: 53 # [3] MSTORE8 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0046 (Valid) Validate input for SLOAD opcode - data index: 45 # Code: PUSH1(1) SLOAD STOP @@ -1617,8 +1527,6 @@ validInvalid: 54 # [2] SLOAD 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0047 (Valid) Validate input for SSTORE opcode - data index: 46 # Code: PUSH1(1) DUP1 SSTORE STOP @@ -1641,8 +1549,6 @@ validInvalid: 55 # [3] SSTORE 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0048 (Valid) Validate input for DUP1 opcode - data index: 47 # Code: PUSH1(1) DUP1 STOP @@ -1664,8 +1570,6 @@ validInvalid: 80 # [2] DUP1 00 # [3] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0049 (Valid) Validate input for DUP2 opcode - data index: 48 # Code: PUSH1(1) DUP1 DUP2 STOP @@ -1688,8 +1592,6 @@ validInvalid: 81 # [3] DUP2 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0050 (Valid) Validate input for DUP3 opcode - data index: 49 # Code: PUSH1(1) DUP1 DUP1 DUP3 STOP @@ -1713,8 +1615,6 @@ validInvalid: 82 # [4] DUP3 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0051 (Valid) Validate input for DUP4 opcode - data index: 50 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP4 STOP @@ -1739,8 +1639,6 @@ validInvalid: 83 # [5] DUP4 00 # [6] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0052 (Valid) Validate input for DUP5 opcode - data index: 51 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP5 STOP @@ -1766,8 +1664,6 @@ validInvalid: 84 # [6] DUP5 00 # [7] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0053 (Valid) Validate input for DUP6 opcode - data index: 52 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP6 STOP @@ -1794,8 +1690,6 @@ validInvalid: 85 # [7] DUP6 00 # [8] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0054 (Valid) Validate input for DUP7 opcode - data index: 53 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP7 STOP @@ -1823,8 +1717,6 @@ validInvalid: 86 # [8] DUP7 00 # [9] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0055 (Valid) Validate input for DUP8 opcode - data index: 54 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP8 STOP @@ -1853,8 +1745,6 @@ validInvalid: 87 # [9] DUP8 00 # [10] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0056 (Valid) Validate input for DUP9 opcode - data index: 55 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP9 STOP @@ -1884,8 +1774,6 @@ validInvalid: 88 # [10] DUP9 00 # [11] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0057 (Valid) Validate input for DUP10 opcode - data index: 56 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP10 STOP @@ -1916,8 +1804,6 @@ validInvalid: 89 # [11] DUP10 00 # [12] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0058 (Valid) Validate input for DUP11 opcode - data index: 57 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP11 STOP @@ -1949,8 +1835,6 @@ validInvalid: 8a # [12] DUP11 00 # [13] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0059 (Valid) Validate input for DUP12 opcode - data index: 58 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP12 STOP @@ -1983,8 +1867,6 @@ validInvalid: 8b # [13] DUP12 00 # [14] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0060 (Valid) Validate input for DUP13 opcode - data index: 59 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP13 STOP @@ -2018,8 +1900,6 @@ validInvalid: 8c # [14] DUP13 00 # [15] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0061 (Valid) Validate input for DUP14 opcode - data index: 60 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP14 STOP @@ -2054,8 +1934,6 @@ validInvalid: 8d # [15] DUP14 00 # [16] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0062 (Valid) Validate input for DUP15 opcode - data index: 61 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP15 STOP @@ -2091,8 +1969,6 @@ validInvalid: 8e # [16] DUP15 00 # [17] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0063 (Valid) Validate input for DUP16 opcode - data index: 62 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP16 STOP @@ -2129,8 +2005,6 @@ validInvalid: 8f # [17] DUP16 00 # [18] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0064 (Valid) Validate input for SWAP1 opcode - data index: 63 # Code: PUSH1(1) DUP1 SWAP1 STOP @@ -2153,8 +2027,6 @@ validInvalid: 90 # [3] SWAP1 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0065 (Valid) Validate input for SWAP2 opcode - data index: 64 # Code: PUSH1(1) DUP1 DUP1 SWAP2 STOP @@ -2178,8 +2050,6 @@ validInvalid: 91 # [4] SWAP2 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0066 (Valid) Validate input for SWAP3 opcode - data index: 65 # Code: PUSH1(1) DUP1 DUP1 DUP1 SWAP3 STOP @@ -2204,8 +2074,6 @@ validInvalid: 92 # [5] SWAP3 00 # [6] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0067 (Valid) Validate input for SWAP4 opcode - data index: 66 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 SWAP4 STOP @@ -2231,8 +2099,6 @@ validInvalid: 93 # [6] SWAP4 00 # [7] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0068 (Valid) Validate input for SWAP5 opcode - data index: 67 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 SWAP5 STOP @@ -2259,8 +2125,6 @@ validInvalid: 94 # [7] SWAP5 00 # [8] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0069 (Valid) Validate input for SWAP6 opcode - data index: 68 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP6 STOP @@ -2288,8 +2152,6 @@ validInvalid: 95 # [8] SWAP6 00 # [9] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0070 (Valid) Validate input for SWAP7 opcode - data index: 69 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP7 STOP @@ -2318,8 +2180,6 @@ validInvalid: 96 # [9] SWAP7 00 # [10] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0071 (Valid) Validate input for SWAP8 opcode - data index: 70 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP8 STOP @@ -2349,8 +2209,6 @@ validInvalid: 97 # [10] SWAP8 00 # [11] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0072 (Valid) Validate input for SWAP9 opcode - data index: 71 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP9 STOP @@ -2381,8 +2239,6 @@ validInvalid: 98 # [11] SWAP9 00 # [12] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0073 (Valid) Validate input for SWAP10 opcode - data index: 72 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP10 STOP @@ -2414,8 +2270,6 @@ validInvalid: 99 # [12] SWAP10 00 # [13] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0074 (Valid) Validate input for SWAP11 opcode - data index: 73 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP11 STOP @@ -2448,8 +2302,6 @@ validInvalid: 9a # [13] SWAP11 00 # [14] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0075 (Valid) Validate input for SWAP12 opcode - data index: 74 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP12 STOP @@ -2483,8 +2335,6 @@ validInvalid: 9b # [14] SWAP12 00 # [15] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0076 (Valid) Validate input for SWAP13 opcode - data index: 75 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP13 STOP @@ -2519,8 +2369,6 @@ validInvalid: 9c # [15] SWAP13 00 # [16] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0077 (Valid) Validate input for SWAP14 opcode - data index: 76 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP14 STOP @@ -2556,8 +2404,6 @@ validInvalid: 9d # [16] SWAP14 00 # [17] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0078 (Valid) Validate input for SWAP15 opcode - data index: 77 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP15 STOP @@ -2594,8 +2440,6 @@ validInvalid: 9e # [17] SWAP15 00 # [18] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0079 (Valid) Validate input for SWAP16 opcode - data index: 78 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP16 STOP @@ -2633,8 +2477,6 @@ validInvalid: 9f # [18] SWAP16 00 # [19] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0080 (Valid) Validate input for LOG0 opcode - data index: 79 # Code: PUSH1(1) DUP1 LOG0 STOP @@ -2657,8 +2499,6 @@ validInvalid: a0 # [3] LOG0 00 # [4] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0081 (Valid) Validate input for LOG1 opcode - data index: 80 # Code: PUSH1(1) DUP1 DUP1 LOG1 STOP @@ -2682,8 +2522,6 @@ validInvalid: a1 # [4] LOG1 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0082 (Valid) Validate input for LOG2 opcode - data index: 81 # Code: PUSH1(1) DUP1 DUP1 DUP1 LOG2 STOP @@ -2708,8 +2546,6 @@ validInvalid: a2 # [5] LOG2 00 # [6] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0083 (Valid) Validate input for LOG3 opcode - data index: 82 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 LOG3 STOP @@ -2735,8 +2571,6 @@ validInvalid: a3 # [6] LOG3 00 # [7] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0084 (Valid) Validate input for LOG4 opcode - data index: 83 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 LOG4 STOP @@ -2763,8 +2597,6 @@ validInvalid: a4 # [7] LOG4 00 # [8] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0085 (Valid) Validate input for CREATE opcode - data index: 84 # Code: PUSH1(1) DUP1 DUP1 CREATE STOP @@ -2788,8 +2620,6 @@ validInvalid: f0 # [4] CREATE 00 # [5] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0086 (Valid) Validate input for CALL opcode - data index: 85 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 CALL STOP @@ -2817,8 +2647,6 @@ validInvalid: f1 # [8] CALL 00 # [9] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0087 (Valid) Validate input for RETURN opcode - data index: 86 # Code: PUSH1(1) DUP1 RETURN @@ -2840,8 +2668,6 @@ validInvalid: 80 # [2] DUP1 f3 # [3] RETURN # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0088 (Valid) Validate input for DELEGATECALL opcode - data index: 87 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DELEGATECALL STOP @@ -2868,8 +2694,6 @@ validInvalid: f4 # [7] DELEGATECALL 00 # [8] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0089 (Valid) Validate input for CREATE2 opcode - data index: 88 # Code: PUSH1(1) DUP1 DUP1 DUP1 CREATE2 STOP @@ -2894,8 +2718,6 @@ validInvalid: f5 # [5] CREATE2 00 # [6] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - data index: 89 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 STATICCALL STOP @@ -2922,8 +2744,6 @@ validInvalid: fa # [7] STATICCALL 00 # [8] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0091 (Valid) Validate input for REVERT opcode - data index: 90 # Code: PUSH1(1) DUP1 REVERT @@ -2945,8 +2765,6 @@ validInvalid: 80 # [2] DUP1 fd # [3] REVERT # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - data index: 91 # Code: PUSH1(1) POP PUSH1(0) DUP1 RETURN @@ -2970,8 +2788,6 @@ validInvalid: 80 # [5] DUP1 f3 # [6] RETURN # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - data index: 92 # Code: PUSH1(1) POP PUSH1(0) DUP1 REVERT @@ -2995,8 +2811,6 @@ validInvalid: 80 # [5] DUP1 fd # [6] REVERT # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - data index: 93 # Code: start: RJUMP(start) @@ -3016,8 +2830,6 @@ validInvalid: # Code section 0 e0fffd # [0] RJUMP(-3) # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - data index: 94 # Code: PUSH1(10) start: PUSH1(1) SWAP1 SUB DUP1 RJUMPI(end) STOP end: RJUMP(start) @@ -3044,8 +2856,6 @@ validInvalid: 00 # [10] STOP e0fff4 # [11] RJUMP(-12) # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0096 (Valid) Functions ending with RETF - data index: 95 # Code[0](Types: 0:128): PUSH1(0) CALLF(1) STOP @@ -3088,8 +2898,6 @@ validInvalid: 610000 # [2] PUSH2(0) e4 # [5] RETF # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - data index: 96 # Code: PUSH1(0) DUP1 DUP1 DUP1 DUP1 RETURN @@ -3114,8 +2922,6 @@ validInvalid: 80 # [5] DUP1 f3 # [6] RETURN # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - data index: 97 # Code: PUSH1(0) DUP1 DUP1 DUP1 DUP1 REVERT @@ -3140,8 +2946,6 @@ validInvalid: 80 # [5] DUP1 fd # [6] REVERT # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - data index: 98 # Code[0](Types: 0:128): CALLF(1) STOP @@ -3297,8 +3101,6 @@ validInvalid: 80 # [127] DUP1 e4 # [128] RETF # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1I5450_0001 (Valid) Calling function without enough stack items: Function 1 calls Function 2 with enough parameters - data index: 99 # Code[0](Types: 0:128): PUSH1(0) CALLF(1) STOP @@ -3340,8 +3142,6 @@ validInvalid: 50 # [1] POP e4 # [2] RETF # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" # EOF1I5450_0002 (Invalid) Stack height mismatch for different paths (a) - data index: 100 # Code: PUSH1(0) RJUMPI(label_true) PUSH1(1) label_true: PUSH1(2) STOP @@ -3365,9 +3165,6 @@ validInvalid: 6002 # [7] PUSH1(2) 00 # [9] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" - ">=Prague" : "EOF_StackHeightMismatch" # EOF1I5450_0003 (Invalid) Stack height mismatch for different paths (b) - data index: 101 # Code: PUSH1(0) RJUMPI(label_true) label_false: PUSH1(1) RJUMP(exit) label_true: PUSH1(2) PUSH1(3) exit: STOP @@ -3393,9 +3190,6 @@ validInvalid: 6003 # [12] PUSH1(3) 00 # [14] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" - ">=Prague" : "EOF_StackHeightMismatch" # EOF1I5450_0004 (Invalid) Calls returning different number of outputs - data index: 102 # Code[0](Types: 0:128): PUSH1(0) RJUMPI(label_true) label_false: CALLF(1) RJUMP(exit) label_true: CALLF(2) exit: STOP @@ -3439,9 +3233,6 @@ validInvalid: 80 # [2] DUP1 e4 # [3] RETF # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" - ">=Prague" : "EOF_StackHeightMismatch" # EOF1I5450_0005 (Invalid) Pushing loop - data index: 103 # Code: start: PUSH1(0) RJUMP(start) @@ -3463,7 +3254,6 @@ validInvalid: e0fffb # [2] RJUMP(-5) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackHeightMismatch" # EOF1I5450_0006 (Invalid) Popping loop - data index: 104 @@ -3489,7 +3279,6 @@ validInvalid: e0fffc # [5] RJUMP(-4) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackHeightMismatch" # EOF1I5450_0007 (Invalid) Jump table with different stack heights - data index: 105 @@ -3520,9 +3309,7 @@ validInvalid: 6005 # [24] PUSH1(5) 00 # [26] STOP # Data section (empty) - expectException: - "Cancun" : "EOF_InvalidCode" - ">=Prague" : "EOF_StackHeightMismatch" + # ">=Prague" : "EOF_StackHeightMismatch" # EOF1I5450_0008 (Invalid) Stack underflow for opcode ADD - data index: 106 # Code: PUSH1(1) ADD STOP @@ -3545,7 +3332,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0009 (Invalid) Stack underflow for opcode MUL - data index: 107 @@ -3569,7 +3355,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0010 (Invalid) Stack underflow for opcode SUB - data index: 108 @@ -3593,7 +3378,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0011 (Invalid) Stack underflow for opcode DIV - data index: 109 @@ -3617,7 +3401,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0012 (Invalid) Stack underflow for opcode SDIV - data index: 110 @@ -3641,7 +3424,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0013 (Invalid) Stack underflow for opcode MOD - data index: 111 @@ -3665,7 +3447,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0014 (Invalid) Stack underflow for opcode SMOD - data index: 112 @@ -3689,7 +3470,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0015 (Invalid) Stack underflow for opcode ADDMOD - data index: 113 @@ -3714,7 +3494,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0016 (Invalid) Stack underflow for opcode MULMOD - data index: 114 @@ -3739,7 +3518,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0017 (Invalid) Stack underflow for opcode EXP - data index: 115 @@ -3763,7 +3541,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0018 (Invalid) Stack underflow for opcode SIGNEXTEND - data index: 116 @@ -3787,7 +3564,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0019 (Invalid) Stack underflow for opcode LT - data index: 117 @@ -3811,7 +3587,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0020 (Invalid) Stack underflow for opcode GT - data index: 118 @@ -3835,7 +3610,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0021 (Invalid) Stack underflow for opcode SLT - data index: 119 @@ -3859,7 +3633,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0022 (Invalid) Stack underflow for opcode SGT - data index: 120 @@ -3883,7 +3656,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0023 (Invalid) Stack underflow for opcode EQ - data index: 121 @@ -3907,7 +3679,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0024 (Invalid) Stack underflow for opcode ISZERO - data index: 122 @@ -3930,7 +3701,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0025 (Invalid) Stack underflow for opcode AND - data index: 123 @@ -3954,7 +3724,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0026 (Invalid) Stack underflow for opcode OR - data index: 124 @@ -3978,7 +3747,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0027 (Invalid) Stack underflow for opcode XOR - data index: 125 @@ -4002,7 +3770,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0028 (Invalid) Stack underflow for opcode NOT - data index: 126 @@ -4025,7 +3792,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0029 (Invalid) Stack underflow for opcode BYTE - data index: 127 @@ -4049,7 +3815,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0030 (Invalid) Stack underflow for opcode SHL - data index: 128 @@ -4073,7 +3838,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0031 (Invalid) Stack underflow for opcode SHR - data index: 129 @@ -4097,7 +3861,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0032 (Invalid) Stack underflow for opcode SAR - data index: 130 @@ -4121,7 +3884,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0033 (Invalid) Stack underflow for opcode SHA3 - data index: 131 @@ -4145,7 +3907,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0034 (Invalid) Stack underflow for opcode BALANCE - data index: 132 @@ -4168,7 +3929,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0035 (Invalid) Stack underflow for opcode CALLDATALOAD - data index: 133 @@ -4191,7 +3951,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0036 (Invalid) Stack underflow for opcode CALLDATACOPY - data index: 134 @@ -4216,7 +3975,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0037 (Invalid) Stack underflow for opcode CODECOPY - data index: 135 @@ -4241,7 +3999,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0038 (Invalid) Stack underflow for opcode EXTCODESIZE - data index: 136 @@ -4264,7 +4021,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0039 (Invalid) Stack underflow for opcode EXTCODECOPY - data index: 137 @@ -4290,7 +4046,6 @@ validInvalid: 00 # [7] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0040 (Invalid) Stack underflow for opcode RETURNDATACOPY - data index: 138 @@ -4315,7 +4070,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0041 (Invalid) Stack underflow for opcode EXTCODEHASH - data index: 139 @@ -4338,7 +4092,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0042 (Invalid) Stack underflow for opcode BLOCKHASH - data index: 140 @@ -4361,7 +4114,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0043 (Invalid) Stack underflow for opcode POP - data index: 141 @@ -4384,7 +4136,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0044 (Invalid) Stack underflow for opcode MLOAD - data index: 142 @@ -4407,7 +4158,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0045 (Invalid) Stack underflow for opcode MSTORE - data index: 143 @@ -4431,7 +4181,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0046 (Invalid) Stack underflow for opcode MSTORE8 - data index: 144 @@ -4455,7 +4204,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0047 (Invalid) Stack underflow for opcode SLOAD - data index: 145 @@ -4478,7 +4226,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0048 (Invalid) Stack underflow for opcode SSTORE - data index: 146 @@ -4502,7 +4249,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP1 - data index: 147 @@ -4525,7 +4271,6 @@ validInvalid: 00 # [1] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP2 - data index: 148 @@ -4549,7 +4294,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP3 - data index: 149 @@ -4574,7 +4318,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP4 - data index: 150 @@ -4600,7 +4343,6 @@ validInvalid: 00 # [7] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP5 - data index: 151 @@ -4627,7 +4369,6 @@ validInvalid: 00 # [9] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP6 - data index: 152 @@ -4655,7 +4396,6 @@ validInvalid: 00 # [11] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP7 - data index: 153 @@ -4684,7 +4424,6 @@ validInvalid: 00 # [13] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP8 - data index: 154 @@ -4714,7 +4453,6 @@ validInvalid: 00 # [15] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP9 - data index: 155 @@ -4745,7 +4483,6 @@ validInvalid: 00 # [17] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP10 - data index: 156 @@ -4777,7 +4514,6 @@ validInvalid: 00 # [19] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP11 - data index: 157 @@ -4810,7 +4546,6 @@ validInvalid: 00 # [21] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP12 - data index: 158 @@ -4844,7 +4579,6 @@ validInvalid: 00 # [23] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP13 - data index: 159 @@ -4879,7 +4613,6 @@ validInvalid: 00 # [25] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0062 (Invalid) Stack underflow for opcode DUP14 - data index: 160 @@ -4915,7 +4648,6 @@ validInvalid: 00 # [27] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0063 (Invalid) Stack underflow for opcode DUP15 - data index: 161 @@ -4952,7 +4684,6 @@ validInvalid: 00 # [29] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0064 (Invalid) Stack underflow for opcode DUP16 - data index: 162 @@ -4990,7 +4721,6 @@ validInvalid: 00 # [31] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP1 - data index: 163 @@ -5014,7 +4744,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP2 - data index: 164 @@ -5039,7 +4768,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP3 - data index: 165 @@ -5065,7 +4793,6 @@ validInvalid: 00 # [7] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP4 - data index: 166 @@ -5092,7 +4819,6 @@ validInvalid: 00 # [9] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP5 - data index: 167 @@ -5120,7 +4846,6 @@ validInvalid: 00 # [11] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP6 - data index: 168 @@ -5149,7 +4874,6 @@ validInvalid: 00 # [13] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP7 - data index: 169 @@ -5179,7 +4903,6 @@ validInvalid: 00 # [15] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP8 - data index: 170 @@ -5210,7 +4933,6 @@ validInvalid: 00 # [17] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP9 - data index: 171 @@ -5242,7 +4964,6 @@ validInvalid: 00 # [19] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP10 - data index: 172 @@ -5275,7 +4996,6 @@ validInvalid: 00 # [21] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP11 - data index: 173 @@ -5309,7 +5029,6 @@ validInvalid: 00 # [23] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP12 - data index: 174 @@ -5344,7 +5063,6 @@ validInvalid: 00 # [25] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP13 - data index: 175 @@ -5380,7 +5098,6 @@ validInvalid: 00 # [27] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0078 (Invalid) Stack underflow for opcode SWAP14 - data index: 176 @@ -5417,7 +5134,6 @@ validInvalid: 00 # [29] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0079 (Invalid) Stack underflow for opcode SWAP15 - data index: 177 @@ -5455,7 +5171,6 @@ validInvalid: 00 # [31] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0080 (Invalid) Stack underflow for opcode SWAP16 - data index: 178 @@ -5494,7 +5209,6 @@ validInvalid: 00 # [33] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG0 - data index: 179 @@ -5518,7 +5232,6 @@ validInvalid: 00 # [3] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG1 - data index: 180 @@ -5543,7 +5256,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0083 (Invalid) Stack underflow for opcode LOG2 - data index: 181 @@ -5569,7 +5281,6 @@ validInvalid: 00 # [7] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0084 (Invalid) Stack underflow for opcode LOG3 - data index: 182 @@ -5596,7 +5307,6 @@ validInvalid: 00 # [9] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0085 (Invalid) Stack underflow for opcode LOG4 - data index: 183 @@ -5624,7 +5334,6 @@ validInvalid: 00 # [11] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0086 (Invalid) Stack underflow for opcode CREATE - data index: 184 @@ -5649,7 +5358,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0087 (Invalid) Stack underflow for opcode CALL - data index: 185 @@ -5678,7 +5386,6 @@ validInvalid: 00 # [13] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0088 (Invalid) Stack underflow for opcode RETURN - data index: 186 @@ -5701,7 +5408,6 @@ validInvalid: f3 # [2] RETURN # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0089 (Invalid) Stack underflow for opcode DELEGATECALL - data index: 187 @@ -5729,7 +5435,6 @@ validInvalid: 00 # [11] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0090 (Invalid) Stack underflow for opcode CREATE2 - data index: 188 @@ -5755,7 +5460,6 @@ validInvalid: 00 # [7] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0091 (Invalid) Stack underflow for opcode STATICCALL - data index: 189 @@ -5783,7 +5487,6 @@ validInvalid: 00 # [11] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0092 (Invalid) Stack underflow for opcode REVERT - data index: 190 @@ -5806,7 +5509,6 @@ validInvalid: fd # [2] REVERT # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0093 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - data index: 191 @@ -5850,7 +5552,6 @@ validInvalid: e4 # [2] RETF # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0094 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - data index: 192 @@ -5894,7 +5595,6 @@ validInvalid: e4 # [5] RETF # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" # EOF1I5450_0095 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - data index: 193 @@ -5902,7 +5602,6 @@ validInvalid: - data: | :label EOF1I5450_0095 :raw 0xef0001010004020001080004000000008004006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_MaxStackHeightExceeded" # EOF1I5450_0096 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - data index: 194 @@ -5911,7 +5610,6 @@ validInvalid: - data: | :label EOF1I5450_0096 :raw 0xef000101000802000207fb000b040000000080040100050005600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000e3000160006000600060006000e4 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_MaxStackHeightExceeded" # EOF1I5450_0097 (Invalid) Function ending with non-terminating instruction (a) - data index: 195 @@ -5933,7 +5631,6 @@ validInvalid: 6000 # [0] PUSH1(0) # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidCodeTermination" # EOF1I5450_0098 (Invalid) Function ending with non-terminating instruction (b) - data index: 196 @@ -5958,7 +5655,6 @@ validInvalid: 5b # [6] NOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidCodeTermination" # EOF1I5450_0099 (Invalid) Function ending with non-terminating instruction (c) - data index: 197 @@ -5984,7 +5680,6 @@ validInvalid: 5b # [10] NOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidCodeTermination" # EOF1I5450_0100 (Invalid) Function containing unreachable code after RETURN - data index: 198 @@ -6009,7 +5704,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UnreachableCode" # EOF1I5450_0101 (Invalid) Function containing unreachable code after REVERT - data index: 199 @@ -6034,7 +5728,6 @@ validInvalid: 00 # [5] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UnreachableCode" # EOF1I5450_0102 (Invalid) Unreachable code after RJUMP - data index: 200 @@ -6059,7 +5752,6 @@ validInvalid: 00 # [7] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UnreachableCode" # EOF1I5450_0103 (Invalid) Unreachable code after infinite loop - data index: 201 @@ -6086,6 +5778,5 @@ validInvalid: 00 # [11] STOP # Data section (empty) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UnreachableCode" diff --git a/src/EOFTestsFiller/efExample/validInvalidFiller.yml b/src/EOFTestsFiller/efExample/validInvalidFiller.yml index 3b6277b2934..45754f23677 100644 --- a/src/EOFTestsFiller/efExample/validInvalidFiller.yml +++ b/src/EOFTestsFiller/efExample/validInvalidFiller.yml @@ -44,7 +44,7 @@ validInvalid: EOF1V0015 data stack height of 1023 is valid forks: - - ">=Cancun" + - ">=Prague" vectors: @@ -69,9 +69,6 @@ validInvalid: 00 # 3 STOP # Data segment ef - expectException: - "Cancun" : "EOF_InvalidCode" - # Data 1 # EOF1I0006 check that EOF1 with too many or too few bytes fails @@ -95,7 +92,6 @@ validInvalid: # Data segment 0bad # 2 bytes instead of four expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidContainerSize" @@ -121,7 +117,6 @@ validInvalid: # Data segment 0bad60A70BAD # 6 bytes instead of four expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidContainerSize" # Data 3 @@ -145,9 +140,6 @@ validInvalid: 00 # 3 STOP # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - # Data 4 # EOF1I0008 check that EOF1 with an illegal opcode fails @@ -171,7 +163,6 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UndefinedInstruction" @@ -196,10 +187,8 @@ validInvalid: FE # 3 Designated invalid opcode # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 6 # EOF1I0005 check that EOF1 with a bad end of sections number fails - data: | :label EOF1I0005 :raw 0x @@ -221,34 +210,34 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_MissingHeaderTerminator" - # EOF1V0008 check that code that uses a new style relative jump (5C) succeeds + # Data 7 + # EOF1V0008 check that code that uses a new style relative jump (E0) succeeds - data: | :label EOF1V0008 :raw 0x # EOF deployed code ef0001 # Magic followed by version 010004 # One code segment 020001 # One code segment - 000A # code seg 0: 10 bytes + 000E # code seg 0: 14 bytes 040004 # Four byte data segment 00 # End of header # Code segment 0 header 00 # Zero inputs 80 # Non-Returning Function - 0000 # Max stack height 0 + 0001 # Max stack height 1 # Code segment 0 code - E00003 # 0 RJUMP +3 - E00003 # 3 RJUMP +3 - E0FFFA # 6 RJUMP -6 - 00 # 9 STOP + 5F # 0 PUSH0 + E10003 # 1 RJUMPI +3 + E00003 # 4 RJUMP +3 + E00003 # 7 RJUMP +3 + E0FFFA # 10 RJUMP -6 + 00 # 13 STOP # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 8 # EOF1I0023 sections with unreachable code fail - data: | :label EOF1I0023 :raw 0x @@ -270,9 +259,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UnreachableCode" + # Data 9 # EOF1V0011 check that code that uses a new style conditional jump (5D) succeeds - data: | :label EOF1V0011 :raw 0x @@ -294,10 +283,8 @@ validInvalid: 00 # 6 STOP # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 10 # EOF1V0014 sections that end with a legit terminating opcode are OK - data: | :label EOF1V0014 :raw 0x @@ -355,10 +342,8 @@ validInvalid: e4 # [0] RETF # Data section 0bad60a7 - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 11 # EOF1V0013 jump tables work - data: | :label EOF1V0013 :raw 0x @@ -383,11 +368,9 @@ validInvalid: 00 # 12 STOP # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 12 # EOF1I0019 check that jumps into the middle on an opcode are not allowed - data: | :label EOF1I0019 :raw 0x @@ -413,12 +396,12 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" + # Data 13 # EOF1I0020 check that you can't get to the same opcode with two different stack heights - data: | :label EOF1I0020 :raw 0x @@ -432,7 +415,7 @@ validInvalid: # Code segment 0 header 00 # Zero inputs 80 # Non-Returning Function - 0002 # Max stack height 2 + 0001 # Max stack height 1 # Code segment 0 code 6001 # 0 PUSH1 1 E10001 # 2 RJUMPI +1 @@ -441,12 +424,11 @@ validInvalid: 00 # 7 STOP # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - ">=Prague" : "EOF_ConflictingStackHeight" + # expectException: + # Data 14 # EOF1I0019 check that jumps into the middle on an opcode are not allowed - data: | :label EOF1I0019 :raw 0x @@ -469,9 +451,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" + # Data 15 # EOF1I0019 check that jumps into the middle on an opcode are not allowed - data: | :label EOF1I0019 :raw 0x @@ -497,11 +479,11 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidJumpDestination" + # Data 16 # EOF1I0018 inconsistent number of code sections (between types and code) - data: | :label EOF1I0018 :raw 0x @@ -527,9 +509,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidTypeSectionSize" + # Data 17 # EOF1I0018 inconsistent number of code sections (between types and code) - data: | :label EOF1I0018 :raw 0x @@ -551,9 +533,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidSectionBodiesSize" + # Data 18 # EOF1I0015 check that code that uses removed opcodes fails - data: | :label EOF1I0015 :raw 0x @@ -576,9 +558,9 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UndefinedInstruction" + # Data 19 # EOF1I0015 check that code that uses removed opcodes fails - data: | :label EOF1I0015 :raw 0x @@ -602,9 +584,9 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UndefinedInstruction" + # Data 20 # EOF1I0015 check that code that uses removed opcodes fails - data: | :label EOF1I0015 :raw 0x @@ -626,9 +608,9 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UndefinedInstruction" + # Data 21 # EOF1I0015 check that code that uses removed opcodes fails - data: | :label EOF1I0015 :raw 0x @@ -645,9 +627,9 @@ validInvalid: 0007 # Max stack height 1 # Code segment 0 code expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidContainerSize" + # Data 22 # EOF1I0015 check that code that uses removed opcodes fails - data: | :label EOF1I0015 :raw 0x @@ -675,9 +657,9 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UndefinedInstruction" + # Data 23 # EOF1I0016 check that code that uses new relative jumps to outside the section fails - data: | :label EOF1I0016 :raw 0x @@ -700,10 +682,10 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_UndefinedInstruction" + # Data 24 # EOF1V0002 check that valid EOF1 with two code sections deploys # EOF1V0006 check that return values are allowed on code sections that aren't zero - data: | @@ -735,9 +717,7 @@ validInvalid: e4 # [2] RETF # Data section 0bad60a7 - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 25 # EOF1V0012 return values on code sections affect maxStackHeight of the caller - data: | :label EOF1V0012 :raw 0x @@ -765,9 +745,7 @@ validInvalid: E4 # 1 RETF # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 26 # EOF1I0024 sections that end with a non-terminator opcode fail - data: | :label EOF1I0024 :raw 0x @@ -794,10 +772,10 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidCodeTermination" + # Data 27 # EOF1I0022 stack underflow caused by a function call - data: | :label EOF1I0022 :raw 0x @@ -826,10 +804,10 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" + # Data 28 # EOF1V0015 data stack height of 1023 is valid - data: | :label EOF1V0015 :raw 0x @@ -897,9 +875,7 @@ validInvalid: E4 # 1E RETF # Data segment 0bad60A7 # 4 bytes (valid) - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 29 # EOF1I0025 data stack height of 1024 is invalid - data: | :label EOF1I0025 :raw 0x @@ -969,9 +945,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_MaxStackHeightExceeded" + # Data 30 # EOF1V0003 check that valid EOF1 with four code sections deploys - data: | :label EOF1V0003 :raw 0x @@ -1021,11 +997,9 @@ validInvalid: e4 # [2] RETF # Data section 0bad60a7 - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 31 # EOF1V0005 check that EOF1 with the right maxStackDepth deploys - data: | :label EOF1V0005 :raw 0x @@ -1088,10 +1062,8 @@ validInvalid: 00 # [6] STOP # Data section 0bad60a7 - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 32 # EOF1V0007 check that function calls to code sections that exist are allowed - data: | :label EOF1V0007 :raw 0x @@ -1149,10 +1121,8 @@ validInvalid: 00 # [6] STOP # Data section 0bad60a7 - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 33 # EOF1I0011 check that function calls to code sections that don't exist fail - data: | :label EOF1I0011 :raw 0x @@ -1212,10 +1182,11 @@ validInvalid: # Data section 0bad60a7 expectException: - "Cancun" : "EOF_InvalidCode" + # "Cancun" : "EOF_InvalidCode" ">=Prague": "EOF_InvalidCodeSectionIndex" + # Data 34 # EOF1I0012 check that code sections that cause stack underflow fail - data: | :label EOF1I0012 :raw 0x @@ -1247,10 +1218,10 @@ validInvalid: # Data section 0bad60a7 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" + # Data 35 # EOF1I0013 check that we can't return more values than we declare - data: | :label EOF1I0013 :raw 0x @@ -1282,9 +1253,9 @@ validInvalid: # Data section 0bad60a7 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidNumberOfOutputs" + # Data 36 # EOF1I0014 check that code that looks deeper in the stack than the parameters fails - data: | :label EOF1I0014 :raw 0x @@ -1316,9 +1287,9 @@ validInvalid: # Data section 0bad60a7 expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_StackUnderflow" + # Data 37 # EOF1I0010 check that return values are not allowed on section 0 - data: | :label EOF1I0010 :raw 0x @@ -1340,9 +1311,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidFirstSectionType" + # Data 38 # EOF1V0009 check that parameters are allowed on code sections that aren't zero # EOF1V0010 parameters are part of the max stack height - data: | @@ -1373,9 +1344,7 @@ validInvalid: 00 # [2] STOP # Data section 0bad60a7 - expectException: - "Cancun" : "EOF_InvalidCode" - + # Data 39 # EOF1I0017 check that parameters are not allowed on section 0 - data: | :label EOF1I0017 :raw 0x @@ -1397,10 +1366,10 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidFirstSectionType" + # Data 40 # EOF1I0009 check that EOF1 with the wrong maxStackDepth fails - data: | :label EOF1I0009 :raw 0x @@ -1422,9 +1391,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidMaxStackHeight" + # Data 41 # EOF1I0009 check that EOF1 with the wrong maxStackDepth fails - data: | :label EOF1I0009 :raw 0x @@ -1448,9 +1417,9 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidContainerSize" + # Data 42 # EOF1I0007 check that EOF1 with a malformed code section fails - data: | :label EOF1I0007 :raw 0x @@ -1472,10 +1441,10 @@ validInvalid: # Data segment 0bad60A7 # 4 bytes (valid) expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TruncatedImmediate" + # Data 43 # check that EOF1 with a bad end of sections number fails - data: | :label badsectionnumber :raw 0x @@ -1497,10 +1466,10 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_MissingHeaderTerminator" + # Data 44 # EOF1I0001 check that EOF1 with a bad magic number fails - data: | :label EOF1I0001 :raw 0x @@ -1522,9 +1491,9 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidMagic" + # Data 45 # EOF1I0002 check that EOF1 with a bad version number fails (ver 0) - data: | :label EOF1I0002 :raw 0x @@ -1546,7 +1515,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidVersion" # EOF1I0002 check that EOF1 with a bad version number fails (ver 2) @@ -1570,7 +1538,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidVersion" # EOF1I0003 check that EOF1 with a bad section order fails @@ -1594,7 +1561,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TypeSectionMissing" # EOF1I0003 check that EOF1 with a bad section order fails @@ -1618,7 +1584,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TypeSectionMissing" @@ -1642,7 +1607,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_TypeSectionMissing" # EOF1I0004 check that EOF1 missing a section fails @@ -1664,7 +1628,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_CodeSectionMissing" # EOF1I0004 check that EOF1 missing a section fails @@ -1687,7 +1650,6 @@ validInvalid: # Data segment ef expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_DataSectionMissing" @@ -1733,12 +1695,8 @@ validInvalid: 38 # CODESIZE 50 # POP 00 # STOP - expectException: - "Cancun" : "EOF_InvalidCode" - # Init code which doesn't create a contract - data: :label bad :raw 0x610BADFE expectException: - "Cancun" : "EOF_InvalidCode" ">=Prague" : "EOF_InvalidMagic"