{ "validInvalid" : { "_info" : { "comment" : "Ori Pomerantz qbzzt1@gmail.com\nImplements EOF1I0001, EOF1I0002, EOF1I0003, EOF1I0004, EOF1I0005,\nEOF1I0006, EOF1I0007, EOF1I0008, EOF1I0009, EOF1I0010,\nEOF1I0011, EOF1I0012, EOF1I0013, EOF1I0014, EOF1I0015,\nEOF1I0016, EOF1I0017, EOF1I0018, EOF1I0019, EOF1I0020,\nEOF1I0021, EOF1I0022, EOF1I0023, EOF1I0024, EOF1I0025,\nEOF1V0001, EOF1V0002, EOF1V0003, EOF1V0004, EOF1V0005,\nEOF1V0006, EOF1V0007, EOF1V0008, EOF1V0009, EOF1V0010,\nEOF1V0011, EOF1V0012, EOF1V0013, EOF1V0014, EOF1V0015\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" : "42a674b5b1d41a51050ca56d5e2924a22edcd0e4f8b251913bfc7bb34c5d1457", "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/ori/validInvalidFiller.yml", "sourceHash" : "f4594e906050a1a0e30a17822dbb83cd4382fc613a1a7dac7f6b97360ba2e903" }, "vectors" : { "validInvalid_0" : { "code" : "0xef020101000402000100030400010000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidPrefix", "result" : false } } }, "validInvalid_1" : { "code" : "0xef000001000402000100030400010000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_UnknownVersion", "result" : false } } }, "validInvalid_10" : { "code" : "0xef000101000402000100010400010000800000efef", "results" : { "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false } } }, "validInvalid_11" : { "code" : "0xef0001010004020001000504000100008000013030505000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidMaxStackHeight", "result" : false } } }, "validInvalid_12" : { "code" : "0xef0001010004020001000504000100008000033030505000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidMaxStackHeight", "result" : false } } }, "validInvalid_13" : { "code" : "0xef00010100040200010004040001000080000130505000ef", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_14" : { "code" : "0xef000101000c0200030037000b001f0400010000800400000a000a00640064e30002e30002e30002e30002e30002e30002e30002e30002e30002e300023030303030303030303030303030303030303030303030300030303030303030303030e4e30001e30001e30001e30001e30001e30001e30001e30001e30001e30001e4ef", "results" : { "Prague" : { "exception" : "EOF_MaxStackHeightExceeded", "result" : false } } }, "validInvalid_15" : { "code" : "0xef000101000802000200070004040001000180000200000001300150e3000100305000e4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidFirstSectionType", "result" : false } } }, "validInvalid_16" : { "code" : "0xef000101000802000200060003040001000001000200800001303001e50001305000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidFirstSectionType", "result" : false } } }, "validInvalid_17" : { "code" : "0xef000101000802000200040001040001000080000000800000e300020000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidCodeSectionIndex", "result" : false } } }, "validInvalid_18" : { "code" : "0xef00010100040200010004040001000080000130015000ef", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_19" : { "code" : "0xef0001010008020002000600040400010000800002020000005f80e3000100505050e4ef", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_2" : { "code" : "0xef000201000402000100030400010000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_UnknownVersion", "result" : false } } }, "validInvalid_20" : { "code" : "0xef0001010008020002000600050400010000800002020000035f80e300010082505050e4ef", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_21" : { "code" : "0xef0001010008020002000600040400010000800002020000025f80e3000100915050e4ef", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_22" : { "code" : "0xef000101000802000200040005040001000080000000000001e30001005b600056e4ef", "results" : { "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false } } }, "validInvalid_23" : { "code" : "0xef000101000802000200040007040001000080000000000001e30001005b6001600057e4ef", "results" : { "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false } } }, "validInvalid_24" : { "code" : "0xef00010100040200010006040001000080000260016002ff00ef", "results" : { "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false } } }, "validInvalid_25" : { "code" : "0xef0001010004020001001004000100008000076001600260036004600560066007f200ef", "results" : { "Prague" : { "exception" : "EOF_UndefinedInstruction", "result" : false } } }, "validInvalid_26" : { "code" : "0xef000101000802000200040004040001000080000000000000e3000100e00010e4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_27" : { "code" : "0xef000101000802000200040004040001000080000000000000e3000100e0ff00e4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_28" : { "code" : "0xef000101000c02000300060004000104000100008000000000000000800000e30001e50002e00001e400ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_29" : { "code" : "0xef000101000c02000300060004000104000100008000000000000000800000e30001e50002e0fffce400ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_3" : { "code" : "0xef000102000100030400010100040000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_TypeSectionMissing", "result" : false } } }, "validInvalid_30" : { "code" : "0xef000101000802000200060007040001000080000200020003e30001505000600160026003e4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidNumberOfOutputs", "result" : false } } }, "validInvalid_31" : { "code" : "0xef000101000802000200040008040001000080000000000001e3000100e0000160ff60ffe4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_32" : { "code" : "0xef000101000802000200040009040001000080000000000001e30001006001e1000160ff50e4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_33" : { "code" : "0xef0001010004020001001304000100008000016001e204000000010001000200010060ff5000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_34" : { "code" : "0xef0001010004020001001304000100008000016001e204000000010001fffe00010060ff5000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidJumpDestination", "result" : false } } }, "validInvalid_35" : { "code" : "0xef000101000402000100050400010000800000e000010000ef", "results" : { "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false } } }, "validInvalid_36" : { "code" : "0xef0001010004020001000a04000100008000016001e100020000305000ef", "results" : { "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false } } }, "validInvalid_37" : { "code" : "0xef0001010004020001000f04000100008000016001e2010002000430500000305000ef", "results" : { "Prague" : { "exception" : "EOF_UnreachableCode", "result" : false } } }, "validInvalid_38" : { "code" : "0xef00010100080200020005000304000100008000010200000230e30001005050e4ef", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_39" : { "code" : "0xef0001010004020001000804000100008000046000600060006000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_4" : { "code" : "0xef00010100040400010000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_CodeSectionMissing", "result" : false } } }, "validInvalid_40" : { "code" : "0xef000101000402000100090400010000800004600060006000600001ef", "results" : { "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_41" : { "code" : "0xef000101000402000100090400010000800004600060006000600034ef", "results" : { "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_42" : { "code" : "0xef000101000402000100090400010000800004600060006000600003ef", "results" : { "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_43" : { "code" : "0xef0001010004020001000d0400010000800006600060006000600060006000a4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_44" : { "code" : "0xef0001010004020001000304000100008000013050e4ef", "results" : { "Prague" : { "exception" : "EOF_InvalidNonReturningFlag", "result" : false } } }, "validInvalid_45" : { "code" : "0xef000101000402000100030400010000800001305000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_46" : { "code" : "0xef0001010008020002000600050400010000800001000000023050e300010030305050e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_47" : { "code" : "0xef0001010010020004000600060006000304000100008000010000000100000001000000013050e30001003050e30002e43050e30003e43050e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_48" : { "code" : "0xef000101000402000100030400060000800001305000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_49" : { "code" : "0xef000101000402000100010400010000800000feef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_5" : { "code" : "0xef000101000402000100030000800001305000", "results" : { "Prague" : { "exception" : "EOF_DataSectionMissing", "result" : false } } }, "validInvalid_50" : { "code" : "0xef0001010004020001000504000100008000023030505000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_51" : { "code" : "0xef000101000c0200030036000b001f04000100008003ff000a000a00640064e30002e30002e30002e30002e30002e30002e30002e30002e30002e3000230303030303030303030303030303030303030303030300030303030303030303030e4e30001e30001e30001e30001e30001e30001e30001e30001e30001e30001e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_52" : { "code" : "0xef00010100080200020005000404000100008000010100000230e3000100300150e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_53" : { "code" : "0xef0001010008020002000700040400010000800001000100023050e300015000303001e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_54" : { "code" : "0xef0001010004020001000504000100008000023030015000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_55" : { "code" : "0xef0001010004020001000504000100008000013050e50000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_56" : { "code" : "0xef00010100080200020006000204000100008000010100000160ffe300010050e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_57" : { "code" : "0xef0001010008020002000600050400010000800002020000035f80e300010081505050e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_58" : { "code" : "0xef0001010008020002000600040400010000800002020000025f80e3000100905050e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_59" : { "code" : "0xef000101000802000200030004040001000080000000800000e50001e0000000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_6" : { "code" : "0xef00010100040200010003040001ff00800001305000ef", "results" : { "Prague" : { "exception" : "EOF_HeaderTerminatorMissing", "result" : false } } }, "validInvalid_60" : { "code" : "0xef000101000802000200040009040001000080000000000001e30001006001e10001e4e0fffcef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_61" : { "code" : "0xef000101000802000200040007040001000080000000000000e3000100e00000e00000e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_62" : { "code" : "0xef000101000802000200030007040001000080000000800001e500016000e100003000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_63" : { "code" : "0xef000101000802000200030009040001000080000000800001e500016000e1000230503000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_64" : { "code" : "0xef000101000802000200030009040001000080000000800001e500016000e1000230503000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_65" : { "code" : "0xef000101000802000200030008040001000080000000800002e500016000e10001303000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_66" : { "code" : "0xef000101000802000200050003040001000080000100010001e30001500060ffe4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_67" : { "code" : "0xef0001010004020001000f04000100008000016001e2040000000000000000000000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_68" : { "code" : "0xef0001010004020001001204000100008000016001e2040000000100010000000100305000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_69" : { "code" : "0xef000101000402000100040400010000800000e0000000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_7" : { "code" : "0xef000101000802000100030400010000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_70" : { "code" : "0xef0001010004020001000904000100008000016001e1000100305000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_71" : { "code" : "0xef0001010004020001000f04000100008000016001e2010002000430503050305000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_72" : { "code" : "0xef0001010008020002000600030400010000800002020000023030e30001005050e4ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_73" : { "code" : "0xef000101000402000100090400010000800004600060006000600000ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_74" : { "code" : "0xef0001010004020001000904000100008000046000600060006000f3ef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_75" : { "code" : "0xef0001010004020001000904000100008000046000600060006000fdef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_76" : { "code" : "0xef0001010004020001000904000100008000046000600060006000feef", "results" : { "Prague" : { "result" : true } } }, "validInvalid_8" : { "code" : "0xef000101000402000100030400010000800001305000000bad", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } }, "validInvalid_9" : { "code" : "0xef000101000302000100030400010000800001305000ef", "results" : { "Prague" : { "exception" : "EOF_InvalidSectionBodiesSize", "result" : false } } } } } }