{
"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
}
}
}
}
}
}