diff --git a/EOFTests/EIP3540/validInvalid.json b/EOFTests/EIP3540/validInvalid.json deleted file mode 100644 index 21b5f80230f..00000000000 --- a/EOFTests/EIP3540/validInvalid.json +++ /dev/null @@ -1,489 +0,0 @@ -{ - "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 - } - } - } - } - } -} \ No newline at end of file diff --git a/EOFTests/efValidation/EOF1_eofcreate_valid_.json b/EOFTests/efValidation/EOF1_eofcreate_valid_.json deleted file mode 100644 index 1ce650238be..00000000000 --- a/EOFTests/efValidation/EOF1_eofcreate_valid_.json +++ /dev/null @@ -1,40 +0,0 @@ -{ - "EOF1_eofcreate_valid" : { - "_info" : { - "comment" : "", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.d935077c", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.cf90baf3.Linux.g++", - "generatedTestHash" : "cc955e26def65bc465612cf166bb55ebfe60260282097e0e3cc0cc277c39472a", - "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", - "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", - "source" : "src/EOFTestsFiller/efValidation/EOF1_eofcreate_valid_Copier.json", - "sourceHash" : "c77f7601fe2468b78120322a65ac8acae94a0a0dd3f3c6c2a118016b5d33ce1b" - }, - "vectors" : { - "EOF1_eofcreate_valid_0" : { - "code" : "0xef0001010004020001000b0300010014040000000080000436600060ff6000ec005000ef000101000402000100010400000000800000fe", - "results" : { - "Prague" : { - "result" : true - } - } - }, - "EOF1_eofcreate_valid_1" : { - "code" : "0xef0001010004020001000b03000200140014040000000080000436600060ff6000ec015000ef000101000402000100010400000000800000feef000101000402000100010400000000800000fe", - "results" : { - "Prague" : { - "result" : true - } - } - }, - "EOF1_eofcreate_valid_2" : { - "code" : "0xef0001010004020001000b0301000014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014040000000080000436600060ff6000ecff5000ef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000fe", - "results" : { - "Prague" : { - "result" : true - } - } - } - } - } -} \ No newline at end of file diff --git a/EOFTests/efValidation/EOF1_truncated_section_.json b/EOFTests/efValidation/EOF1_truncated_section_.json deleted file mode 100644 index 16860969fee..00000000000 --- a/EOFTests/efValidation/EOF1_truncated_section_.json +++ /dev/null @@ -1,59 +0,0 @@ -{ - "EOF1_truncated_section" : { - "_info" : { - "comment" : "", - "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.d935077c", - "filling-tool-version" : "retesteth-0.3.2-cancun+commit.cf90baf3.Linux.g++", - "generatedTestHash" : "9f276f072546e55332accf4b7f5a88f083d734331b5ac80d079993e1aa17854d", - "lllcversion" : "Version: 0.5.14-develop.2023.7.11+commit.c58ab2c6.mod.Linux.g++", - "solidity" : "Version: 0.8.21+commit.d9974bed.Linux.g++", - "source" : "src/EOFTestsFiller/efValidation/EOF1_truncated_section_Copier.json", - "sourceHash" : "f0b591cf0c08ec7d8ca286db6ed83efa25e601392da30a9403257d994e36ab63" - }, - "vectors" : { - "EOF1_truncated_section_0" : { - "code" : "0xef0001010004020001000204000000", - "results" : { - "Prague" : { - "exception" : "EOF_InvalidSectionBodiesSize", - "result" : false - } - } - }, - "EOF1_truncated_section_1" : { - "code" : "0xef0001010004020001000204000000008000", - "results" : { - "Prague" : { - "exception" : "EOF_InvalidSectionBodiesSize", - "result" : false - } - } - }, - "EOF1_truncated_section_2" : { - "code" : "0xef000101000402000100020400000000800000fe", - "results" : { - "Prague" : { - "exception" : "EOF_InvalidSectionBodiesSize", - "result" : false - } - } - }, - "EOF1_truncated_section_3" : { - "code" : "0xef000101000402000100010400020000800000fe", - "results" : { - "Prague" : { - "result" : true - } - } - }, - "EOF1_truncated_section_4" : { - "code" : "0xef000101000402000100010400020000800000feaa", - "results" : { - "Prague" : { - "result" : true - } - } - } - } - } -} \ No newline at end of file diff --git a/src/EOFTestsFiller/EIP3540/validInvalidFiller.yml b/src/EOFTestsFiller/EIP3540/validInvalidFiller.yml deleted file mode 100644 index 758e32062a3..00000000000 --- a/src/EOFTestsFiller/EIP3540/validInvalidFiller.yml +++ /dev/null @@ -1,462 +0,0 @@ -validInvalid: - _info: - comment: | - Test various examples to see if they are valid or invalid. - Implements - EOF1V3540_0001 (Valid) Deployed code without data section - Data index: 0 - EOF1V3540_0002 (Valid) Deployed code with data section - Data index: 1 - EOF1V3540_0003 (Valid) No data section contents (valid according to relaxed stack validation) - Data index: 2 - EOF1V3540_0004 (Valid) Data section contents incomplete (valid according to relaxed stack validation) - Data index: 3 - EOF1I3540_0001 (Invalid) No magic - Data index: 4 - EOF1I3540_0002 (Invalid) Invalid magic - Data index: 5 - EOF1I3540_0003 - Data index: 6 - EOF1I3540_0004 - Data index: 7 - EOF1I3540_0005 (Invalid) No version - Data index: 8 - EOF1I3540_0006 (Invalid) Invalid version - Data index: 9 - EOF1I3540_0007 - Data index: 10 - EOF1I3540_0008 - Data index: 11 - EOF1I3540_0009 (Invalid) No header - Data index: 12 - EOF1I3540_0010 (Invalid) No type section size - Data index: 13 - EOF1I3540_0011 (Invalid) Type section size incomplete - Data index: 14 - EOF1I3540_0012 (Invalid) Empty code section with non-empty data section - Data index: 15 - EOF1I3540_0013 (Invalid) No total of code sections - Data index: 16 - EOF1I3540_0014 (Invalid) Total of code sections incomplete - Data index: 17 - EOF1I3540_0015 (Invalid) No code section size - Data index: 18 - EOF1I3540_0016 (Invalid) Code section size incomplete - Data index: 19 - EOF1I3540_0017 (Invalid) No data section after code section size - Data index: 20 - EOF1I3540_0018 (Invalid) No data size - Data index: 21 - EOF1I3540_0019 (Invalid) Data size incomplete - Data index: 22 - EOF1I3540_0020 (Invalid) No section terminator after data section size - Data index: 23 - EOF1I3540_0021 (Invalid) No type section contents - Data index: 24 - EOF1I3540_0022 (Invalid) Type section contents (no outputs and max stack) - Data index: 25 - EOF1I3540_0023 (Invalid) Type section contents (no max stack) - Data index: 26 - EOF1I3540_0024 (Invalid) Type section contents (max stack incomplete) - Data index: 27 - EOF1I3540_0025 (Invalid) No code section contents - Data index: 28 - EOF1I3540_0026 (Invalid) Code section contents incomplete - Data index: 29 - EOF1I3540_0027 (Invalid) Trailing bytes after code section - Data index: 30 - EOF1I3540_0028 (Invalid) Empty code section - Data index: 31 - EOF1I3540_0029 (Invalid) Empty code section with non-empty data section - Data index: 32 - EOF1I3540_0030 (Invalid) Code section preceding type section - Data index: 33 - EOF1I3540_0031 (Invalid) Data section preceding type section - Data index: 34 - EOF1I3540_0032 (Invalid) Data section preceding code section - Data index: 35 - EOF1I3540_0033 (Invalid) Data section without code section - Data index: 36 - EOF1I3540_0034 (Invalid) No data section - Data index: 37 - EOF1I3540_0035 (Invalid) Trailing bytes after data section - Data index: 38 - EOF1I3540_0036 (Invalid) Multiple data sections - Data index: 39 - EOF1I3540_0037 (Invalid) Multiple code and data sections - Data index: 40 - EOF1I3540_0038 (Invalid) Unknown section IDs (at the beginning) - Data index: 41 - EOF1I3540_0039 - Data index: 42 - EOF1I3540_0040 - Data index: 43 - EOF1I3540_0041 (Invalid) Unknown section IDs (after types section) - Data index: 44 - EOF1I3540_0042 - Data index: 45 - EOF1I3540_0043 - Data index: 46 - EOF1I3540_0044 (Invalid) Unknown section IDs (after code section) - Data index: 47 - EOF1I3540_0045 - Data index: 48 - EOF1I3540_0046 - Data index: 49 - EOF1I3540_0047 (Invalid) Unknown section IDs (after data section) - Data index: 50 - EOF1I3540_0048 - Data index: 51 - EOF1I3540_0049 - Data index: 52 - forks: - - ">=Prague" - - vectors: - # EOF1V3540_0001 (Valid) Deployed code without data section - Data index: 0 - # Code: PUSH1(0) POP STOP - - data: | - :label EOF1V3540_0001 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0004 # Code section 0 , 4 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0001 # max stack: 1 - # Code section 0 - 6000 # [0] PUSH1(0) - 50 # [2] POP - 00 # [3] STOP - # Data section (empty) - # "Prague" : "ok." - - # EOF1V3540_0002 (Valid) Deployed code with data section - Data index: 1 - # Code: PUSH1(0) POP STOP - # Data: AABBCCDD - - data: | - :label EOF1V3540_0002 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0004 # Code section 0 , 4 bytes - 040004 # Data section length ( 4 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0001 # max stack: 1 - # Code section 0 - 6000 # [0] PUSH1(0) - 50 # [2] POP - 00 # [3] STOP - # Data section - aabbccdd - # "Prague" : "ok." - - # EOF1V3540_0003 (Valid) No data section contents (valid according to relaxed stack validation) - Data index: 2 - # Code: ef000101000402000100010400020000800000fe - - data: | - :label EOF1V3540_0003 :raw 0xef000101000402000100010400020000800000fe - # "Prague" : "ok." - - # EOF1V3540_0004 (Valid) Data section contents incomplete (valid according to relaxed stack validation) - Data index: 3 - # Code: ef000101000402000100010400020000800000feaa - - data: | - :label EOF1V3540_0004 :raw 0xef000101000402000100010400020000800000feaa - # "Prague" : "ok." - - # EOF1I3540_0001 (Invalid) No magic - Data index: 4 - # Code: ef - - data: | - :label EOF1I3540_0001 :raw 0xef - expectException: - ">=Prague" : "EOF_InvalidPrefix" - - # EOF1I3540_0002 (Invalid) Invalid magic - Data index: 5 - # Code: ef010101000402000100010400000000000000fe - - data: | - :label EOF1I3540_0002 :raw 0xef010101000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_InvalidPrefix" - - # EOF1I3540_0003 - Data index: 6 - # Code: ef020101000402000100010400000000000000fe - - data: | - :label EOF1I3540_0003 :raw 0xef020101000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_InvalidPrefix" - - # EOF1I3540_0004 - Data index: 7 - # Code: efff0101000402000100010400000000000000fe - - data: | - :label EOF1I3540_0004 :raw 0xefff0101000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_InvalidPrefix" - - # EOF1I3540_0005 (Invalid) No version - Data index: 8 - # Code: ef00 - - data: | - :label EOF1I3540_0005 :raw 0xef00 - expectException: - ">=Prague" : "EOF_UnknownVersion" - - # EOF1I3540_0006 (Invalid) Invalid version - Data index: 9 - # Code: ef000001000402000100010400000000000000fe - - data: | - :label EOF1I3540_0006 :raw 0xef000001000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_UnknownVersion" - - # EOF1I3540_0007 - Data index: 10 - # Code: ef000201000402000100010400000000000000fe - - data: | - :label EOF1I3540_0007 :raw 0xef000201000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_UnknownVersion" - - # EOF1I3540_0008 - Data index: 11 - # Code: ef00ff01000402000100010400000000000000fe - - data: | - :label EOF1I3540_0008 :raw 0xef00ff01000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_UnknownVersion" - - # EOF1I3540_0009 (Invalid) No header - Data index: 12 - # Code: ef0001 - - data: | - :label EOF1I3540_0009 :raw 0xef0001 - expectException: - ">=Prague" : "EOF_SectionHeadersNotTerminated" - - # EOF1I3540_0010 (Invalid) No type section size - Data index: 13 - # Code: ef000101 - - data: | - :label EOF1I3540_0010 :raw 0xef000101 - expectException: - ">=Prague" : "EOF_SectionHeadersNotTerminated" - - # EOF1I3540_0011 (Invalid) Type section size incomplete - Data index: 14 - # Code: ef00010100 - - data: | - :label EOF1I3540_0011 :raw 0xef00010100 - expectException: - ">=Prague" : "EOF_IncompleteSectionSize" - - # EOF1I3540_0012 (Invalid) Empty code section with non-empty data section - Data index: 15 - # Code: ef000101000402000100000400020000000000aabb - - data: | - :label EOF1I3540_0012 :raw 0xef000101000402000100000400020000000000aabb - expectException: - ">=Prague" : "EOF_ZeroSectionSize" - - # EOF1I3540_0013 (Invalid) No total of code sections - Data index: 16 - # Code: ef000101000402 - - data: | - :label EOF1I3540_0013 :raw 0xef000101000402 - expectException: - ">=Prague" : "EOF_IncompleteSectionNumber" - - # EOF1I3540_0014 (Invalid) Total of code sections incomplete - Data index: 17 - # Code: ef00010100040200 - - data: | - :label EOF1I3540_0014 :raw 0xef00010100040200 - expectException: - ">=Prague" : "EOF_IncompleteSectionNumber" - - # EOF1I3540_0015 (Invalid) No code section size - Data index: 18 - # Code: ef0001010004020001 - - data: | - :label EOF1I3540_0015 :raw 0xef0001010004020001 - expectException: - ">=Prague" : "EOF_SectionHeadersNotTerminated" - - # EOF1I3540_0016 (Invalid) Code section size incomplete - Data index: 19 - # Code: ef000101000402000100 - - data: | - :label EOF1I3540_0016 :raw 0xef000101000402000100 - expectException: - ">=Prague" : "EOF_IncompleteSectionSize" - - # EOF1I3540_0017 (Invalid) No data section after code section size - Data index: 20 - # Code: ef00010100040200010001 - - data: | - :label EOF1I3540_0017 :raw 0xef00010100040200010001 - expectException: - ">=Prague" : "EOF_SectionHeadersNotTerminated" - - # EOF1I3540_0018 (Invalid) No data size - Data index: 21 - # Code: ef0001010004020001000104 - - data: | - :label EOF1I3540_0018 :raw 0xef0001010004020001000104 - expectException: - ">=Prague" : "EOF_SectionHeadersNotTerminated" - - # EOF1I3540_0019 (Invalid) Data size incomplete - Data index: 22 - # Code: ef000101000402000100010400 - - data: | - :label EOF1I3540_0019 :raw 0xef000101000402000100010400 - expectException: - ">=Prague" : "EOF_IncompleteSectionSize" - - # EOF1I3540_0020 (Invalid) No section terminator after data section size - Data index: 23 - # Code: ef00010100040200010001040002 - - data: | - :label EOF1I3540_0020 :raw 0xef00010100040200010001040002 - expectException: - ">=Prague" : "EOF_SectionHeadersNotTerminated" - - # EOF1I3540_0021 (Invalid) No type section contents - Data index: 24 - # Code: ef0001010004020001000104000200 - - data: | - :label EOF1I3540_0021 :raw 0xef0001010004020001000104000200 - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0022 (Invalid) Type section contents (no outputs and max stack) - Data index: 25 - # Code: ef000101000402000100010400020000 - - data: | - :label EOF1I3540_0022 :raw 0xef000101000402000100010400020000 - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0023 (Invalid) Type section contents (no max stack) - Data index: 26 - # Code: ef00010100040200010001040002000000 - - data: | - :label EOF1I3540_0023 :raw 0xef00010100040200010001040002000000 - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0024 (Invalid) Type section contents (max stack incomplete) - Data index: 27 - # Code: ef0001010004020001000104000200000000 - - data: | - :label EOF1I3540_0024 :raw 0xef0001010004020001000104000200000000 - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0025 (Invalid) No code section contents - Data index: 28 - # Code: ef000101000402000100010400020000000000 - - data: | - :label EOF1I3540_0025 :raw 0xef000101000402000100010400020000000000 - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0026 (Invalid) Code section contents incomplete - Data index: 29 - # Code: ef0001010004020001002904000000000000027f - - data: | - :label EOF1I3540_0026 :raw 0xef0001010004020001002904000000000000027f - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0027 (Invalid) Trailing bytes after code section - Data index: 30 - # Code: ef000101000402000100010400000000000000feaabbcc - - data: | - :label EOF1I3540_0027 :raw 0xef000101000402000100010400000000000000feaabbcc - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0028 (Invalid) Empty code section - Data index: 31 - # Code: ef000101000402000100000400000000000000 - - data: | - :label EOF1I3540_0028 :raw 0xef000101000402000100000400000000000000 - expectException: - ">=Prague" : "EOF_ZeroSectionSize" - - # EOF1I3540_0029 (Invalid) Empty code section with non-empty data section - Data index: 32 - # Code: ef000101000402000100000400020000000000aabb - - data: | - :label EOF1I3540_0029 :raw 0xef000101000402000100000400020000000000aabb - expectException: - ">=Prague" : "EOF_ZeroSectionSize" - - # EOF1I3540_0030 (Invalid) Code section preceding type section - Data index: 33 - # Code: ef000102000100010100040400020000000000feaabb - - data: | - :label EOF1I3540_0030 :raw 0xef000102000100010100040400020000000000feaabb - expectException: - ">=Prague" : "EOF_TypeSectionMissing" - - # EOF1I3540_0031 (Invalid) Data section preceding type section - Data index: 34 - # Code: ef000104000201000402000100010000000000feaabb - - data: | - :label EOF1I3540_0031 :raw 0xef000104000201000402000100010000000000feaabb - expectException: - ">=Prague" : "EOF_TypeSectionMissing" - - # EOF1I3540_0032 (Invalid) Data section preceding code section - Data index: 35 - # Code: ef000101000404000202000100010000000000feaabb - - data: | - :label EOF1I3540_0032 :raw 0xef000101000404000202000100010000000000feaabb - expectException: - ">=Prague" : "EOF_CodeSectionMissing" - - # EOF1I3540_0033 (Invalid) Data section without code section - Data index: 36 - # Code: ef00010100040400020000000000aabb - - data: | - :label EOF1I3540_0033 :raw 0xef00010100040400020000000000aabb - expectException: - ">=Prague" : "EOF_CodeSectionMissing" - - # EOF1I3540_0034 (Invalid) No data section - Data index: 37 - # Code: ef000101000402000100010000000000fe - - data: | - :label EOF1I3540_0034 :raw 0xef000101000402000100010000000000fe - expectException: - ">=Prague" : "EOF_DataSectionMissing" - - # EOF1I3540_0035 (Invalid) Trailing bytes after data section - Data index: 38 - # Code: ef000101000402000100010400020000000000feaabbccdd - - data: | - :label EOF1I3540_0035 :raw 0xef000101000402000100010400020000000000feaabbccdd - expectException: - ">=Prague" : "EOF_InvalidSectionBodiesSize" - - # EOF1I3540_0036 (Invalid) Multiple data sections - Data index: 39 - # Code: ef000101000402000100010400020400020000000000feaabbaabb - - data: | - :label EOF1I3540_0036 :raw 0xef000101000402000100010400020400020000000000feaabbaabb - expectException: - ">=Prague" : "EOF_HeaderTerminatorMissing" - - # EOF1I3540_0037 (Invalid) Multiple code and data sections - Data index: 40 - # Code: ef000101000802000200010001040002040002000000000000000000fefeaabbaabb - - data: | - :label EOF1I3540_0037 :raw 0xef000101000802000200010001040002040002000000000000000000fefeaabbaabb - expectException: - ">=Prague" : "EOF_HeaderTerminatorMissing" - - # EOF1I3540_0038 (Invalid) Unknown section IDs (at the beginning) - Data index: 41 - # Code: ef000105000101000402000100010400000000000000fe - - data: | - :label EOF1I3540_0038 :raw 0xef000105000101000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_TypeSectionMissing" - - # EOF1I3540_0039 - Data index: 42 - # Code: ef000106000101000402000100010400000000000000fe - - data: | - :label EOF1I3540_0039 :raw 0xef000106000101000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_TypeSectionMissing" - - # EOF1I3540_0040 - Data index: 43 - # Code: ef0001ff000101000402000100010400000000000000fe - - data: | - :label EOF1I3540_0040 :raw 0xef0001ff000101000402000100010400000000000000fe - expectException: - ">=Prague" : "EOF_TypeSectionMissing" - - # EOF1I3540_0041 (Invalid) Unknown section IDs (after types section) - Data index: 44 - # Code: ef000101000405000102000100010400000000000000fe - - data: | - :label EOF1I3540_0041 :raw 0xef000101000405000102000100010400000000000000fe - expectException: - ">=Prague" : "EOF_CodeSectionMissing" - - # EOF1I3540_0042 - Data index: 45 - # Code: ef000101000406000102000100010400000000000000fe - - data: | - :label EOF1I3540_0042 :raw 0xef000101000406000102000100010400000000000000fe - expectException: - ">=Prague" : "EOF_CodeSectionMissing" - - # EOF1I3540_0043 - Data index: 46 - # Code: ef0001010004ff000102000100010400000000000000fe - - data: | - :label EOF1I3540_0043 :raw 0xef0001010004ff000102000100010400000000000000fe - expectException: - ">=Prague" : "EOF_CodeSectionMissing" - - # EOF1I3540_0044 (Invalid) Unknown section IDs (after code section) - Data index: 47 - # Code: ef000101000402000100010500010400000000000000fe - - data: | - :label EOF1I3540_0044 :raw 0xef000101000402000100010500010400000000000000fe - expectException: - ">=Prague" : "EOF_DataSectionMissing" - - # EOF1I3540_0045 - Data index: 48 - # Code: ef000101000402000100010600010400000000000000fe - - data: | - :label EOF1I3540_0045 :raw 0xef000101000402000100010600010400000000000000fe - expectException: - ">=Prague" : "EOF_DataSectionMissing" - - # EOF1I3540_0046 - Data index: 49 - # Code: ef00010100040200010001ff00010400000000000000fe - - data: | - :label EOF1I3540_0046 :raw 0xef00010100040200010001ff00010400000000000000fe - expectException: - ">=Prague" : "EOF_DataSectionMissing" - - # EOF1I3540_0047 (Invalid) Unknown section IDs (after data section) - Data index: 50 - # Code: ef000101000402000100010400000500010000000000fe - - data: | - :label EOF1I3540_0047 :raw 0xef000101000402000100010400000500010000000000fe - expectException: - ">=Prague" : "EOF_HeaderTerminatorMissing" - - # EOF1I3540_0048 - Data index: 51 - # Code: ef000101000402000100010400000600010000000000fe - - data: | - :label EOF1I3540_0048 :raw 0xef000101000402000100010400000600010000000000fe - expectException: - ">=Prague" : "EOF_HeaderTerminatorMissing" - - # EOF1I3540_0049 - Data index: 52 - # Code: ef00010100040200010001040000ff00010000000000fe - - data: | - :label EOF1I3540_0049 :raw 0xef00010100040200010001040000ff00010000000000fe - expectException: - ">=Prague" : "EOF_HeaderTerminatorMissing" - - diff --git a/src/EOFTestsFiller/efValidation/EOF1_eofcreate_valid_Copier.json b/src/EOFTestsFiller/efValidation/EOF1_eofcreate_valid_Copier.json deleted file mode 100644 index 0d8513f6043..00000000000 --- a/src/EOFTestsFiller/efValidation/EOF1_eofcreate_valid_Copier.json +++ /dev/null @@ -1,30 +0,0 @@ -{ - "EOF1_eofcreate_valid": { - "vectors": { - "EOF1_eofcreate_valid_0": { - "code": "0xef0001010004020001000b0300010014040000000080000436600060ff6000ec005000ef000101000402000100010400000000800000fe", - "results": { - "Prague": { - "result": true - } - } - }, - "EOF1_eofcreate_valid_1": { - "code": "0xef0001010004020001000b03000200140014040000000080000436600060ff6000ec015000ef000101000402000100010400000000800000feef000101000402000100010400000000800000fe", - "results": { - "Prague": { - "result": true - } - } - }, - "EOF1_eofcreate_valid_2": { - "code": "0xef0001010004020001000b0301000014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014001400140014040000000080000436600060ff6000ecff5000ef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000feef000101000402000100010400000000800000fe", - "results": { - "Prague": { - "result": true - } - } - } - } - } -} \ No newline at end of file diff --git a/src/EOFTestsFiller/efValidation/EOF1_truncated_section_Copier.json b/src/EOFTestsFiller/efValidation/EOF1_truncated_section_Copier.json deleted file mode 100644 index 663059882f0..00000000000 --- a/src/EOFTestsFiller/efValidation/EOF1_truncated_section_Copier.json +++ /dev/null @@ -1,49 +0,0 @@ -{ - "EOF1_truncated_section": { - "vectors": { - "EOF1_truncated_section_0": { - "code": "0xef0001010004020001000204000000", - "results": { - "Prague": { - "exception": "EOF_InvalidSectionBodiesSize", - "result": false - } - } - }, - "EOF1_truncated_section_1": { - "code": "0xef0001010004020001000204000000008000", - "results": { - "Prague": { - "exception": "EOF_InvalidSectionBodiesSize", - "result": false - } - } - }, - "EOF1_truncated_section_2": { - "code": "0xef000101000402000100020400000000800000fe", - "results": { - "Prague": { - "exception": "EOF_InvalidSectionBodiesSize", - "result": false - } - } - }, - "EOF1_truncated_section_3": { - "code": "0xef000101000402000100010400020000800000fe", - "results": { - "Prague": { - "result": true - } - } - }, - "EOF1_truncated_section_4": { - "code": "0xef000101000402000100010400020000800000feaa", - "results": { - "Prague": { - "result": true - } - } - } - } - } -} \ No newline at end of file