{ "validInvalid" : { "_info" : { "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n EOF1V3540_0001 (Valid) Deployed code without data section - Data index: 0\n EOF1V3540_0002 (Valid) Deployed code with data section - Data index: 1\n EOF1V3540_0003 (Valid) No data section contents (valid according to relaxed stack validation) - Data index: 2\n EOF1V3540_0004 (Valid) Data section contents incomplete (valid according to relaxed stack validation) - Data index: 3\n EOF1I3540_0001 (Invalid) No magic - Data index: 4\n EOF1I3540_0002 (Invalid) Invalid magic - Data index: 5\n EOF1I3540_0003 - Data index: 6\n EOF1I3540_0004 - Data index: 7\n EOF1I3540_0005 (Invalid) No version - Data index: 8\n EOF1I3540_0006 (Invalid) Invalid version - Data index: 9\n EOF1I3540_0007 - Data index: 10\n EOF1I3540_0008 - Data index: 11\n EOF1I3540_0009 (Invalid) No header - Data index: 12\n EOF1I3540_0010 (Invalid) No type section size - Data index: 13\n EOF1I3540_0011 (Invalid) Type section size incomplete - Data index: 14\n EOF1I3540_0012 (Invalid) Empty code section with non-empty data section - Data index: 15\n EOF1I3540_0013 (Invalid) No total of code sections - Data index: 16\n EOF1I3540_0014 (Invalid) Total of code sections incomplete - Data index: 17\n EOF1I3540_0015 (Invalid) No code section size - Data index: 18\n EOF1I3540_0016 (Invalid) Code section size incomplete - Data index: 19\n EOF1I3540_0017 (Invalid) No data section after code section size - Data index: 20\n EOF1I3540_0018 (Invalid) No data size - Data index: 21\n EOF1I3540_0019 (Invalid) Data size incomplete - Data index: 22\n EOF1I3540_0020 (Invalid) No section terminator after data section size - Data index: 23\n EOF1I3540_0021 (Invalid) No type section contents - Data index: 24\n EOF1I3540_0022 (Invalid) Type section contents (no outputs and max stack) - Data index: 25\n EOF1I3540_0023 (Invalid) Type section contents (no max stack) - Data index: 26\n EOF1I3540_0024 (Invalid) Type section contents (max stack incomplete) - Data index: 27\n EOF1I3540_0025 (Invalid) No code section contents - Data index: 28\n EOF1I3540_0026 (Invalid) Code section contents incomplete - Data index: 29\n EOF1I3540_0027 (Invalid) Trailing bytes after code section - Data index: 30\n EOF1I3540_0028 (Invalid) Empty code section - Data index: 31\n EOF1I3540_0029 (Invalid) Empty code section with non-empty data section - Data index: 32\n EOF1I3540_0030 (Invalid) Code section preceding type section - Data index: 33\n EOF1I3540_0031 (Invalid) Data section preceding type section - Data index: 34\n EOF1I3540_0032 (Invalid) Data section preceding code section - Data index: 35\n EOF1I3540_0033 (Invalid) Data section without code section - Data index: 36\n EOF1I3540_0034 (Invalid) No data section - Data index: 37\n EOF1I3540_0035 (Invalid) Trailing bytes after data section - Data index: 38\n EOF1I3540_0036 (Invalid) Multiple data sections - Data index: 39\n EOF1I3540_0037 (Invalid) Multiple code and data sections - Data index: 40\n EOF1I3540_0038 (Invalid) Unknown section IDs (at the beginning) - Data index: 41\n EOF1I3540_0039 - Data index: 42\n EOF1I3540_0040 - Data index: 43\n EOF1I3540_0041 (Invalid) Unknown section IDs (after types section) - Data index: 44\n EOF1I3540_0042 - Data index: 45\n EOF1I3540_0043 - Data index: 46\n EOF1I3540_0044 (Invalid) Unknown section IDs (after code section) - Data index: 47\n EOF1I3540_0045 - Data index: 48\n EOF1I3540_0046 - Data index: 49\n EOF1I3540_0047 (Invalid) Unknown section IDs (after data section) - Data index: 50\n EOF1I3540_0048 - Data index: 51\n EOF1I3540_0049 - Data index: 52\n", "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.14ba7529", "filling-tool-version" : "retesteth-0.3.2-cancun+commit.9d793abd.Linux.g++", "generatedTestHash" : "70f1c847a164c49063ecd1387e723bcecfdad88b8f833bc5be85c24c98c35b44", "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++", "source" : "src/EOFTestsFiller/EIP3540/validInvalidFiller.yml", "sourceHash" : "4625c63a66a8d034619df01985568a2e17850ed4100d04ab877c769ca9105f60" }, "vectors" : { "validInvalid_0" : { "code" : "0xef00010100040200010004040000000080000160005000", "results" : { "Prague" : { "result" : true } } }, "validInvalid_1" : { "code" : "0xef00010100040200010004040004000080000160005000aabbccdd", "results" : { "Prague" : { "result" : true } } }, "validInvalid_10" : { "code" : "0xef000201000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_UnknownVersion", "result" : false } } }, "validInvalid_11" : { "code" : "0xef00ff01000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_UnknownVersion", "result" : false } } }, "validInvalid_12" : { "code" : "0xef0001", "results" : { "Prague" : { "exception" : "EOF_SectionHeadersNotTerminated", "result" : false } } }, "validInvalid_13" : { "code" : "0xef000101", "results" : { "Prague" : { "exception" : "EOF_SectionHeadersNotTerminated", "result" : false } } }, "validInvalid_14" : { "code" : "0xef00010100", "results" : { "Prague" : { "exception" : "EOF_IncompleteSectionSize", "result" : false } } }, "validInvalid_15" : { "code" : "0xef000101000402000100000400020000000000aabb", "results" : { "Prague" : { "exception" : "EOF_ZeroSectionSize", "result" : false } } }, "validInvalid_16" : { "code" : "0xef000101000402", "results" : { "Prague" : { "exception" : "EOF_IncompleteSectionNumber", "result" : false } } }, "validInvalid_17" : { "code" : "0xef00010100040200", "results" : { "Prague" : { "exception" : "EOF_IncompleteSectionNumber", "result" : false } } }, "validInvalid_18" : { "code" : "0xef0001010004020001", "results" : { "Prague" : { "exception" : "EOF_SectionHeadersNotTerminated", "result" : false } } }, "validInvalid_19" : { "code" : "0xef000101000402000100", "results" : { "Prague" : { "exception" : "EOF_IncompleteSectionSize", "result" : false } } }, "validInvalid_2" : { "code" : "0xef000101000402000100010400020000800000fe", "results" : { "Prague" : { "result" : true } } }, "validInvalid_20" : { "code" : "0xef00010100040200010001", "results" : { "Prague" : { "exception" : "EOF_SectionHeadersNotTerminated", "result" : false } } }, "validInvalid_21" : { "code" : "0xef0001010004020001000104", "results" : { "Prague" : { "exception" : "EOF_SectionHeadersNotTerminated", "result" : false } } }, "validInvalid_22" : { "code" : "0xef000101000402000100010400", "results" : { "Prague" : { "exception" : "EOF_IncompleteSectionSize", "result" : false } } }, "validInvalid_23" : { "code" : "0xef00010100040200010001040002", "results" : { "Prague" : { "exception" : "EOF_SectionHeadersNotTerminated", "result" : false } } }, "validInvalid_24" : { "code" : "0xef0001010004020001000104000200", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_25" : { "code" : "0xef000101000402000100010400020000", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_26" : { "code" : "0xef00010100040200010001040002000000", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_27" : { "code" : "0xef0001010004020001000104000200000000", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_28" : { "code" : "0xef000101000402000100010400020000000000", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_29" : { "code" : "0xef0001010004020001002904000000000000027f", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_3" : { "code" : "0xef000101000402000100010400020000800000feaa", "results" : { "Prague" : { "result" : true } } }, "validInvalid_30" : { "code" : "0xef000101000402000100010400000000000000feaabbcc", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_31" : { "code" : "0xef000101000402000100000400000000000000", "results" : { "Prague" : { "exception" : "EOF_ZeroSectionSize", "result" : false } } }, "validInvalid_32" : { "code" : "0xef000101000402000100000400020000000000aabb", "results" : { "Prague" : { "exception" : "EOF_ZeroSectionSize", "result" : false } } }, "validInvalid_33" : { "code" : "0xef000102000100010100040400020000000000feaabb", "results" : { "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false } } }, "validInvalid_34" : { "code" : "0xef000104000201000402000100010000000000feaabb", "results" : { "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false } } }, "validInvalid_35" : { "code" : "0xef000101000404000202000100010000000000feaabb", "results" : { "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false } } }, "validInvalid_36" : { "code" : "0xef00010100040400020000000000aabb", "results" : { "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false } } }, "validInvalid_37" : { "code" : "0xef000101000402000100010000000000fe", "results" : { "Prague" : { "exception" : "EOF_DataSectionMissing", "result" : false } } }, "validInvalid_38" : { "code" : "0xef000101000402000100010400020000000000feaabbccdd", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_39" : { "code" : "0xef000101000402000100010400020400020000000000feaabbaabb", "results" : { "Prague" : { "exception" : "EOF_HeaderTerminatorMissing", "result" : false } } }, "validInvalid_4" : { "code" : "0xef", "results" : { "Prague" : { "exception" : "EOF_InvalidPrefix", "result" : false } } }, "validInvalid_40" : { "code" : "0xef000101000802000200010001040002040002000000000000000000fefeaabbaabb", "results" : { "Prague" : { "exception" : "EOF_HeaderTerminatorMissing", "result" : false } } }, "validInvalid_41" : { "code" : "0xef000105000101000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false } } }, "validInvalid_42" : { "code" : "0xef000106000101000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false } } }, "validInvalid_43" : { "code" : "0xef0001ff000101000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false } } }, "validInvalid_44" : { "code" : "0xef000101000405000102000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false } } }, "validInvalid_45" : { "code" : "0xef000101000406000102000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false } } }, "validInvalid_46" : { "code" : "0xef0001010004ff000102000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false } } }, "validInvalid_47" : { "code" : "0xef000101000402000100010500010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_DataSectionMissing", "result" : false } } }, "validInvalid_48" : { "code" : "0xef000101000402000100010600010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_DataSectionMissing", "result" : false } } }, "validInvalid_49" : { "code" : "0xef00010100040200010001ff00010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_DataSectionMissing", "result" : false } } }, "validInvalid_5" : { "code" : "0xef010101000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_InvalidPrefix", "result" : false } } }, "validInvalid_50" : { "code" : "0xef000101000402000100010400000500010000000000fe", "results" : { "Prague" : { "exception" : "EOF_HeaderTerminatorMissing", "result" : false } } }, "validInvalid_51" : { "code" : "0xef000101000402000100010400000600010000000000fe", "results" : { "Prague" : { "exception" : "EOF_HeaderTerminatorMissing", "result" : false } } }, "validInvalid_52" : { "code" : "0xef00010100040200010001040000ff00010000000000fe", "results" : { "Prague" : { "exception" : "EOF_HeaderTerminatorMissing", "result" : false } } }, "validInvalid_6" : { "code" : "0xef020101000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_InvalidPrefix", "result" : false } } }, "validInvalid_7" : { "code" : "0xefff0101000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_InvalidPrefix", "result" : false } } }, "validInvalid_8" : { "code" : "0xef00", "results" : { "Prague" : { "exception" : "EOF_UnknownVersion", "result" : false } } }, "validInvalid_9" : { "code" : "0xef000001000402000100010400000000000000fe", "results" : { "Prague" : { "exception" : "EOF_UnknownVersion", "result" : false } } } } } }