diff --git a/EOFTests/EIP5450/validInvalid.json b/EOFTests/EIP5450/validInvalid.json index 684a03c852e..3e5aeca10d8 100644 --- a/EOFTests/EIP5450/validInvalid.json +++ b/EOFTests/EIP5450/validInvalid.json @@ -1,14 +1,14 @@ { "validInvalid" : { "_info" : { - "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n EOF1V5450_0001 (Valid) Code with branches having the same stack height - Data index: 0\n EOF1V5450_0002 (Valid) Jump table - Data index: 1\n EOF1V5450_0003 (Valid) Infinite loop - Data index: 2\n EOF1V5450_0004 (Valid) Infinite loop using RJUMPV - Data index: 3\n EOF1V5450_0005 (Valid) CALLF branches with the same total of outputs - Data index: 4\n EOF1V5450_0006 (Valid) CALLF inputs - Data index: 5\n EOF1V5450_0007 (Valid) Validate input for ADD opcode - Data index: 6\n EOF1V5450_0008 (Valid) Validate input for MUL opcode - Data index: 7\n EOF1V5450_0009 (Valid) Validate input for SUB opcode - Data index: 8\n EOF1V5450_0010 (Valid) Validate input for DIV opcode - Data index: 9\n EOF1V5450_0011 (Valid) Validate input for SDIV opcode - Data index: 10\n EOF1V5450_0012 (Valid) Validate input for MOD opcode - Data index: 11\n EOF1V5450_0013 (Valid) Validate input for SMOD opcode - Data index: 12\n EOF1V5450_0014 (Valid) Validate input for ADDMOD opcode - Data index: 13\n EOF1V5450_0015 (Valid) Validate input for MULMOD opcode - Data index: 14\n EOF1V5450_0016 (Valid) Validate input for EXP opcode - Data index: 15\n EOF1V5450_0017 (Valid) Validate input for SIGNEXTEND opcode - Data index: 16\n EOF1V5450_0018 (Valid) Validate input for LT opcode - Data index: 17\n EOF1V5450_0019 (Valid) Validate input for GT opcode - Data index: 18\n EOF1V5450_0020 (Valid) Validate input for SLT opcode - Data index: 19\n EOF1V5450_0021 (Valid) Validate input for SGT opcode - Data index: 20\n EOF1V5450_0022 (Valid) Validate input for EQ opcode - Data index: 21\n EOF1V5450_0023 (Valid) Validate input for ISZERO opcode - Data index: 22\n EOF1V5450_0024 (Valid) Validate input for AND opcode - Data index: 23\n EOF1V5450_0025 (Valid) Validate input for OR opcode - Data index: 24\n EOF1V5450_0026 (Valid) Validate input for XOR opcode - Data index: 25\n EOF1V5450_0027 (Valid) Validate input for NOT opcode - Data index: 26\n EOF1V5450_0028 (Valid) Validate input for BYTE opcode - Data index: 27\n EOF1V5450_0029 (Valid) Validate input for SHL opcode - Data index: 28\n EOF1V5450_0030 (Valid) Validate input for SHR opcode - Data index: 29\n EOF1V5450_0031 (Valid) Validate input for SAR opcode - Data index: 30\n EOF1V5450_0032 (Valid) Validate input for SHA3 opcode - Data index: 31\n EOF1V5450_0033 (Valid) Validate input for BALANCE opcode - Data index: 32\n EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode - Data index: 33\n EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode - Data index: 34\n EOF1V5450_0036 (Valid) Validate input for CODECOPY opcode - Data index: 35\n EOF1V5450_0037 (Valid) Validate input for EXTCODESIZE opcode - Data index: 36\n EOF1V5450_0038 (Valid) Validate input for EXTCODECOPY opcode - Data index: 37\n EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - Data index: 38\n EOF1V5450_0040 (Valid) Validate input for EXTCODEHASH opcode - Data index: 39\n EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - Data index: 40\n EOF1V5450_0042 (Valid) Validate input for BLOBHASH opcode - Data index: 41\n EOF1V5450_0043 (Valid) Validate input for POP opcode - Data index: 42\n EOF1V5450_0044 (Valid) Validate input for MLOAD opcode - Data index: 43\n EOF1V5450_0045 (Valid) Validate input for MSTORE opcode - Data index: 44\n EOF1V5450_0046 (Valid) Validate input for MSTORE8 opcode - Data index: 45\n EOF1V5450_0047 (Valid) Validate input for SLOAD opcode - Data index: 46\n EOF1V5450_0048 (Valid) Validate input for SSTORE opcode - Data index: 47\n EOF1V5450_0049 (Valid) Validate input for MCOPY opcode - Data index: 48\n EOF1V5450_0050 (Valid) Validate input for DUP1 opcode - Data index: 49\n EOF1V5450_0051 (Valid) Validate input for DUP2 opcode - Data index: 50\n EOF1V5450_0052 (Valid) Validate input for DUP3 opcode - Data index: 51\n EOF1V5450_0053 (Valid) Validate input for DUP4 opcode - Data index: 52\n EOF1V5450_0054 (Valid) Validate input for DUP5 opcode - Data index: 53\n EOF1V5450_0055 (Valid) Validate input for DUP6 opcode - Data index: 54\n EOF1V5450_0056 (Valid) Validate input for DUP7 opcode - Data index: 55\n EOF1V5450_0057 (Valid) Validate input for DUP8 opcode - Data index: 56\n EOF1V5450_0058 (Valid) Validate input for DUP9 opcode - Data index: 57\n EOF1V5450_0059 (Valid) Validate input for DUP10 opcode - Data index: 58\n EOF1V5450_0060 (Valid) Validate input for DUP11 opcode - Data index: 59\n EOF1V5450_0061 (Valid) Validate input for DUP12 opcode - Data index: 60\n EOF1V5450_0062 (Valid) Validate input for DUP13 opcode - Data index: 61\n EOF1V5450_0063 (Valid) Validate input for DUP14 opcode - Data index: 62\n EOF1V5450_0064 (Valid) Validate input for DUP15 opcode - Data index: 63\n EOF1V5450_0065 (Valid) Validate input for DUP16 opcode - Data index: 64\n EOF1V5450_0066 (Valid) Validate input for SWAP1 opcode - Data index: 65\n EOF1V5450_0067 (Valid) Validate input for SWAP2 opcode - Data index: 66\n EOF1V5450_0068 (Valid) Validate input for SWAP3 opcode - Data index: 67\n EOF1V5450_0069 (Valid) Validate input for SWAP4 opcode - Data index: 68\n EOF1V5450_0070 (Valid) Validate input for SWAP5 opcode - Data index: 69\n EOF1V5450_0071 (Valid) Validate input for SWAP6 opcode - Data index: 70\n EOF1V5450_0072 (Valid) Validate input for SWAP7 opcode - Data index: 71\n EOF1V5450_0073 (Valid) Validate input for SWAP8 opcode - Data index: 72\n EOF1V5450_0074 (Valid) Validate input for SWAP9 opcode - Data index: 73\n EOF1V5450_0075 (Valid) Validate input for SWAP10 opcode - Data index: 74\n EOF1V5450_0076 (Valid) Validate input for SWAP11 opcode - Data index: 75\n EOF1V5450_0077 (Valid) Validate input for SWAP12 opcode - Data index: 76\n EOF1V5450_0078 (Valid) Validate input for SWAP13 opcode - Data index: 77\n EOF1V5450_0079 (Valid) Validate input for SWAP14 opcode - Data index: 78\n EOF1V5450_0080 (Valid) Validate input for SWAP15 opcode - Data index: 79\n EOF1V5450_0081 (Valid) Validate input for SWAP16 opcode - Data index: 80\n EOF1V5450_0082 (Valid) Validate input for LOG0 opcode - Data index: 81\n EOF1V5450_0083 (Valid) Validate input for LOG1 opcode - Data index: 82\n EOF1V5450_0084 (Valid) Validate input for LOG2 opcode - Data index: 83\n EOF1V5450_0085 (Valid) Validate input for LOG3 opcode - Data index: 84\n EOF1V5450_0086 (Valid) Validate input for LOG4 opcode - Data index: 85\n EOF1V5450_0087 (Valid) Validate input for CALL opcode - Data index: 86\n EOF1V5450_0088 (Valid) Validate input for RETURN opcode - Data index: 87\n EOF1V5450_0089 (Valid) Validate input for DELEGATECALL opcode - Data index: 88\n EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - Data index: 89\n EOF1V5450_0091 (Valid) Validate input for REVERT opcode - Data index: 90\n EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - Data index: 91\n EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - Data index: 92\n EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - Data index: 93\n EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - Data index: 94\n EOF1V5450_0096 (Valid) Functions ending with RETF - Data index: 95\n EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - Data index: 96\n EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - Data index: 97\n EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - Data index: 98\n EOF1V5450_0100 (Valid) Calling function with enough stack items: Function 1 calls Function 2 with enough parameters - Data index: 99\n EOF1V5450_0101 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 100\n EOF1V5450_0102 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 101\n EOF1V5450_0103 (Valid) Calls returning different number of outputs valid according to relaxed stack validation - Data index: 102\n EOF1V5450_0104 (Valid) Jump table with different stack heights valid according to relaxed stack validation - Data index: 103\n EOF1I5450_0001 (Invalid) Pushing loop - Data index: 104\n EOF1I5450_0002 (Invalid) Popping loop - Data index: 105\n EOF1I5450_0003 (Invalid) Stack underflow for opcode ADD - Data index: 106\n EOF1I5450_0004 (Invalid) Stack underflow for opcode MUL - Data index: 107\n EOF1I5450_0005 (Invalid) Stack underflow for opcode SUB - Data index: 108\n EOF1I5450_0006 (Invalid) Stack underflow for opcode DIV - Data index: 109\n EOF1I5450_0007 (Invalid) Stack underflow for opcode SDIV - Data index: 110\n EOF1I5450_0008 (Invalid) Stack underflow for opcode MOD - Data index: 111\n EOF1I5450_0009 (Invalid) Stack underflow for opcode SMOD - Data index: 112\n EOF1I5450_0010 (Invalid) Stack underflow for opcode ADDMOD - Data index: 113\n EOF1I5450_0011 (Invalid) Stack underflow for opcode MULMOD - Data index: 114\n EOF1I5450_0012 (Invalid) Stack underflow for opcode EXP - Data index: 115\n EOF1I5450_0013 (Invalid) Stack underflow for opcode SIGNEXTEND - Data index: 116\n EOF1I5450_0014 (Invalid) Stack underflow for opcode LT - Data index: 117\n EOF1I5450_0015 (Invalid) Stack underflow for opcode GT - Data index: 118\n EOF1I5450_0016 (Invalid) Stack underflow for opcode SLT - Data index: 119\n EOF1I5450_0017 (Invalid) Stack underflow for opcode SGT - Data index: 120\n EOF1I5450_0018 (Invalid) Stack underflow for opcode EQ - Data index: 121\n EOF1I5450_0019 (Invalid) Stack underflow for opcode ISZERO - Data index: 122\n EOF1I5450_0020 (Invalid) Stack underflow for opcode AND - Data index: 123\n EOF1I5450_0021 (Invalid) Stack underflow for opcode OR - Data index: 124\n EOF1I5450_0022 (Invalid) Stack underflow for opcode XOR - Data index: 125\n EOF1I5450_0023 (Invalid) Stack underflow for opcode NOT - Data index: 126\n EOF1I5450_0024 (Invalid) Stack underflow for opcode BYTE - Data index: 127\n EOF1I5450_0025 (Invalid) Stack underflow for opcode SHL - Data index: 128\n EOF1I5450_0026 (Invalid) Stack underflow for opcode SHR - Data index: 129\n EOF1I5450_0027 (Invalid) Stack underflow for opcode SAR - Data index: 130\n EOF1I5450_0028 (Invalid) Stack underflow for opcode SHA3 - Data index: 131\n EOF1I5450_0029 (Invalid) Stack underflow for opcode BALANCE - Data index: 132\n EOF1I5450_0030 (Invalid) Stack underflow for opcode CALLDATALOAD - Data index: 133\n EOF1I5450_0031 (Invalid) Stack underflow for opcode CALLDATACOPY - Data index: 134\n EOF1I5450_0032 (Invalid) Stack underflow for opcode CODECOPY - Data index: 135\n EOF1I5450_0033 (Invalid) Stack underflow for opcode EXTCODESIZE - Data index: 136\n EOF1I5450_0034 (Invalid) Stack underflow for opcode EXTCODECOPY - Data index: 137\n EOF1I5450_0035 (Invalid) Stack underflow for opcode RETURNDATACOPY - Data index: 138\n EOF1I5450_0036 (Invalid) Stack underflow for opcode EXTCODEHASH - Data index: 139\n EOF1I5450_0037 (Invalid) Stack underflow for opcode BLOCKHASH - Data index: 140\n EOF1I5450_0038 (Invalid) Stack underflow for opcode BLOBHASH - Data index: 141\n EOF1I5450_0039 (Invalid) Stack underflow for opcode POP - Data index: 142\n EOF1I5450_0040 (Invalid) Stack underflow for opcode MLOAD - Data index: 143\n EOF1I5450_0041 (Invalid) Stack underflow for opcode MSTORE - Data index: 144\n EOF1I5450_0042 (Invalid) Stack underflow for opcode MSTORE8 - Data index: 145\n EOF1I5450_0043 (Invalid) Stack underflow for opcode SLOAD - Data index: 146\n EOF1I5450_0044 (Invalid) Stack underflow for opcode SSTORE - Data index: 147\n EOF1I5450_0045 (Invalid) Stack underflow for opcode MCOPY - Data index: 148\n EOF1I5450_0046 (Invalid) Stack underflow for opcode DUP1 - Data index: 149\n EOF1I5450_0047 (Invalid) Stack underflow for opcode DUP2 - Data index: 150\n EOF1I5450_0048 (Invalid) Stack underflow for opcode DUP3 - Data index: 151\n EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP4 - Data index: 152\n EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP5 - Data index: 153\n EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP6 - Data index: 154\n EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP7 - Data index: 155\n EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP8 - Data index: 156\n EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP9 - Data index: 157\n EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP10 - Data index: 158\n EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP11 - Data index: 159\n EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP12 - Data index: 160\n EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP13 - Data index: 161\n EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP14 - Data index: 162\n EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP15 - Data index: 163\n EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP16 - Data index: 164\n EOF1I5450_0062 (Invalid) Stack underflow for opcode SWAP1 - Data index: 165\n EOF1I5450_0063 (Invalid) Stack underflow for opcode SWAP2 - Data index: 166\n EOF1I5450_0064 (Invalid) Stack underflow for opcode SWAP3 - Data index: 167\n EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP4 - Data index: 168\n EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP5 - Data index: 169\n EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP6 - Data index: 170\n EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP7 - Data index: 171\n EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP8 - Data index: 172\n EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP9 - Data index: 173\n EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP10 - Data index: 174\n EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP11 - Data index: 175\n EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP12 - Data index: 176\n EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP13 - Data index: 177\n EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP14 - Data index: 178\n EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP15 - Data index: 179\n EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP16 - Data index: 180\n EOF1I5450_0078 (Invalid) Stack underflow for opcode LOG0 - Data index: 181\n EOF1I5450_0079 (Invalid) Stack underflow for opcode LOG1 - Data index: 182\n EOF1I5450_0080 (Invalid) Stack underflow for opcode LOG2 - Data index: 183\n EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG3 - Data index: 184\n EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG4 - Data index: 185\n EOF1I5450_0083 (Invalid) Stack underflow for opcode CALL - Data index: 186\n EOF1I5450_0084 (Invalid) Stack underflow for opcode RETURN - Data index: 187\n EOF1I5450_0085 (Invalid) Stack underflow for opcode DELEGATECALL - Data index: 188\n EOF1I5450_0086 (Invalid) Stack underflow for opcode STATICCALL - Data index: 189\n EOF1I5450_0087 (Invalid) Stack underflow for opcode REVERT - Data index: 190\n EOF1I5450_0088 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - Data index: 191\n EOF1I5450_0089 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - Data index: 192\n EOF1I5450_0090 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - Data index: 193\n EOF1I5450_0091 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - Data index: 194\n EOF1I5450_0092 (Invalid) Function ending with non-terminating instruction (a) - Data index: 195\n EOF1I5450_0093 (Invalid) Function ending with non-terminating instruction (b) - Data index: 196\n EOF1I5450_0094 (Invalid) Function ending with non-terminating instruction (c) - Data index: 197\n EOF1I5450_0095 (Invalid) Function containing unreachable code after RETURN - Data index: 198\n EOF1I5450_0096 (Invalid) Function containing unreachable code after REVERT - Data index: 199\n EOF1I5450_0097 (Invalid) Unreachable code after RJUMP - Data index: 200\n EOF1I5450_0098 (Invalid) Unreachable code after infinite loop - Data index: 201\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" : "5fe8f95c5397e77caa07f7e5f6d2c78d06a72b1f77bf2af91e4a281eeb1ee612", - "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++", + "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n EOF1V5450_0001 (Valid) Code with branches having the same stack height - Data index: 0\n EOF1V5450_0002 (Valid) Jump table - Data index: 1\n EOF1V5450_0003 (Valid) Infinite loop - Data index: 2\n EOF1V5450_0004 (Valid) Infinite loop using RJUMPV - Data index: 3\n EOF1V5450_0005 (Valid) CALLF branches with the same total of outputs - Data index: 4\n EOF1V5450_0006 (Valid) CALLF inputs - Data index: 5\n EOF1V5450_0007 (Valid) Validate input for ADD opcode - Data index: 6\n EOF1V5450_0008 (Valid) Validate input for MUL opcode - Data index: 7\n EOF1V5450_0009 (Valid) Validate input for SUB opcode - Data index: 8\n EOF1V5450_0010 (Valid) Validate input for DIV opcode - Data index: 9\n EOF1V5450_0011 (Valid) Validate input for SDIV opcode - Data index: 10\n EOF1V5450_0012 (Valid) Validate input for MOD opcode - Data index: 11\n EOF1V5450_0013 (Valid) Validate input for SMOD opcode - Data index: 12\n EOF1V5450_0014 (Valid) Validate input for ADDMOD opcode - Data index: 13\n EOF1V5450_0015 (Valid) Validate input for MULMOD opcode - Data index: 14\n EOF1V5450_0016 (Valid) Validate input for EXP opcode - Data index: 15\n EOF1V5450_0017 (Valid) Validate input for SIGNEXTEND opcode - Data index: 16\n EOF1V5450_0018 (Valid) Validate input for LT opcode - Data index: 17\n EOF1V5450_0019 (Valid) Validate input for GT opcode - Data index: 18\n EOF1V5450_0020 (Valid) Validate input for SLT opcode - Data index: 19\n EOF1V5450_0021 (Valid) Validate input for SGT opcode - Data index: 20\n EOF1V5450_0022 (Valid) Validate input for EQ opcode - Data index: 21\n EOF1V5450_0023 (Valid) Validate input for ISZERO opcode - Data index: 22\n EOF1V5450_0024 (Valid) Validate input for AND opcode - Data index: 23\n EOF1V5450_0025 (Valid) Validate input for OR opcode - Data index: 24\n EOF1V5450_0026 (Valid) Validate input for XOR opcode - Data index: 25\n EOF1V5450_0027 (Valid) Validate input for NOT opcode - Data index: 26\n EOF1V5450_0028 (Valid) Validate input for BYTE opcode - Data index: 27\n EOF1V5450_0029 (Valid) Validate input for SHL opcode - Data index: 28\n EOF1V5450_0030 (Valid) Validate input for SHR opcode - Data index: 29\n EOF1V5450_0031 (Valid) Validate input for SAR opcode - Data index: 30\n EOF1V5450_0032 (Valid) Validate input for SHA3 opcode - Data index: 31\n EOF1V5450_0033 (Valid) Validate input for BALANCE opcode - Data index: 32\n EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode - Data index: 33\n EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode - Data index: 34\n EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - Data index: 35\n EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - Data index: 36\n EOF1V5450_0042 (Valid) Validate input for BLOBHASH opcode - Data index: 37\n EOF1V5450_0043 (Valid) Validate input for POP opcode - Data index: 38\n EOF1V5450_0044 (Valid) Validate input for MLOAD opcode - Data index: 39\n EOF1V5450_0045 (Valid) Validate input for MSTORE opcode - Data index: 40\n EOF1V5450_0046 (Valid) Validate input for MSTORE8 opcode - Data index: 41\n EOF1V5450_0047 (Valid) Validate input for SLOAD opcode - Data index: 42\n EOF1V5450_0048 (Valid) Validate input for SSTORE opcode - Data index: 43\n EOF1V5450_0049 (Valid) Validate input for MCOPY opcode - Data index: 44\n EOF1V5450_0050 (Valid) Validate input for DUP1 opcode - Data index: 45\n EOF1V5450_0051 (Valid) Validate input for DUP2 opcode - Data index: 46\n EOF1V5450_0052 (Valid) Validate input for DUP3 opcode - Data index: 47\n EOF1V5450_0053 (Valid) Validate input for DUP4 opcode - Data index: 48\n EOF1V5450_0054 (Valid) Validate input for DUP5 opcode - Data index: 49\n EOF1V5450_0055 (Valid) Validate input for DUP6 opcode - Data index: 50\n EOF1V5450_0056 (Valid) Validate input for DUP7 opcode - Data index: 51\n EOF1V5450_0057 (Valid) Validate input for DUP8 opcode - Data index: 52\n EOF1V5450_0058 (Valid) Validate input for DUP9 opcode - Data index: 53\n EOF1V5450_0059 (Valid) Validate input for DUP10 opcode - Data index: 54\n EOF1V5450_0060 (Valid) Validate input for DUP11 opcode - Data index: 55\n EOF1V5450_0061 (Valid) Validate input for DUP12 opcode - Data index: 56\n EOF1V5450_0062 (Valid) Validate input for DUP13 opcode - Data index: 57\n EOF1V5450_0063 (Valid) Validate input for DUP14 opcode - Data index: 58\n EOF1V5450_0064 (Valid) Validate input for DUP15 opcode - Data index: 59\n EOF1V5450_0065 (Valid) Validate input for DUP16 opcode - Data index: 60\n EOF1V5450_0066 (Valid) Validate input for SWAP1 opcode - Data index: 61\n EOF1V5450_0067 (Valid) Validate input for SWAP2 opcode - Data index: 62\n EOF1V5450_0068 (Valid) Validate input for SWAP3 opcode - Data index: 63\n EOF1V5450_0069 (Valid) Validate input for SWAP4 opcode - Data index: 64\n EOF1V5450_0070 (Valid) Validate input for SWAP5 opcode - Data index: 65\n EOF1V5450_0071 (Valid) Validate input for SWAP6 opcode - Data index: 66\n EOF1V5450_0072 (Valid) Validate input for SWAP7 opcode - Data index: 67\n EOF1V5450_0073 (Valid) Validate input for SWAP8 opcode - Data index: 68\n EOF1V5450_0074 (Valid) Validate input for SWAP9 opcode - Data index: 69\n EOF1V5450_0075 (Valid) Validate input for SWAP10 opcode - Data index: 70\n EOF1V5450_0076 (Valid) Validate input for SWAP11 opcode - Data index: 71\n EOF1V5450_0077 (Valid) Validate input for SWAP12 opcode - Data index: 72\n EOF1V5450_0078 (Valid) Validate input for SWAP13 opcode - Data index: 73\n EOF1V5450_0079 (Valid) Validate input for SWAP14 opcode - Data index: 74\n EOF1V5450_0080 (Valid) Validate input for SWAP15 opcode - Data index: 75\n EOF1V5450_0081 (Valid) Validate input for SWAP16 opcode - Data index: 76\n EOF1V5450_0082 (Valid) Validate input for LOG0 opcode - Data index: 77\n EOF1V5450_0083 (Valid) Validate input for LOG1 opcode - Data index: 78\n EOF1V5450_0084 (Valid) Validate input for LOG2 opcode - Data index: 79\n EOF1V5450_0085 (Valid) Validate input for LOG3 opcode - Data index: 80\n EOF1V5450_0086 (Valid) Validate input for LOG4 opcode - Data index: 81\n EOF1V5450_0087 (Valid) Validate input for CALL opcode - Data index: 82\n EOF1V5450_0088 (Valid) Validate input for RETURN opcode - Data index: 83\n EOF1V5450_0089 (Valid) Validate input for DELEGATECALL opcode - Data index: 84\n EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - Data index: 85\n EOF1V5450_0091 (Valid) Validate input for REVERT opcode - Data index: 86\n EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - Data index: 87\n EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - Data index: 88\n EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - Data index: 89\n EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - Data index: 90\n EOF1V5450_0096 (Valid) Functions ending with RETF - Data index: 91\n EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - Data index: 92\n EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - Data index: 93\n EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - Data index: 94\n EOF1V5450_0100 (Valid) Calling function with enough stack items: Function 1 calls Function 2 with enough parameters - Data index: 95\n EOF1V5450_0101 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 96\n EOF1V5450_0102 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 97\n EOF1V5450_0103 (Valid) Calls returning different number of outputs valid according to relaxed stack validation - Data index: 98\n EOF1V5450_0104 (Valid) Jump table with different stack heights valid according to relaxed stack validation - Data index: 99\n EOF1I5450_0001 (Invalid) Pushing loop - Data index: 100\n EOF1I5450_0002 (Invalid) Popping loop - Data index: 101\n EOF1I5450_0003 (Invalid) Stack underflow for opcode ADD - Data index: 102\n EOF1I5450_0004 (Invalid) Stack underflow for opcode MUL - Data index: 103\n EOF1I5450_0005 (Invalid) Stack underflow for opcode SUB - Data index: 104\n EOF1I5450_0006 (Invalid) Stack underflow for opcode DIV - Data index: 105\n EOF1I5450_0007 (Invalid) Stack underflow for opcode SDIV - Data index: 106\n EOF1I5450_0008 (Invalid) Stack underflow for opcode MOD - Data index: 107\n EOF1I5450_0009 (Invalid) Stack underflow for opcode SMOD - Data index: 108\n EOF1I5450_0010 (Invalid) Stack underflow for opcode ADDMOD - Data index: 109\n EOF1I5450_0011 (Invalid) Stack underflow for opcode MULMOD - Data index: 110\n EOF1I5450_0012 (Invalid) Stack underflow for opcode EXP - Data index: 111\n EOF1I5450_0013 (Invalid) Stack underflow for opcode SIGNEXTEND - Data index: 112\n EOF1I5450_0014 (Invalid) Stack underflow for opcode LT - Data index: 113\n EOF1I5450_0015 (Invalid) Stack underflow for opcode GT - Data index: 114\n EOF1I5450_0016 (Invalid) Stack underflow for opcode SLT - Data index: 115\n EOF1I5450_0017 (Invalid) Stack underflow for opcode SGT - Data index: 116\n EOF1I5450_0018 (Invalid) Stack underflow for opcode EQ - Data index: 117\n EOF1I5450_0019 (Invalid) Stack underflow for opcode ISZERO - Data index: 118\n EOF1I5450_0020 (Invalid) Stack underflow for opcode AND - Data index: 119\n EOF1I5450_0021 (Invalid) Stack underflow for opcode OR - Data index: 120\n EOF1I5450_0022 (Invalid) Stack underflow for opcode XOR - Data index: 121\n EOF1I5450_0023 (Invalid) Stack underflow for opcode NOT - Data index: 122\n EOF1I5450_0024 (Invalid) Stack underflow for opcode BYTE - Data index: 123\n EOF1I5450_0025 (Invalid) Stack underflow for opcode SHL - Data index: 124\n EOF1I5450_0026 (Invalid) Stack underflow for opcode SHR - Data index: 125\n EOF1I5450_0027 (Invalid) Stack underflow for opcode SAR - Data index: 126\n EOF1I5450_0028 (Invalid) Stack underflow for opcode SHA3 - Data index: 127\n EOF1I5450_0029 (Invalid) Stack underflow for opcode BALANCE - Data index: 128\n EOF1I5450_0030 (Invalid) Stack underflow for opcode CALLDATALOAD - Data index: 129\n EOF1I5450_0031 (Invalid) Stack underflow for opcode CALLDATACOPY - Data index: 130\n EOF1I5450_0035 (Invalid) Stack underflow for opcode RETURNDATACOPY - Data index: 131\n EOF1I5450_0037 (Invalid) Stack underflow for opcode BLOCKHASH - Data index: 132\n EOF1I5450_0038 (Invalid) Stack underflow for opcode BLOBHASH - Data index: 133\n EOF1I5450_0039 (Invalid) Stack underflow for opcode POP - Data index: 134\n EOF1I5450_0040 (Invalid) Stack underflow for opcode MLOAD - Data index: 135\n EOF1I5450_0041 (Invalid) Stack underflow for opcode MSTORE - Data index: 136\n EOF1I5450_0042 (Invalid) Stack underflow for opcode MSTORE8 - Data index: 137\n EOF1I5450_0043 (Invalid) Stack underflow for opcode SLOAD - Data index: 138\n EOF1I5450_0044 (Invalid) Stack underflow for opcode SSTORE - Data index: 139\n EOF1I5450_0045 (Invalid) Stack underflow for opcode MCOPY - Data index: 140\n EOF1I5450_0046 (Invalid) Stack underflow for opcode DUP1 - Data index: 141\n EOF1I5450_0047 (Invalid) Stack underflow for opcode DUP2 - Data index: 142\n EOF1I5450_0048 (Invalid) Stack underflow for opcode DUP3 - Data index: 143\n EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP4 - Data index: 144\n EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP5 - Data index: 145\n EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP6 - Data index: 146\n EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP7 - Data index: 147\n EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP8 - Data index: 148\n EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP9 - Data index: 149\n EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP10 - Data index: 150\n EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP11 - Data index: 151\n EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP12 - Data index: 152\n EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP13 - Data index: 153\n EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP14 - Data index: 154\n EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP15 - Data index: 155\n EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP16 - Data index: 156\n EOF1I5450_0062 (Invalid) Stack underflow for opcode SWAP1 - Data index: 157\n EOF1I5450_0063 (Invalid) Stack underflow for opcode SWAP2 - Data index: 158\n EOF1I5450_0064 (Invalid) Stack underflow for opcode SWAP3 - Data index: 159\n EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP4 - Data index: 160\n EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP5 - Data index: 161\n EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP6 - Data index: 162\n EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP7 - Data index: 163\n EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP8 - Data index: 164\n EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP9 - Data index: 165\n EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP10 - Data index: 166\n EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP11 - Data index: 167\n EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP12 - Data index: 168\n EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP13 - Data index: 169\n EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP14 - Data index: 170\n EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP15 - Data index: 171\n EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP16 - Data index: 172\n EOF1I5450_0078 (Invalid) Stack underflow for opcode LOG0 - Data index: 173\n EOF1I5450_0079 (Invalid) Stack underflow for opcode LOG1 - Data index: 174\n EOF1I5450_0080 (Invalid) Stack underflow for opcode LOG2 - Data index: 175\n EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG3 - Data index: 176\n EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG4 - Data index: 177\n EOF1I5450_0083 (Invalid) Stack underflow for opcode CALL - Data index: 178\n EOF1I5450_0084 (Invalid) Stack underflow for opcode RETURN - Data index: 179\n EOF1I5450_0085 (Invalid) Stack underflow for opcode DELEGATECALL - Data index: 180\n EOF1I5450_0086 (Invalid) Stack underflow for opcode STATICCALL - Data index: 181\n EOF1I5450_0087 (Invalid) Stack underflow for opcode REVERT - Data index: 182\n EOF1I5450_0088 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - Data index: 183\n EOF1I5450_0089 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - Data index: 184\n EOF1I5450_0090 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - Data index: 185\n EOF1I5450_0091 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - Data index: 186\n EOF1I5450_0092 (Invalid) Function ending with non-terminating instruction (a) - Data index: 187\n EOF1I5450_0093 (Invalid) Function ending with non-terminating instruction (b) - Data index: 188\n EOF1I5450_0094 (Invalid) Function ending with non-terminating instruction (c) - Data index: 189\n EOF1I5450_0095 (Invalid) Function containing unreachable code after RETURN - Data index: 190\n EOF1I5450_0096 (Invalid) Function containing unreachable code after REVERT - Data index: 191\n EOF1I5450_0097 (Invalid) Unreachable code after RJUMP - Data index: 192\n EOF1I5450_0098 (Invalid) Unreachable code after infinite loop - Data index: 193\n", + "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.b799e876.dirty", + "filling-tool-version" : "retesteth-0.3.2-cancun+commit.0abe77bb.Linux.g++", + "generatedTestHash" : "d30a9264587383f62fd63d336cf86519c769828c5ae568a6b0fa7a1875cf0a56", + "lllcversion" : "Error getting LLLC Version", + "solidity" : "Version: 0.8.24+commit.e11b9ed9.Linux.g++", "source" : "src/EOFTestsFiller/EIP5450/validInvalidFiller.yml", - "sourceHash" : "10f981cd7e7564f42a8d3ab4dd1cf401a95e06d254c75b4903a189553c1e4ad4" + "sourceHash" : "700cea10756d1121c90f98bdd9d4b31106e5acde7058eb544e70523a17bda600" }, "vectors" : { "validInvalid_0" : { @@ -36,57 +36,61 @@ } }, "validInvalid_100" : { - "code" : "0xef0001010004020001000a04000000008000026000e100026001600200", + "code" : "0xef0001010004020001000504000000008000016000e0fffb", "results" : { "Prague" : { - "result" : true + "exception" : "EOF_ConflictingStackHeight", + "result" : false } } }, "validInvalid_101" : { - "code" : "0xef0001010004020001000f04000000008000026000e100056001e000046002600300", + "code" : "0xef0001010004020001000804000000008000036000808050e0fffc", "results" : { "Prague" : { - "result" : true + "exception" : "EOF_ConflictingStackHeight", + "result" : false } } }, "validInvalid_102" : { - "code" : "0xef000101000c020003000f00030004040000000080000200010001000200026000e10006e30001e00003e30002006001e4600180e4", + "code" : "0xef00010100040200010004040000000080000160010100", "results" : { "Prague" : { - "result" : true + "exception" : "EOF_StackUnderflow", + "result" : false } } }, "validInvalid_103" : { - "code" : "0xef0001010004020001001b04000000008000036000e2010005000c6001e0000d60026003e0000660036004600500", + "code" : "0xef00010100040200010004040000000080000160010200", "results" : { "Prague" : { - "result" : true + "exception" : "EOF_StackUnderflow", + "result" : false } } }, "validInvalid_104" : { - "code" : "0xef0001010004020001000504000000008000016000e0fffb", + "code" : "0xef00010100040200010004040000000080000160010300", "results" : { "Prague" : { - "exception" : "EOF_ConflictingStackHeight", + "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_105" : { - "code" : "0xef0001010004020001000804000000008000036000808050e0fffc", + "code" : "0xef00010100040200010004040000000080000160010400", "results" : { "Prague" : { - "exception" : "EOF_ConflictingStackHeight", + "exception" : "EOF_StackUnderflow", "result" : false } } }, "validInvalid_106" : { - "code" : "0xef00010100040200010004040000000080000160010100", + "code" : "0xef00010100040200010004040000000080000160010500", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -95,7 +99,7 @@ } }, "validInvalid_107" : { - "code" : "0xef00010100040200010004040000000080000160010200", + "code" : "0xef00010100040200010004040000000080000160010600", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -104,7 +108,7 @@ } }, "validInvalid_108" : { - "code" : "0xef00010100040200010004040000000080000160010300", + "code" : "0xef00010100040200010004040000000080000160010700", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -113,7 +117,7 @@ } }, "validInvalid_109" : { - "code" : "0xef00010100040200010004040000000080000160010400", + "code" : "0xef000101000402000100060400000000800002600160010800", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -130,7 +134,7 @@ } }, "validInvalid_110" : { - "code" : "0xef00010100040200010004040000000080000160010500", + "code" : "0xef000101000402000100060400000000800002600160010900", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -139,7 +143,7 @@ } }, "validInvalid_111" : { - "code" : "0xef00010100040200010004040000000080000160010600", + "code" : "0xef00010100040200010004040000000080000160010a00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -148,7 +152,7 @@ } }, "validInvalid_112" : { - "code" : "0xef00010100040200010004040000000080000160010700", + "code" : "0xef00010100040200010004040000000080000160010b00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -157,7 +161,7 @@ } }, "validInvalid_113" : { - "code" : "0xef000101000402000100060400000000800002600160010800", + "code" : "0xef00010100040200010004040000000080000160011000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -166,7 +170,7 @@ } }, "validInvalid_114" : { - "code" : "0xef000101000402000100060400000000800002600160010900", + "code" : "0xef00010100040200010004040000000080000160011100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -175,7 +179,7 @@ } }, "validInvalid_115" : { - "code" : "0xef00010100040200010004040000000080000160010a00", + "code" : "0xef00010100040200010004040000000080000160011200", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -184,7 +188,7 @@ } }, "validInvalid_116" : { - "code" : "0xef00010100040200010004040000000080000160010b00", + "code" : "0xef00010100040200010004040000000080000160011300", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -193,7 +197,7 @@ } }, "validInvalid_117" : { - "code" : "0xef00010100040200010004040000000080000160011000", + "code" : "0xef00010100040200010004040000000080000160011400", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -202,7 +206,7 @@ } }, "validInvalid_118" : { - "code" : "0xef00010100040200010004040000000080000160011100", + "code" : "0xef0001010004020001000204000000008000001500", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -211,7 +215,7 @@ } }, "validInvalid_119" : { - "code" : "0xef00010100040200010004040000000080000160011200", + "code" : "0xef00010100040200010004040000000080000160011600", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -228,7 +232,7 @@ } }, "validInvalid_120" : { - "code" : "0xef00010100040200010004040000000080000160011300", + "code" : "0xef00010100040200010004040000000080000160011700", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -237,7 +241,7 @@ } }, "validInvalid_121" : { - "code" : "0xef00010100040200010004040000000080000160011400", + "code" : "0xef00010100040200010004040000000080000160011800", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -246,7 +250,7 @@ } }, "validInvalid_122" : { - "code" : "0xef0001010004020001000204000000008000001500", + "code" : "0xef0001010004020001000204000000008000001900", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -255,7 +259,7 @@ } }, "validInvalid_123" : { - "code" : "0xef00010100040200010004040000000080000160011600", + "code" : "0xef00010100040200010004040000000080000160011a00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -264,7 +268,7 @@ } }, "validInvalid_124" : { - "code" : "0xef00010100040200010004040000000080000160011700", + "code" : "0xef00010100040200010004040000000080000160011b00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -273,7 +277,7 @@ } }, "validInvalid_125" : { - "code" : "0xef00010100040200010004040000000080000160011800", + "code" : "0xef00010100040200010004040000000080000160011c00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -282,7 +286,7 @@ } }, "validInvalid_126" : { - "code" : "0xef0001010004020001000204000000008000001900", + "code" : "0xef00010100040200010004040000000080000160011d00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -291,7 +295,7 @@ } }, "validInvalid_127" : { - "code" : "0xef00010100040200010004040000000080000160011a00", + "code" : "0xef00010100040200010004040000000080000160012000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -300,7 +304,7 @@ } }, "validInvalid_128" : { - "code" : "0xef00010100040200010004040000000080000160011b00", + "code" : "0xef0001010004020001000204000000008000003100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -309,7 +313,7 @@ } }, "validInvalid_129" : { - "code" : "0xef00010100040200010004040000000080000160011c00", + "code" : "0xef0001010004020001000204000000008000003500", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -326,7 +330,7 @@ } }, "validInvalid_130" : { - "code" : "0xef00010100040200010004040000000080000160011d00", + "code" : "0xef000101000402000100060400000000800002600160013700", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -335,7 +339,7 @@ } }, "validInvalid_131" : { - "code" : "0xef00010100040200010004040000000080000160012000", + "code" : "0xef000101000402000100060400000000800002600160013e00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -344,7 +348,7 @@ } }, "validInvalid_132" : { - "code" : "0xef0001010004020001000204000000008000003100", + "code" : "0xef0001010004020001000204000000008000004000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -353,7 +357,7 @@ } }, "validInvalid_133" : { - "code" : "0xef0001010004020001000204000000008000003500", + "code" : "0xef0001010004020001000204000000008000004900", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -362,7 +366,7 @@ } }, "validInvalid_134" : { - "code" : "0xef000101000402000100060400000000800002600160013700", + "code" : "0xef0001010004020001000204000000008000005000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -371,7 +375,7 @@ } }, "validInvalid_135" : { - "code" : "0xef000101000402000100060400000000800002600160013900", + "code" : "0xef0001010004020001000204000000008000005100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -380,7 +384,7 @@ } }, "validInvalid_136" : { - "code" : "0xef0001010004020001000204000000008000003b00", + "code" : "0xef00010100040200010004040000000080000160015200", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -389,7 +393,7 @@ } }, "validInvalid_137" : { - "code" : "0xef0001010004020001000804000000008000036001600160013c00", + "code" : "0xef00010100040200010004040000000080000160015300", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -398,7 +402,7 @@ } }, "validInvalid_138" : { - "code" : "0xef000101000402000100060400000000800002600160013e00", + "code" : "0xef0001010004020001000204000000008000005400", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -407,7 +411,7 @@ } }, "validInvalid_139" : { - "code" : "0xef0001010004020001000204000000008000003f00", + "code" : "0xef00010100040200010004040000000080000160015500", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -424,7 +428,7 @@ } }, "validInvalid_140" : { - "code" : "0xef0001010004020001000204000000008000004000", + "code" : "0xef000101000402000100060400000000800002600160015e00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -433,7 +437,7 @@ } }, "validInvalid_141" : { - "code" : "0xef0001010004020001000204000000008000004900", + "code" : "0xef0001010004020001000204000000008000018000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -442,7 +446,7 @@ } }, "validInvalid_142" : { - "code" : "0xef0001010004020001000204000000008000005000", + "code" : "0xef00010100040200010004040000000080000260018100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -451,7 +455,7 @@ } }, "validInvalid_143" : { - "code" : "0xef0001010004020001000204000000008000005100", + "code" : "0xef000101000402000100060400000000800003600160018200", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -460,7 +464,7 @@ } }, "validInvalid_144" : { - "code" : "0xef00010100040200010004040000000080000160015200", + "code" : "0xef0001010004020001000804000000008000046001600160018300", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -469,7 +473,7 @@ } }, "validInvalid_145" : { - "code" : "0xef00010100040200010004040000000080000160015300", + "code" : "0xef0001010004020001000a040000000080000560016001600160018400", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -478,7 +482,7 @@ } }, "validInvalid_146" : { - "code" : "0xef0001010004020001000204000000008000005400", + "code" : "0xef0001010004020001000c0400000000800006600160016001600160018500", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -487,7 +491,7 @@ } }, "validInvalid_147" : { - "code" : "0xef00010100040200010004040000000080000160015500", + "code" : "0xef0001010004020001000e04000000008000076001600160016001600160018600", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -496,7 +500,7 @@ } }, "validInvalid_148" : { - "code" : "0xef000101000402000100060400000000800002600160015e00", + "code" : "0xef00010100040200010010040000000080000860016001600160016001600160018700", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -505,7 +509,7 @@ } }, "validInvalid_149" : { - "code" : "0xef0001010004020001000204000000008000018000", + "code" : "0xef000101000402000100120400000000800009600160016001600160016001600160018800", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -522,7 +526,7 @@ } }, "validInvalid_150" : { - "code" : "0xef00010100040200010004040000000080000260018100", + "code" : "0xef00010100040200010014040000000080000a6001600160016001600160016001600160018900", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -531,7 +535,7 @@ } }, "validInvalid_151" : { - "code" : "0xef000101000402000100060400000000800003600160018200", + "code" : "0xef00010100040200010016040000000080000b60016001600160016001600160016001600160018a00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -540,7 +544,7 @@ } }, "validInvalid_152" : { - "code" : "0xef0001010004020001000804000000008000046001600160018300", + "code" : "0xef00010100040200010018040000000080000c600160016001600160016001600160016001600160018b00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -549,7 +553,7 @@ } }, "validInvalid_153" : { - "code" : "0xef0001010004020001000a040000000080000560016001600160018400", + "code" : "0xef0001010004020001001a040000000080000d6001600160016001600160016001600160016001600160018c00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -558,7 +562,7 @@ } }, "validInvalid_154" : { - "code" : "0xef0001010004020001000c0400000000800006600160016001600160018500", + "code" : "0xef0001010004020001001c040000000080000e60016001600160016001600160016001600160016001600160018d00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -567,7 +571,7 @@ } }, "validInvalid_155" : { - "code" : "0xef0001010004020001000e04000000008000076001600160016001600160018600", + "code" : "0xef0001010004020001001e040000000080000f600160016001600160016001600160016001600160016001600160018e00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -576,7 +580,7 @@ } }, "validInvalid_156" : { - "code" : "0xef00010100040200010010040000000080000860016001600160016001600160018700", + "code" : "0xef0001010004020001002004000000008000106001600160016001600160016001600160016001600160016001600160018f00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -585,7 +589,7 @@ } }, "validInvalid_157" : { - "code" : "0xef000101000402000100120400000000800009600160016001600160016001600160018800", + "code" : "0xef00010100040200010004040000000080000160019000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -594,7 +598,7 @@ } }, "validInvalid_158" : { - "code" : "0xef00010100040200010014040000000080000a6001600160016001600160016001600160018900", + "code" : "0xef000101000402000100060400000000800002600160019100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -603,7 +607,7 @@ } }, "validInvalid_159" : { - "code" : "0xef00010100040200010016040000000080000b60016001600160016001600160016001600160018a00", + "code" : "0xef0001010004020001000804000000008000036001600160019200", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -620,7 +624,7 @@ } }, "validInvalid_160" : { - "code" : "0xef00010100040200010018040000000080000c600160016001600160016001600160016001600160018b00", + "code" : "0xef0001010004020001000a040000000080000460016001600160019300", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -629,7 +633,7 @@ } }, "validInvalid_161" : { - "code" : "0xef0001010004020001001a040000000080000d6001600160016001600160016001600160016001600160018c00", + "code" : "0xef0001010004020001000c0400000000800005600160016001600160019400", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -638,7 +642,7 @@ } }, "validInvalid_162" : { - "code" : "0xef0001010004020001001c040000000080000e60016001600160016001600160016001600160016001600160018d00", + "code" : "0xef0001010004020001000e04000000008000066001600160016001600160019500", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -647,7 +651,7 @@ } }, "validInvalid_163" : { - "code" : "0xef0001010004020001001e040000000080000f600160016001600160016001600160016001600160016001600160018e00", + "code" : "0xef00010100040200010010040000000080000760016001600160016001600160019600", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -656,7 +660,7 @@ } }, "validInvalid_164" : { - "code" : "0xef0001010004020001002004000000008000106001600160016001600160016001600160016001600160016001600160018f00", + "code" : "0xef000101000402000100120400000000800008600160016001600160016001600160019700", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -665,7 +669,7 @@ } }, "validInvalid_165" : { - "code" : "0xef00010100040200010004040000000080000160019000", + "code" : "0xef0001010004020001001404000000008000096001600160016001600160016001600160019800", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -674,7 +678,7 @@ } }, "validInvalid_166" : { - "code" : "0xef000101000402000100060400000000800002600160019100", + "code" : "0xef00010100040200010016040000000080000a60016001600160016001600160016001600160019900", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -683,7 +687,7 @@ } }, "validInvalid_167" : { - "code" : "0xef0001010004020001000804000000008000036001600160019200", + "code" : "0xef00010100040200010018040000000080000b600160016001600160016001600160016001600160019a00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -692,7 +696,7 @@ } }, "validInvalid_168" : { - "code" : "0xef0001010004020001000a040000000080000460016001600160019300", + "code" : "0xef0001010004020001001a040000000080000c6001600160016001600160016001600160016001600160019b00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -701,7 +705,7 @@ } }, "validInvalid_169" : { - "code" : "0xef0001010004020001000c0400000000800005600160016001600160019400", + "code" : "0xef0001010004020001001c040000000080000d60016001600160016001600160016001600160016001600160019c00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -718,7 +722,7 @@ } }, "validInvalid_170" : { - "code" : "0xef0001010004020001000e04000000008000066001600160016001600160019500", + "code" : "0xef0001010004020001001e040000000080000e600160016001600160016001600160016001600160016001600160019d00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -727,7 +731,7 @@ } }, "validInvalid_171" : { - "code" : "0xef00010100040200010010040000000080000760016001600160016001600160019600", + "code" : "0xef00010100040200010020040000000080000f6001600160016001600160016001600160016001600160016001600160019e00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -736,7 +740,7 @@ } }, "validInvalid_172" : { - "code" : "0xef000101000402000100120400000000800008600160016001600160016001600160019700", + "code" : "0xef00010100040200010022040000000080001060016001600160016001600160016001600160016001600160016001600160019f00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -745,7 +749,7 @@ } }, "validInvalid_173" : { - "code" : "0xef0001010004020001001404000000008000096001600160016001600160016001600160019800", + "code" : "0xef0001010004020001000404000000008000016001a000", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -754,7 +758,7 @@ } }, "validInvalid_174" : { - "code" : "0xef00010100040200010016040000000080000a60016001600160016001600160016001600160019900", + "code" : "0xef00010100040200010006040000000080000260016001a100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -763,7 +767,7 @@ } }, "validInvalid_175" : { - "code" : "0xef00010100040200010018040000000080000b600160016001600160016001600160016001600160019a00", + "code" : "0xef000101000402000100080400000000800003600160016001a200", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -772,7 +776,7 @@ } }, "validInvalid_176" : { - "code" : "0xef0001010004020001001a040000000080000c6001600160016001600160016001600160016001600160019b00", + "code" : "0xef0001010004020001000a04000000008000046001600160016001a300", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -781,7 +785,7 @@ } }, "validInvalid_177" : { - "code" : "0xef0001010004020001001c040000000080000d60016001600160016001600160016001600160016001600160019c00", + "code" : "0xef0001010004020001000c040000000080000560016001600160016001a400", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -790,7 +794,7 @@ } }, "validInvalid_178" : { - "code" : "0xef0001010004020001001e040000000080000e600160016001600160016001600160016001600160016001600160019d00", + "code" : "0xef0001010004020001000e0400000000800006600160016001600160016001f100", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -799,7 +803,7 @@ } }, "validInvalid_179" : { - "code" : "0xef00010100040200010020040000000080000f6001600160016001600160016001600160016001600160016001600160019e00", + "code" : "0xef0001010004020001000304000000008000016001f3", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -816,7 +820,7 @@ } }, "validInvalid_180" : { - "code" : "0xef00010100040200010022040000000080001060016001600160016001600160016001600160016001600160016001600160019f00", + "code" : "0xef0001010004020001000c040000000080000560016001600160016001f400", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -825,7 +829,7 @@ } }, "validInvalid_181" : { - "code" : "0xef0001010004020001000404000000008000016001a000", + "code" : "0xef0001010004020001000c040000000080000560016001600160016001fa00", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -834,7 +838,7 @@ } }, "validInvalid_182" : { - "code" : "0xef00010100040200010006040000000080000260016001a100", + "code" : "0xef0001010004020001000304000000008000016001fd", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -843,7 +847,7 @@ } }, "validInvalid_183" : { - "code" : "0xef000101000402000100080400000000800003600160016001a200", + "code" : "0xef000101000c02000300040007000304000000008000000100000302000002e3000100600080e30002e45050e4", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -852,7 +856,7 @@ } }, "validInvalid_184" : { - "code" : "0xef0001010004020001000a04000000008000046001600160016001a300", + "code" : "0xef000101000c02000300040006000604000000008000000100000202800002e30001006000e30002e45050e30003e4", "results" : { "Prague" : { "exception" : "EOF_StackUnderflow", @@ -861,46 +865,46 @@ } }, "validInvalid_185" : { - "code" : "0xef0001010004020001000c040000000080000560016001600160016001a400", + "code" : "0xef0001010004020001080004000000008004006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_MaxStackHeightExceeded", "result" : false } } }, "validInvalid_186" : { - "code" : "0xef0001010004020001000e0400000000800006600160016001600160016001f100", + "code" : "0xef000101000802000207fb000b040000000080040100050005600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000e3000160006000600060006000e4", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_MaxStackHeightExceeded", "result" : false } } }, "validInvalid_187" : { - "code" : "0xef0001010004020001000304000000008000016001f3", + "code" : "0xef0001010004020001000204000000008000016000", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_188" : { - "code" : "0xef0001010004020001000c040000000080000560016001600160016001f400", + "code" : "0xef0001010004020001000704000000008000016000e10001005b", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_InvalidCodeTermination", "result" : false } } }, "validInvalid_189" : { - "code" : "0xef0001010004020001000c040000000080000560016001600160016001fa00", + "code" : "0xef0001010004020001000b04000000008000016000e20100010002fe005b", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_InvalidCodeTermination", "result" : false } } @@ -914,79 +918,25 @@ } }, "validInvalid_190" : { - "code" : "0xef0001010004020001000304000000008000016001fd", + "code" : "0xef00010100040200010006040000000080000260006000f300", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_UnreachableCode", "result" : false } } }, "validInvalid_191" : { - "code" : "0xef000101000c02000300040007000304000000008000000100000302000002e3000100600080e30002e45050e4", + "code" : "0xef00010100040200010006040000000080000260006000fd00", "results" : { "Prague" : { - "exception" : "EOF_StackUnderflow", + "exception" : "EOF_UnreachableCode", "result" : false } } }, "validInvalid_192" : { - "code" : "0xef000101000c02000300040006000604000000008000000100000202800002e30001006000e30002e45050e30003e4", - "results" : { - "Prague" : { - "exception" : "EOF_StackUnderflow", - "result" : false - } - } - }, - "validInvalid_193" : { - "code" : "0xef0001010004020001080004000000008004006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000", - "results" : { - "Prague" : { - "exception" : "EOF_MaxStackHeightExceeded", - "result" : false - } - } - }, - "validInvalid_194" : { - "code" : "0xef000101000802000207fb000b040000000080040100050005600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000e3000160006000600060006000e4", - "results" : { - "Prague" : { - "exception" : "EOF_MaxStackHeightExceeded", - "result" : false - } - } - }, - "validInvalid_195" : { - "code" : "0xef0001010004020001000204000000008000016000", - "results" : { - "Prague" : { - "exception" : "EOF_InvalidCodeTermination", - "result" : false - } - } - }, - "validInvalid_196" : { - "code" : "0xef0001010004020001000704000000008000016000e10001005b", - "results" : { - "Prague" : { - "exception" : "EOF_InvalidCodeTermination", - "result" : false - } - } - }, - "validInvalid_197" : { - "code" : "0xef0001010004020001000b04000000008000016000e20100010002fe005b", - "results" : { - "Prague" : { - "exception" : "EOF_InvalidCodeTermination", - "result" : false - } - } - }, - "validInvalid_198" : { - "code" : "0xef00010100040200010006040000000080000260006000f300", + "code" : "0xef000101000402000100080400000000800001e000026000600000", "results" : { "Prague" : { "exception" : "EOF_UnreachableCode", @@ -994,8 +944,8 @@ } } }, - "validInvalid_199" : { - "code" : "0xef00010100040200010006040000000080000260006000fd00", + "validInvalid_193" : { + "code" : "0xef0001010004020001000c0400000000800001e000026000600050e0fffa00", "results" : { "Prague" : { "exception" : "EOF_UnreachableCode", @@ -1019,24 +969,6 @@ } } }, - "validInvalid_200" : { - "code" : "0xef000101000402000100080400000000800001e000026000600000", - "results" : { - "Prague" : { - "exception" : "EOF_UnreachableCode", - "result" : false - } - } - }, - "validInvalid_201" : { - "code" : "0xef0001010004020001000c0400000000800001e000026000600050e0fffa00", - "results" : { - "Prague" : { - "exception" : "EOF_UnreachableCode", - "result" : false - } - } - }, "validInvalid_21" : { "code" : "0xef0001010004020001000504000000008000026001801400", "results" : { @@ -1158,7 +1090,7 @@ } }, "validInvalid_35" : { - "code" : "0xef000101000402000100060400000000800003600180803900", + "code" : "0xef000101000402000100060400000000800003600180803e00", "results" : { "Prague" : { "result" : true @@ -1166,7 +1098,7 @@ } }, "validInvalid_36" : { - "code" : "0xef00010100040200010004040000000080000160013b00", + "code" : "0xef00010100040200010004040000000080000160014000", "results" : { "Prague" : { "result" : true @@ -1174,7 +1106,7 @@ } }, "validInvalid_37" : { - "code" : "0xef00010100040200010007040000000080000460018080803c00", + "code" : "0xef00010100040200010004040000000080000160014900", "results" : { "Prague" : { "result" : true @@ -1182,7 +1114,7 @@ } }, "validInvalid_38" : { - "code" : "0xef000101000402000100060400000000800003600180803e00", + "code" : "0xef00010100040200010004040000000080000160015000", "results" : { "Prague" : { "result" : true @@ -1190,7 +1122,7 @@ } }, "validInvalid_39" : { - "code" : "0xef00010100040200010004040000000080000160013f00", + "code" : "0xef00010100040200010004040000000080000160015100", "results" : { "Prague" : { "result" : true @@ -1198,7 +1130,7 @@ } }, "validInvalid_4" : { - "code" : "0xef000101000c020003000f00020002040000000080000100010001000100016000e10006e30001e00003e300020030e438e4", + "code" : "0xef000101000c020003000f00020002040000000080000100010001000100016000e10006e30001e00003e300020030e43de4", "results" : { "Prague" : { "result" : true @@ -1206,7 +1138,7 @@ } }, "validInvalid_40" : { - "code" : "0xef00010100040200010004040000000080000160014000", + "code" : "0xef0001010004020001000504000000008000026001805200", "results" : { "Prague" : { "result" : true @@ -1214,7 +1146,7 @@ } }, "validInvalid_41" : { - "code" : "0xef00010100040200010004040000000080000160014900", + "code" : "0xef0001010004020001000504000000008000026001805300", "results" : { "Prague" : { "result" : true @@ -1222,7 +1154,7 @@ } }, "validInvalid_42" : { - "code" : "0xef00010100040200010004040000000080000160015000", + "code" : "0xef00010100040200010004040000000080000160015400", "results" : { "Prague" : { "result" : true @@ -1230,7 +1162,7 @@ } }, "validInvalid_43" : { - "code" : "0xef00010100040200010004040000000080000160015100", + "code" : "0xef0001010004020001000504000000008000026001805500", "results" : { "Prague" : { "result" : true @@ -1238,7 +1170,7 @@ } }, "validInvalid_44" : { - "code" : "0xef0001010004020001000504000000008000026001805200", + "code" : "0xef000101000402000100060400000000800003600180805e00", "results" : { "Prague" : { "result" : true @@ -1246,7 +1178,7 @@ } }, "validInvalid_45" : { - "code" : "0xef0001010004020001000504000000008000026001805300", + "code" : "0xef00010100040200010004040000000080000260018000", "results" : { "Prague" : { "result" : true @@ -1254,7 +1186,7 @@ } }, "validInvalid_46" : { - "code" : "0xef00010100040200010004040000000080000160015400", + "code" : "0xef0001010004020001000504000000008000036001808100", "results" : { "Prague" : { "result" : true @@ -1262,7 +1194,7 @@ } }, "validInvalid_47" : { - "code" : "0xef0001010004020001000504000000008000026001805500", + "code" : "0xef000101000402000100060400000000800004600180808200", "results" : { "Prague" : { "result" : true @@ -1270,7 +1202,7 @@ } }, "validInvalid_48" : { - "code" : "0xef000101000402000100060400000000800003600180805e00", + "code" : "0xef00010100040200010007040000000080000560018080808300", "results" : { "Prague" : { "result" : true @@ -1278,7 +1210,7 @@ } }, "validInvalid_49" : { - "code" : "0xef00010100040200010004040000000080000260018000", + "code" : "0xef0001010004020001000804000000008000066001808080808400", "results" : { "Prague" : { "result" : true @@ -1294,7 +1226,7 @@ } }, "validInvalid_50" : { - "code" : "0xef0001010004020001000504000000008000036001808100", + "code" : "0xef000101000402000100090400000000800007600180808080808500", "results" : { "Prague" : { "result" : true @@ -1302,7 +1234,7 @@ } }, "validInvalid_51" : { - "code" : "0xef000101000402000100060400000000800004600180808200", + "code" : "0xef0001010004020001000a040000000080000860018080808080808600", "results" : { "Prague" : { "result" : true @@ -1310,7 +1242,7 @@ } }, "validInvalid_52" : { - "code" : "0xef00010100040200010007040000000080000560018080808300", + "code" : "0xef0001010004020001000b04000000008000096001808080808080808700", "results" : { "Prague" : { "result" : true @@ -1318,7 +1250,7 @@ } }, "validInvalid_53" : { - "code" : "0xef0001010004020001000804000000008000066001808080808400", + "code" : "0xef0001010004020001000c040000000080000a600180808080808080808800", "results" : { "Prague" : { "result" : true @@ -1326,7 +1258,7 @@ } }, "validInvalid_54" : { - "code" : "0xef000101000402000100090400000000800007600180808080808500", + "code" : "0xef0001010004020001000d040000000080000b60018080808080808080808900", "results" : { "Prague" : { "result" : true @@ -1334,7 +1266,7 @@ } }, "validInvalid_55" : { - "code" : "0xef0001010004020001000a040000000080000860018080808080808600", + "code" : "0xef0001010004020001000e040000000080000c6001808080808080808080808a00", "results" : { "Prague" : { "result" : true @@ -1342,7 +1274,7 @@ } }, "validInvalid_56" : { - "code" : "0xef0001010004020001000b04000000008000096001808080808080808700", + "code" : "0xef0001010004020001000f040000000080000d600180808080808080808080808b00", "results" : { "Prague" : { "result" : true @@ -1350,7 +1282,7 @@ } }, "validInvalid_57" : { - "code" : "0xef0001010004020001000c040000000080000a600180808080808080808800", + "code" : "0xef00010100040200010010040000000080000e60018080808080808080808080808c00", "results" : { "Prague" : { "result" : true @@ -1358,7 +1290,7 @@ } }, "validInvalid_58" : { - "code" : "0xef0001010004020001000d040000000080000b60018080808080808080808900", + "code" : "0xef00010100040200010011040000000080000f6001808080808080808080808080808d00", "results" : { "Prague" : { "result" : true @@ -1366,7 +1298,7 @@ } }, "validInvalid_59" : { - "code" : "0xef0001010004020001000e040000000080000c6001808080808080808080808a00", + "code" : "0xef000101000402000100120400000000800010600180808080808080808080808080808e00", "results" : { "Prague" : { "result" : true @@ -1382,7 +1314,7 @@ } }, "validInvalid_60" : { - "code" : "0xef0001010004020001000f040000000080000d600180808080808080808080808b00", + "code" : "0xef00010100040200010013040000000080001160018080808080808080808080808080808f00", "results" : { "Prague" : { "result" : true @@ -1390,7 +1322,7 @@ } }, "validInvalid_61" : { - "code" : "0xef00010100040200010010040000000080000e60018080808080808080808080808c00", + "code" : "0xef0001010004020001000504000000008000026001809000", "results" : { "Prague" : { "result" : true @@ -1398,7 +1330,7 @@ } }, "validInvalid_62" : { - "code" : "0xef00010100040200010011040000000080000f6001808080808080808080808080808d00", + "code" : "0xef000101000402000100060400000000800003600180809100", "results" : { "Prague" : { "result" : true @@ -1406,7 +1338,7 @@ } }, "validInvalid_63" : { - "code" : "0xef000101000402000100120400000000800010600180808080808080808080808080808e00", + "code" : "0xef00010100040200010007040000000080000460018080809200", "results" : { "Prague" : { "result" : true @@ -1414,7 +1346,7 @@ } }, "validInvalid_64" : { - "code" : "0xef00010100040200010013040000000080001160018080808080808080808080808080808f00", + "code" : "0xef0001010004020001000804000000008000056001808080809300", "results" : { "Prague" : { "result" : true @@ -1422,7 +1354,7 @@ } }, "validInvalid_65" : { - "code" : "0xef0001010004020001000504000000008000026001809000", + "code" : "0xef000101000402000100090400000000800006600180808080809400", "results" : { "Prague" : { "result" : true @@ -1430,7 +1362,7 @@ } }, "validInvalid_66" : { - "code" : "0xef000101000402000100060400000000800003600180809100", + "code" : "0xef0001010004020001000a040000000080000760018080808080809500", "results" : { "Prague" : { "result" : true @@ -1438,7 +1370,7 @@ } }, "validInvalid_67" : { - "code" : "0xef00010100040200010007040000000080000460018080809200", + "code" : "0xef0001010004020001000b04000000008000086001808080808080809600", "results" : { "Prague" : { "result" : true @@ -1446,7 +1378,7 @@ } }, "validInvalid_68" : { - "code" : "0xef0001010004020001000804000000008000056001808080809300", + "code" : "0xef0001010004020001000c0400000000800009600180808080808080809700", "results" : { "Prague" : { "result" : true @@ -1454,7 +1386,7 @@ } }, "validInvalid_69" : { - "code" : "0xef000101000402000100090400000000800006600180808080809400", + "code" : "0xef0001010004020001000d040000000080000a60018080808080808080809800", "results" : { "Prague" : { "result" : true @@ -1470,7 +1402,7 @@ } }, "validInvalid_70" : { - "code" : "0xef0001010004020001000a040000000080000760018080808080809500", + "code" : "0xef0001010004020001000e040000000080000b6001808080808080808080809900", "results" : { "Prague" : { "result" : true @@ -1478,7 +1410,7 @@ } }, "validInvalid_71" : { - "code" : "0xef0001010004020001000b04000000008000086001808080808080809600", + "code" : "0xef0001010004020001000f040000000080000c600180808080808080808080809a00", "results" : { "Prague" : { "result" : true @@ -1486,7 +1418,7 @@ } }, "validInvalid_72" : { - "code" : "0xef0001010004020001000c0400000000800009600180808080808080809700", + "code" : "0xef00010100040200010010040000000080000d60018080808080808080808080809b00", "results" : { "Prague" : { "result" : true @@ -1494,7 +1426,7 @@ } }, "validInvalid_73" : { - "code" : "0xef0001010004020001000d040000000080000a60018080808080808080809800", + "code" : "0xef00010100040200010011040000000080000e6001808080808080808080808080809c00", "results" : { "Prague" : { "result" : true @@ -1502,7 +1434,7 @@ } }, "validInvalid_74" : { - "code" : "0xef0001010004020001000e040000000080000b6001808080808080808080809900", + "code" : "0xef00010100040200010012040000000080000f600180808080808080808080808080809d00", "results" : { "Prague" : { "result" : true @@ -1510,7 +1442,7 @@ } }, "validInvalid_75" : { - "code" : "0xef0001010004020001000f040000000080000c600180808080808080808080809a00", + "code" : "0xef00010100040200010013040000000080001060018080808080808080808080808080809e00", "results" : { "Prague" : { "result" : true @@ -1518,7 +1450,7 @@ } }, "validInvalid_76" : { - "code" : "0xef00010100040200010010040000000080000d60018080808080808080808080809b00", + "code" : "0xef0001010004020001001404000000008000116001808080808080808080808080808080809f00", "results" : { "Prague" : { "result" : true @@ -1526,7 +1458,7 @@ } }, "validInvalid_77" : { - "code" : "0xef00010100040200010011040000000080000e6001808080808080808080808080809c00", + "code" : "0xef000101000402000100050400000000800002600180a000", "results" : { "Prague" : { "result" : true @@ -1534,7 +1466,7 @@ } }, "validInvalid_78" : { - "code" : "0xef00010100040200010012040000000080000f600180808080808080808080808080809d00", + "code" : "0xef00010100040200010006040000000080000360018080a100", "results" : { "Prague" : { "result" : true @@ -1542,7 +1474,7 @@ } }, "validInvalid_79" : { - "code" : "0xef00010100040200010013040000000080001060018080808080808080808080808080809e00", + "code" : "0xef0001010004020001000704000000008000046001808080a200", "results" : { "Prague" : { "result" : true @@ -1558,7 +1490,7 @@ } }, "validInvalid_80" : { - "code" : "0xef0001010004020001001404000000008000116001808080808080808080808080808080809f00", + "code" : "0xef000101000402000100080400000000800005600180808080a300", "results" : { "Prague" : { "result" : true @@ -1566,7 +1498,7 @@ } }, "validInvalid_81" : { - "code" : "0xef000101000402000100050400000000800002600180a000", + "code" : "0xef00010100040200010009040000000080000660018080808080a400", "results" : { "Prague" : { "result" : true @@ -1574,7 +1506,7 @@ } }, "validInvalid_82" : { - "code" : "0xef00010100040200010006040000000080000360018080a100", + "code" : "0xef0001010004020001000a04000000008000076001808080808080f100", "results" : { "Prague" : { "result" : true @@ -1582,7 +1514,7 @@ } }, "validInvalid_83" : { - "code" : "0xef0001010004020001000704000000008000046001808080a200", + "code" : "0xef000101000402000100040400000000800002600180f3", "results" : { "Prague" : { "result" : true @@ -1590,7 +1522,7 @@ } }, "validInvalid_84" : { - "code" : "0xef000101000402000100080400000000800005600180808080a300", + "code" : "0xef00010100040200010009040000000080000660018080808080f400", "results" : { "Prague" : { "result" : true @@ -1598,7 +1530,7 @@ } }, "validInvalid_85" : { - "code" : "0xef00010100040200010009040000000080000660018080808080a400", + "code" : "0xef00010100040200010009040000000080000660018080808080fa00", "results" : { "Prague" : { "result" : true @@ -1606,7 +1538,7 @@ } }, "validInvalid_86" : { - "code" : "0xef0001010004020001000a04000000008000076001808080808080f100", + "code" : "0xef000101000402000100040400000000800002600180fd", "results" : { "Prague" : { "result" : true @@ -1614,7 +1546,7 @@ } }, "validInvalid_87" : { - "code" : "0xef000101000402000100040400000000800002600180f3", + "code" : "0xef000101000402000100070400000000800002600150600080f3", "results" : { "Prague" : { "result" : true @@ -1622,7 +1554,7 @@ } }, "validInvalid_88" : { - "code" : "0xef00010100040200010009040000000080000660018080808080f400", + "code" : "0xef000101000402000100070400000000800002600150600080fd", "results" : { "Prague" : { "result" : true @@ -1630,7 +1562,7 @@ } }, "validInvalid_89" : { - "code" : "0xef00010100040200010009040000000080000660018080808080fa00", + "code" : "0xef000101000402000100030400000000800000e0fffd", "results" : { "Prague" : { "result" : true @@ -1646,7 +1578,7 @@ } }, "validInvalid_90" : { - "code" : "0xef000101000402000100040400000000800002600180fd", + "code" : "0xef0001010004020001000e0400000000800002600a6001900380e1000100e0fff4", "results" : { "Prague" : { "result" : true @@ -1654,7 +1586,7 @@ } }, "validInvalid_91" : { - "code" : "0xef000101000402000100070400000000800002600150600080f3", + "code" : "0xef000101000c020003000600060006040000000080000101010002000200026000e300010050e3000250e46000610000e4", "results" : { "Prague" : { "result" : true @@ -1662,7 +1594,7 @@ } }, "validInvalid_92" : { - "code" : "0xef000101000402000100070400000000800002600150600080fd", + "code" : "0xef000101000402000100070400000000800005600080808080f3", "results" : { "Prague" : { "result" : true @@ -1670,7 +1602,7 @@ } }, "validInvalid_93" : { - "code" : "0xef000101000402000100030400000000800000e0fffd", + "code" : "0xef000101000402000100070400000000800005600080808080fd", "results" : { "Prague" : { "result" : true @@ -1678,7 +1610,7 @@ } }, "validInvalid_94" : { - "code" : "0xef0001010004020001000e0400000000800002600a6001900380e1000100e0fff4", + "code" : "0xef000101000802000200040081040000000080007f007f007fe30001006000808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080e4", "results" : { "Prague" : { "result" : true @@ -1686,7 +1618,7 @@ } }, "validInvalid_95" : { - "code" : "0xef000101000c020003000600060006040000000080000101010002000200026000e300010050e3000250e46000610000e4", + "code" : "0xef000101000c020003000600060003040000000080000101000002020000026000e30001006000e30002e45050e4", "results" : { "Prague" : { "result" : true @@ -1694,7 +1626,7 @@ } }, "validInvalid_96" : { - "code" : "0xef000101000402000100070400000000800005600080808080f3", + "code" : "0xef0001010004020001000a04000000008000026000e100026001600200", "results" : { "Prague" : { "result" : true @@ -1702,7 +1634,7 @@ } }, "validInvalid_97" : { - "code" : "0xef000101000402000100070400000000800005600080808080fd", + "code" : "0xef0001010004020001000f04000000008000026000e100056001e000046002600300", "results" : { "Prague" : { "result" : true @@ -1710,7 +1642,7 @@ } }, "validInvalid_98" : { - "code" : "0xef000101000802000200040081040000000080007f007f007fe30001006000808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080808080e4", + "code" : "0xef000101000c020003000f00030004040000000080000200010001000200026000e10006e30001e00003e30002006001e4600180e4", "results" : { "Prague" : { "result" : true @@ -1718,7 +1650,7 @@ } }, "validInvalid_99" : { - "code" : "0xef000101000c020003000600060003040000000080000101000002020000026000e30001006000e30002e45050e4", + "code" : "0xef0001010004020001001b04000000008000036000e2010005000c6001e0000d60026003e0000660036004600500", "results" : { "Prague" : { "result" : true diff --git a/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml b/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml index c51c3f0a673..a6e2b2f8141 100644 --- a/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml +++ b/src/EOFTestsFiller/EIP5450/validInvalidFiller.yml @@ -38,179 +38,171 @@ validInvalid: EOF1V5450_0033 (Valid) Validate input for BALANCE opcode - Data index: 32 EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode - Data index: 33 EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode - Data index: 34 - EOF1V5450_0036 (Valid) Validate input for CODECOPY opcode - Data index: 35 - EOF1V5450_0037 (Valid) Validate input for EXTCODESIZE opcode - Data index: 36 - EOF1V5450_0038 (Valid) Validate input for EXTCODECOPY opcode - Data index: 37 - EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - Data index: 38 - EOF1V5450_0040 (Valid) Validate input for EXTCODEHASH opcode - Data index: 39 - EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - Data index: 40 - EOF1V5450_0042 (Valid) Validate input for BLOBHASH opcode - Data index: 41 - EOF1V5450_0043 (Valid) Validate input for POP opcode - Data index: 42 - EOF1V5450_0044 (Valid) Validate input for MLOAD opcode - Data index: 43 - EOF1V5450_0045 (Valid) Validate input for MSTORE opcode - Data index: 44 - EOF1V5450_0046 (Valid) Validate input for MSTORE8 opcode - Data index: 45 - EOF1V5450_0047 (Valid) Validate input for SLOAD opcode - Data index: 46 - EOF1V5450_0048 (Valid) Validate input for SSTORE opcode - Data index: 47 - EOF1V5450_0049 (Valid) Validate input for MCOPY opcode - Data index: 48 - EOF1V5450_0050 (Valid) Validate input for DUP1 opcode - Data index: 49 - EOF1V5450_0051 (Valid) Validate input for DUP2 opcode - Data index: 50 - EOF1V5450_0052 (Valid) Validate input for DUP3 opcode - Data index: 51 - EOF1V5450_0053 (Valid) Validate input for DUP4 opcode - Data index: 52 - EOF1V5450_0054 (Valid) Validate input for DUP5 opcode - Data index: 53 - EOF1V5450_0055 (Valid) Validate input for DUP6 opcode - Data index: 54 - EOF1V5450_0056 (Valid) Validate input for DUP7 opcode - Data index: 55 - EOF1V5450_0057 (Valid) Validate input for DUP8 opcode - Data index: 56 - EOF1V5450_0058 (Valid) Validate input for DUP9 opcode - Data index: 57 - EOF1V5450_0059 (Valid) Validate input for DUP10 opcode - Data index: 58 - EOF1V5450_0060 (Valid) Validate input for DUP11 opcode - Data index: 59 - EOF1V5450_0061 (Valid) Validate input for DUP12 opcode - Data index: 60 - EOF1V5450_0062 (Valid) Validate input for DUP13 opcode - Data index: 61 - EOF1V5450_0063 (Valid) Validate input for DUP14 opcode - Data index: 62 - EOF1V5450_0064 (Valid) Validate input for DUP15 opcode - Data index: 63 - EOF1V5450_0065 (Valid) Validate input for DUP16 opcode - Data index: 64 - EOF1V5450_0066 (Valid) Validate input for SWAP1 opcode - Data index: 65 - EOF1V5450_0067 (Valid) Validate input for SWAP2 opcode - Data index: 66 - EOF1V5450_0068 (Valid) Validate input for SWAP3 opcode - Data index: 67 - EOF1V5450_0069 (Valid) Validate input for SWAP4 opcode - Data index: 68 - EOF1V5450_0070 (Valid) Validate input for SWAP5 opcode - Data index: 69 - EOF1V5450_0071 (Valid) Validate input for SWAP6 opcode - Data index: 70 - EOF1V5450_0072 (Valid) Validate input for SWAP7 opcode - Data index: 71 - EOF1V5450_0073 (Valid) Validate input for SWAP8 opcode - Data index: 72 - EOF1V5450_0074 (Valid) Validate input for SWAP9 opcode - Data index: 73 - EOF1V5450_0075 (Valid) Validate input for SWAP10 opcode - Data index: 74 - EOF1V5450_0076 (Valid) Validate input for SWAP11 opcode - Data index: 75 - EOF1V5450_0077 (Valid) Validate input for SWAP12 opcode - Data index: 76 - EOF1V5450_0078 (Valid) Validate input for SWAP13 opcode - Data index: 77 - EOF1V5450_0079 (Valid) Validate input for SWAP14 opcode - Data index: 78 - EOF1V5450_0080 (Valid) Validate input for SWAP15 opcode - Data index: 79 - EOF1V5450_0081 (Valid) Validate input for SWAP16 opcode - Data index: 80 - EOF1V5450_0082 (Valid) Validate input for LOG0 opcode - Data index: 81 - EOF1V5450_0083 (Valid) Validate input for LOG1 opcode - Data index: 82 - EOF1V5450_0084 (Valid) Validate input for LOG2 opcode - Data index: 83 - EOF1V5450_0085 (Valid) Validate input for LOG3 opcode - Data index: 84 - EOF1V5450_0086 (Valid) Validate input for LOG4 opcode - Data index: 85 - EOF1V5450_0087 (Valid) Validate input for CALL opcode - Data index: 86 - EOF1V5450_0088 (Valid) Validate input for RETURN opcode - Data index: 87 - EOF1V5450_0089 (Valid) Validate input for DELEGATECALL opcode - Data index: 88 - EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - Data index: 89 - EOF1V5450_0091 (Valid) Validate input for REVERT opcode - Data index: 90 - EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - Data index: 91 - EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - Data index: 92 - EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - Data index: 93 - EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - Data index: 94 - EOF1V5450_0096 (Valid) Functions ending with RETF - Data index: 95 - EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - Data index: 96 - EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - Data index: 97 - EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - Data index: 98 - EOF1V5450_0100 (Valid) Calling function with enough stack items: Function 1 calls Function 2 with enough parameters - Data index: 99 - EOF1V5450_0101 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 100 - EOF1V5450_0102 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 101 - EOF1V5450_0103 (Valid) Calls returning different number of outputs valid according to relaxed stack validation - Data index: 102 - EOF1V5450_0104 (Valid) Jump table with different stack heights valid according to relaxed stack validation - Data index: 103 - EOF1I5450_0001 (Invalid) Pushing loop - Data index: 104 - EOF1I5450_0002 (Invalid) Popping loop - Data index: 105 - EOF1I5450_0003 (Invalid) Stack underflow for opcode ADD - Data index: 106 - EOF1I5450_0004 (Invalid) Stack underflow for opcode MUL - Data index: 107 - EOF1I5450_0005 (Invalid) Stack underflow for opcode SUB - Data index: 108 - EOF1I5450_0006 (Invalid) Stack underflow for opcode DIV - Data index: 109 - EOF1I5450_0007 (Invalid) Stack underflow for opcode SDIV - Data index: 110 - EOF1I5450_0008 (Invalid) Stack underflow for opcode MOD - Data index: 111 - EOF1I5450_0009 (Invalid) Stack underflow for opcode SMOD - Data index: 112 - EOF1I5450_0010 (Invalid) Stack underflow for opcode ADDMOD - Data index: 113 - EOF1I5450_0011 (Invalid) Stack underflow for opcode MULMOD - Data index: 114 - EOF1I5450_0012 (Invalid) Stack underflow for opcode EXP - Data index: 115 - EOF1I5450_0013 (Invalid) Stack underflow for opcode SIGNEXTEND - Data index: 116 - EOF1I5450_0014 (Invalid) Stack underflow for opcode LT - Data index: 117 - EOF1I5450_0015 (Invalid) Stack underflow for opcode GT - Data index: 118 - EOF1I5450_0016 (Invalid) Stack underflow for opcode SLT - Data index: 119 - EOF1I5450_0017 (Invalid) Stack underflow for opcode SGT - Data index: 120 - EOF1I5450_0018 (Invalid) Stack underflow for opcode EQ - Data index: 121 - EOF1I5450_0019 (Invalid) Stack underflow for opcode ISZERO - Data index: 122 - EOF1I5450_0020 (Invalid) Stack underflow for opcode AND - Data index: 123 - EOF1I5450_0021 (Invalid) Stack underflow for opcode OR - Data index: 124 - EOF1I5450_0022 (Invalid) Stack underflow for opcode XOR - Data index: 125 - EOF1I5450_0023 (Invalid) Stack underflow for opcode NOT - Data index: 126 - EOF1I5450_0024 (Invalid) Stack underflow for opcode BYTE - Data index: 127 - EOF1I5450_0025 (Invalid) Stack underflow for opcode SHL - Data index: 128 - EOF1I5450_0026 (Invalid) Stack underflow for opcode SHR - Data index: 129 - EOF1I5450_0027 (Invalid) Stack underflow for opcode SAR - Data index: 130 - EOF1I5450_0028 (Invalid) Stack underflow for opcode SHA3 - Data index: 131 - EOF1I5450_0029 (Invalid) Stack underflow for opcode BALANCE - Data index: 132 - EOF1I5450_0030 (Invalid) Stack underflow for opcode CALLDATALOAD - Data index: 133 - EOF1I5450_0031 (Invalid) Stack underflow for opcode CALLDATACOPY - Data index: 134 - EOF1I5450_0032 (Invalid) Stack underflow for opcode CODECOPY - Data index: 135 - EOF1I5450_0033 (Invalid) Stack underflow for opcode EXTCODESIZE - Data index: 136 - EOF1I5450_0034 (Invalid) Stack underflow for opcode EXTCODECOPY - Data index: 137 - EOF1I5450_0035 (Invalid) Stack underflow for opcode RETURNDATACOPY - Data index: 138 - EOF1I5450_0036 (Invalid) Stack underflow for opcode EXTCODEHASH - Data index: 139 - EOF1I5450_0037 (Invalid) Stack underflow for opcode BLOCKHASH - Data index: 140 - EOF1I5450_0038 (Invalid) Stack underflow for opcode BLOBHASH - Data index: 141 - EOF1I5450_0039 (Invalid) Stack underflow for opcode POP - Data index: 142 - EOF1I5450_0040 (Invalid) Stack underflow for opcode MLOAD - Data index: 143 - EOF1I5450_0041 (Invalid) Stack underflow for opcode MSTORE - Data index: 144 - EOF1I5450_0042 (Invalid) Stack underflow for opcode MSTORE8 - Data index: 145 - EOF1I5450_0043 (Invalid) Stack underflow for opcode SLOAD - Data index: 146 - EOF1I5450_0044 (Invalid) Stack underflow for opcode SSTORE - Data index: 147 - EOF1I5450_0045 (Invalid) Stack underflow for opcode MCOPY - Data index: 148 - EOF1I5450_0046 (Invalid) Stack underflow for opcode DUP1 - Data index: 149 - EOF1I5450_0047 (Invalid) Stack underflow for opcode DUP2 - Data index: 150 - EOF1I5450_0048 (Invalid) Stack underflow for opcode DUP3 - Data index: 151 - EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP4 - Data index: 152 - EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP5 - Data index: 153 - EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP6 - Data index: 154 - EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP7 - Data index: 155 - EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP8 - Data index: 156 - EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP9 - Data index: 157 - EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP10 - Data index: 158 - EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP11 - Data index: 159 - EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP12 - Data index: 160 - EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP13 - Data index: 161 - EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP14 - Data index: 162 - EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP15 - Data index: 163 - EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP16 - Data index: 164 - EOF1I5450_0062 (Invalid) Stack underflow for opcode SWAP1 - Data index: 165 - EOF1I5450_0063 (Invalid) Stack underflow for opcode SWAP2 - Data index: 166 - EOF1I5450_0064 (Invalid) Stack underflow for opcode SWAP3 - Data index: 167 - EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP4 - Data index: 168 - EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP5 - Data index: 169 - EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP6 - Data index: 170 - EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP7 - Data index: 171 - EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP8 - Data index: 172 - EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP9 - Data index: 173 - EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP10 - Data index: 174 - EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP11 - Data index: 175 - EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP12 - Data index: 176 - EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP13 - Data index: 177 - EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP14 - Data index: 178 - EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP15 - Data index: 179 - EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP16 - Data index: 180 - EOF1I5450_0078 (Invalid) Stack underflow for opcode LOG0 - Data index: 181 - EOF1I5450_0079 (Invalid) Stack underflow for opcode LOG1 - Data index: 182 - EOF1I5450_0080 (Invalid) Stack underflow for opcode LOG2 - Data index: 183 - EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG3 - Data index: 184 - EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG4 - Data index: 185 - EOF1I5450_0083 (Invalid) Stack underflow for opcode CALL - Data index: 186 - EOF1I5450_0084 (Invalid) Stack underflow for opcode RETURN - Data index: 187 - EOF1I5450_0085 (Invalid) Stack underflow for opcode DELEGATECALL - Data index: 188 - EOF1I5450_0086 (Invalid) Stack underflow for opcode STATICCALL - Data index: 189 - EOF1I5450_0087 (Invalid) Stack underflow for opcode REVERT - Data index: 190 - EOF1I5450_0088 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - Data index: 191 - EOF1I5450_0089 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - Data index: 192 - EOF1I5450_0090 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - Data index: 193 - EOF1I5450_0091 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - Data index: 194 - EOF1I5450_0092 (Invalid) Function ending with non-terminating instruction (a) - Data index: 195 - EOF1I5450_0093 (Invalid) Function ending with non-terminating instruction (b) - Data index: 196 - EOF1I5450_0094 (Invalid) Function ending with non-terminating instruction (c) - Data index: 197 - EOF1I5450_0095 (Invalid) Function containing unreachable code after RETURN - Data index: 198 - EOF1I5450_0096 (Invalid) Function containing unreachable code after REVERT - Data index: 199 - EOF1I5450_0097 (Invalid) Unreachable code after RJUMP - Data index: 200 - EOF1I5450_0098 (Invalid) Unreachable code after infinite loop - Data index: 201 + EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - Data index: 35 + EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - Data index: 36 + EOF1V5450_0042 (Valid) Validate input for BLOBHASH opcode - Data index: 37 + EOF1V5450_0043 (Valid) Validate input for POP opcode - Data index: 38 + EOF1V5450_0044 (Valid) Validate input for MLOAD opcode - Data index: 39 + EOF1V5450_0045 (Valid) Validate input for MSTORE opcode - Data index: 40 + EOF1V5450_0046 (Valid) Validate input for MSTORE8 opcode - Data index: 41 + EOF1V5450_0047 (Valid) Validate input for SLOAD opcode - Data index: 42 + EOF1V5450_0048 (Valid) Validate input for SSTORE opcode - Data index: 43 + EOF1V5450_0049 (Valid) Validate input for MCOPY opcode - Data index: 44 + EOF1V5450_0050 (Valid) Validate input for DUP1 opcode - Data index: 45 + EOF1V5450_0051 (Valid) Validate input for DUP2 opcode - Data index: 46 + EOF1V5450_0052 (Valid) Validate input for DUP3 opcode - Data index: 47 + EOF1V5450_0053 (Valid) Validate input for DUP4 opcode - Data index: 48 + EOF1V5450_0054 (Valid) Validate input for DUP5 opcode - Data index: 49 + EOF1V5450_0055 (Valid) Validate input for DUP6 opcode - Data index: 50 + EOF1V5450_0056 (Valid) Validate input for DUP7 opcode - Data index: 51 + EOF1V5450_0057 (Valid) Validate input for DUP8 opcode - Data index: 52 + EOF1V5450_0058 (Valid) Validate input for DUP9 opcode - Data index: 53 + EOF1V5450_0059 (Valid) Validate input for DUP10 opcode - Data index: 54 + EOF1V5450_0060 (Valid) Validate input for DUP11 opcode - Data index: 55 + EOF1V5450_0061 (Valid) Validate input for DUP12 opcode - Data index: 56 + EOF1V5450_0062 (Valid) Validate input for DUP13 opcode - Data index: 57 + EOF1V5450_0063 (Valid) Validate input for DUP14 opcode - Data index: 58 + EOF1V5450_0064 (Valid) Validate input for DUP15 opcode - Data index: 59 + EOF1V5450_0065 (Valid) Validate input for DUP16 opcode - Data index: 60 + EOF1V5450_0066 (Valid) Validate input for SWAP1 opcode - Data index: 61 + EOF1V5450_0067 (Valid) Validate input for SWAP2 opcode - Data index: 62 + EOF1V5450_0068 (Valid) Validate input for SWAP3 opcode - Data index: 63 + EOF1V5450_0069 (Valid) Validate input for SWAP4 opcode - Data index: 64 + EOF1V5450_0070 (Valid) Validate input for SWAP5 opcode - Data index: 65 + EOF1V5450_0071 (Valid) Validate input for SWAP6 opcode - Data index: 66 + EOF1V5450_0072 (Valid) Validate input for SWAP7 opcode - Data index: 67 + EOF1V5450_0073 (Valid) Validate input for SWAP8 opcode - Data index: 68 + EOF1V5450_0074 (Valid) Validate input for SWAP9 opcode - Data index: 69 + EOF1V5450_0075 (Valid) Validate input for SWAP10 opcode - Data index: 70 + EOF1V5450_0076 (Valid) Validate input for SWAP11 opcode - Data index: 71 + EOF1V5450_0077 (Valid) Validate input for SWAP12 opcode - Data index: 72 + EOF1V5450_0078 (Valid) Validate input for SWAP13 opcode - Data index: 73 + EOF1V5450_0079 (Valid) Validate input for SWAP14 opcode - Data index: 74 + EOF1V5450_0080 (Valid) Validate input for SWAP15 opcode - Data index: 75 + EOF1V5450_0081 (Valid) Validate input for SWAP16 opcode - Data index: 76 + EOF1V5450_0082 (Valid) Validate input for LOG0 opcode - Data index: 77 + EOF1V5450_0083 (Valid) Validate input for LOG1 opcode - Data index: 78 + EOF1V5450_0084 (Valid) Validate input for LOG2 opcode - Data index: 79 + EOF1V5450_0085 (Valid) Validate input for LOG3 opcode - Data index: 80 + EOF1V5450_0086 (Valid) Validate input for LOG4 opcode - Data index: 81 + EOF1V5450_0087 (Valid) Validate input for CALL opcode - Data index: 82 + EOF1V5450_0088 (Valid) Validate input for RETURN opcode - Data index: 83 + EOF1V5450_0089 (Valid) Validate input for DELEGATECALL opcode - Data index: 84 + EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - Data index: 85 + EOF1V5450_0091 (Valid) Validate input for REVERT opcode - Data index: 86 + EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - Data index: 87 + EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - Data index: 88 + EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - Data index: 89 + EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - Data index: 90 + EOF1V5450_0096 (Valid) Functions ending with RETF - Data index: 91 + EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - Data index: 92 + EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - Data index: 93 + EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - Data index: 94 + EOF1V5450_0100 (Valid) Calling function with enough stack items: Function 1 calls Function 2 with enough parameters - Data index: 95 + EOF1V5450_0101 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 96 + EOF1V5450_0102 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 97 + EOF1V5450_0103 (Valid) Calls returning different number of outputs valid according to relaxed stack validation - Data index: 98 + EOF1V5450_0104 (Valid) Jump table with different stack heights valid according to relaxed stack validation - Data index: 99 + EOF1I5450_0001 (Invalid) Pushing loop - Data index: 100 + EOF1I5450_0002 (Invalid) Popping loop - Data index: 101 + EOF1I5450_0003 (Invalid) Stack underflow for opcode ADD - Data index: 102 + EOF1I5450_0004 (Invalid) Stack underflow for opcode MUL - Data index: 103 + EOF1I5450_0005 (Invalid) Stack underflow for opcode SUB - Data index: 104 + EOF1I5450_0006 (Invalid) Stack underflow for opcode DIV - Data index: 105 + EOF1I5450_0007 (Invalid) Stack underflow for opcode SDIV - Data index: 106 + EOF1I5450_0008 (Invalid) Stack underflow for opcode MOD - Data index: 107 + EOF1I5450_0009 (Invalid) Stack underflow for opcode SMOD - Data index: 108 + EOF1I5450_0010 (Invalid) Stack underflow for opcode ADDMOD - Data index: 109 + EOF1I5450_0011 (Invalid) Stack underflow for opcode MULMOD - Data index: 110 + EOF1I5450_0012 (Invalid) Stack underflow for opcode EXP - Data index: 111 + EOF1I5450_0013 (Invalid) Stack underflow for opcode SIGNEXTEND - Data index: 112 + EOF1I5450_0014 (Invalid) Stack underflow for opcode LT - Data index: 113 + EOF1I5450_0015 (Invalid) Stack underflow for opcode GT - Data index: 114 + EOF1I5450_0016 (Invalid) Stack underflow for opcode SLT - Data index: 115 + EOF1I5450_0017 (Invalid) Stack underflow for opcode SGT - Data index: 116 + EOF1I5450_0018 (Invalid) Stack underflow for opcode EQ - Data index: 117 + EOF1I5450_0019 (Invalid) Stack underflow for opcode ISZERO - Data index: 118 + EOF1I5450_0020 (Invalid) Stack underflow for opcode AND - Data index: 119 + EOF1I5450_0021 (Invalid) Stack underflow for opcode OR - Data index: 120 + EOF1I5450_0022 (Invalid) Stack underflow for opcode XOR - Data index: 121 + EOF1I5450_0023 (Invalid) Stack underflow for opcode NOT - Data index: 122 + EOF1I5450_0024 (Invalid) Stack underflow for opcode BYTE - Data index: 123 + EOF1I5450_0025 (Invalid) Stack underflow for opcode SHL - Data index: 124 + EOF1I5450_0026 (Invalid) Stack underflow for opcode SHR - Data index: 125 + EOF1I5450_0027 (Invalid) Stack underflow for opcode SAR - Data index: 126 + EOF1I5450_0028 (Invalid) Stack underflow for opcode SHA3 - Data index: 127 + EOF1I5450_0029 (Invalid) Stack underflow for opcode BALANCE - Data index: 128 + EOF1I5450_0030 (Invalid) Stack underflow for opcode CALLDATALOAD - Data index: 129 + EOF1I5450_0031 (Invalid) Stack underflow for opcode CALLDATACOPY - Data index: 130 + EOF1I5450_0035 (Invalid) Stack underflow for opcode RETURNDATACOPY - Data index: 131 + EOF1I5450_0037 (Invalid) Stack underflow for opcode BLOCKHASH - Data index: 132 + EOF1I5450_0038 (Invalid) Stack underflow for opcode BLOBHASH - Data index: 133 + EOF1I5450_0039 (Invalid) Stack underflow for opcode POP - Data index: 134 + EOF1I5450_0040 (Invalid) Stack underflow for opcode MLOAD - Data index: 135 + EOF1I5450_0041 (Invalid) Stack underflow for opcode MSTORE - Data index: 136 + EOF1I5450_0042 (Invalid) Stack underflow for opcode MSTORE8 - Data index: 137 + EOF1I5450_0043 (Invalid) Stack underflow for opcode SLOAD - Data index: 138 + EOF1I5450_0044 (Invalid) Stack underflow for opcode SSTORE - Data index: 139 + EOF1I5450_0045 (Invalid) Stack underflow for opcode MCOPY - Data index: 140 + EOF1I5450_0046 (Invalid) Stack underflow for opcode DUP1 - Data index: 141 + EOF1I5450_0047 (Invalid) Stack underflow for opcode DUP2 - Data index: 142 + EOF1I5450_0048 (Invalid) Stack underflow for opcode DUP3 - Data index: 143 + EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP4 - Data index: 144 + EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP5 - Data index: 145 + EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP6 - Data index: 146 + EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP7 - Data index: 147 + EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP8 - Data index: 148 + EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP9 - Data index: 149 + EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP10 - Data index: 150 + EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP11 - Data index: 151 + EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP12 - Data index: 152 + EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP13 - Data index: 153 + EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP14 - Data index: 154 + EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP15 - Data index: 155 + EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP16 - Data index: 156 + EOF1I5450_0062 (Invalid) Stack underflow for opcode SWAP1 - Data index: 157 + EOF1I5450_0063 (Invalid) Stack underflow for opcode SWAP2 - Data index: 158 + EOF1I5450_0064 (Invalid) Stack underflow for opcode SWAP3 - Data index: 159 + EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP4 - Data index: 160 + EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP5 - Data index: 161 + EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP6 - Data index: 162 + EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP7 - Data index: 163 + EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP8 - Data index: 164 + EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP9 - Data index: 165 + EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP10 - Data index: 166 + EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP11 - Data index: 167 + EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP12 - Data index: 168 + EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP13 - Data index: 169 + EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP14 - Data index: 170 + EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP15 - Data index: 171 + EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP16 - Data index: 172 + EOF1I5450_0078 (Invalid) Stack underflow for opcode LOG0 - Data index: 173 + EOF1I5450_0079 (Invalid) Stack underflow for opcode LOG1 - Data index: 174 + EOF1I5450_0080 (Invalid) Stack underflow for opcode LOG2 - Data index: 175 + EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG3 - Data index: 176 + EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG4 - Data index: 177 + EOF1I5450_0083 (Invalid) Stack underflow for opcode CALL - Data index: 178 + EOF1I5450_0084 (Invalid) Stack underflow for opcode RETURN - Data index: 179 + EOF1I5450_0085 (Invalid) Stack underflow for opcode DELEGATECALL - Data index: 180 + EOF1I5450_0086 (Invalid) Stack underflow for opcode STATICCALL - Data index: 181 + EOF1I5450_0087 (Invalid) Stack underflow for opcode REVERT - Data index: 182 + EOF1I5450_0088 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - Data index: 183 + EOF1I5450_0089 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - Data index: 184 + EOF1I5450_0090 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - Data index: 185 + EOF1I5450_0091 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - Data index: 186 + EOF1I5450_0092 (Invalid) Function ending with non-terminating instruction (a) - Data index: 187 + EOF1I5450_0093 (Invalid) Function ending with non-terminating instruction (b) - Data index: 188 + EOF1I5450_0094 (Invalid) Function ending with non-terminating instruction (c) - Data index: 189 + EOF1I5450_0095 (Invalid) Function containing unreachable code after RETURN - Data index: 190 + EOF1I5450_0096 (Invalid) Function containing unreachable code after REVERT - Data index: 191 + EOF1I5450_0097 (Invalid) Unreachable code after RJUMP - Data index: 192 + EOF1I5450_0098 (Invalid) Unreachable code after infinite loop - Data index: 193 forks: - ">=Prague" vectors: - # EOF1V5450_0001 (Valid) Code with branches having the same stack height - Data index: 0 + # EOF1V5450_0001 (Valid) Code with branches having the same stack height - Data Index: 0 # Code: PUSH1(0) RJUMPI(label_true) PUSH1(1) PUSH1(2) RJUMP(exit) label_true: PUSH1(3) PUSH1(4) exit: STOP - data: | :label EOF1V5450_0001 :raw 0x @@ -236,7 +228,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0002 (Valid) Jump table - Data index: 1 + # EOF1V5450_0002 (Valid) Jump table - Data Index: 1 # Code: PUSH1(0) RJUMPV(case1,case2) PUSH1(1) PUSH1(2) RJUMP(exit) case1: PUSH1(3) PUSH1(4) RJUMP(exit) case2: PUSH1(5) PUSH1(6) exit: STOP - data: | :label EOF1V5450_0002 :raw 0x @@ -265,7 +257,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0003 (Valid) Infinite loop - Data index: 2 + # EOF1V5450_0003 (Valid) Infinite loop - Data Index: 2 # Code: start: PUSH1(0) PUSH1(1) POP POP RJUMP(start) - data: | :label EOF1V5450_0003 :raw 0x @@ -288,7 +280,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0004 (Valid) Infinite loop using RJUMPV - Data index: 3 + # EOF1V5450_0004 (Valid) Infinite loop using RJUMPV - Data Index: 3 # Code: start: PUSH1(201) RJUMPV(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,start) STOP - data: | :label EOF1V5450_0004 :raw 0x @@ -309,10 +301,10 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0005 (Valid) CALLF branches with the same total of outputs - Data index: 4 + # EOF1V5450_0005 (Valid) CALLF branches with the same total of outputs - Data Index: 4 # Code[0](Types: 0:128): PUSH1(0) RJUMPI(label_true) label_false: CALLF(1) RJUMP(exit) label_true: CALLF(2) exit: STOP # Code[1](Types: 0:1): ADDRESS RETF - # Code[2](Types: 0:1): CODESIZE RETF + # Code[2](Types: 0:1): RETURNDATASIZE RETF - data: | :label EOF1V5450_0005 :raw 0x EF0001 # Magic and Version ( 1 ) @@ -346,12 +338,12 @@ validInvalid: 30 # [0] ADDRESS e4 # [1] RETF # Code section 2 - 38 # [0] CODESIZE + 3d # [0] RETURNDATASIZE e4 # [1] RETF # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0006 (Valid) CALLF inputs - Data index: 5 + # EOF1V5450_0006 (Valid) CALLF inputs - Data Index: 5 # Code[0](Types: 0:128): PUSH0 CALLF(1) STOP # Code[1](Types: 1:0): PUSH0 CALLF(2) RETF # Code[2](Types: 2:0): DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 CALLF(3) RETF @@ -651,7 +643,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0007 (Valid) Validate input for ADD opcode - Data index: 6 + # EOF1V5450_0007 (Valid) Validate input for ADD opcode - Data Index: 6 # Code: PUSH1(1) DUP1 ADD STOP - data: | :label EOF1V5450_0007 :raw 0x @@ -673,7 +665,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0008 (Valid) Validate input for MUL opcode - Data index: 7 + # EOF1V5450_0008 (Valid) Validate input for MUL opcode - Data Index: 7 # Code: PUSH1(1) DUP1 MUL STOP - data: | :label EOF1V5450_0008 :raw 0x @@ -695,7 +687,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0009 (Valid) Validate input for SUB opcode - Data index: 8 + # EOF1V5450_0009 (Valid) Validate input for SUB opcode - Data Index: 8 # Code: PUSH1(1) DUP1 SUB STOP - data: | :label EOF1V5450_0009 :raw 0x @@ -717,7 +709,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0010 (Valid) Validate input for DIV opcode - Data index: 9 + # EOF1V5450_0010 (Valid) Validate input for DIV opcode - Data Index: 9 # Code: PUSH1(1) DUP1 DIV STOP - data: | :label EOF1V5450_0010 :raw 0x @@ -739,7 +731,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0011 (Valid) Validate input for SDIV opcode - Data index: 10 + # EOF1V5450_0011 (Valid) Validate input for SDIV opcode - Data Index: 10 # Code: PUSH1(1) DUP1 SDIV STOP - data: | :label EOF1V5450_0011 :raw 0x @@ -761,7 +753,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0012 (Valid) Validate input for MOD opcode - Data index: 11 + # EOF1V5450_0012 (Valid) Validate input for MOD opcode - Data Index: 11 # Code: PUSH1(1) DUP1 MOD STOP - data: | :label EOF1V5450_0012 :raw 0x @@ -783,7 +775,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0013 (Valid) Validate input for SMOD opcode - Data index: 12 + # EOF1V5450_0013 (Valid) Validate input for SMOD opcode - Data Index: 12 # Code: PUSH1(1) DUP1 SMOD STOP - data: | :label EOF1V5450_0013 :raw 0x @@ -805,7 +797,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0014 (Valid) Validate input for ADDMOD opcode - Data index: 13 + # EOF1V5450_0014 (Valid) Validate input for ADDMOD opcode - Data Index: 13 # Code: PUSH1(1) DUP1 DUP1 ADDMOD STOP - data: | :label EOF1V5450_0014 :raw 0x @@ -828,7 +820,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0015 (Valid) Validate input for MULMOD opcode - Data index: 14 + # EOF1V5450_0015 (Valid) Validate input for MULMOD opcode - Data Index: 14 # Code: PUSH1(1) DUP1 DUP1 MULMOD STOP - data: | :label EOF1V5450_0015 :raw 0x @@ -851,7 +843,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0016 (Valid) Validate input for EXP opcode - Data index: 15 + # EOF1V5450_0016 (Valid) Validate input for EXP opcode - Data Index: 15 # Code: PUSH1(1) DUP1 EXP STOP - data: | :label EOF1V5450_0016 :raw 0x @@ -873,7 +865,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0017 (Valid) Validate input for SIGNEXTEND opcode - Data index: 16 + # EOF1V5450_0017 (Valid) Validate input for SIGNEXTEND opcode - Data Index: 16 # Code: PUSH1(1) DUP1 SIGNEXTEND STOP - data: | :label EOF1V5450_0017 :raw 0x @@ -895,7 +887,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0018 (Valid) Validate input for LT opcode - Data index: 17 + # EOF1V5450_0018 (Valid) Validate input for LT opcode - Data Index: 17 # Code: PUSH1(1) DUP1 LT STOP - data: | :label EOF1V5450_0018 :raw 0x @@ -917,7 +909,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0019 (Valid) Validate input for GT opcode - Data index: 18 + # EOF1V5450_0019 (Valid) Validate input for GT opcode - Data Index: 18 # Code: PUSH1(1) DUP1 GT STOP - data: | :label EOF1V5450_0019 :raw 0x @@ -939,7 +931,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0020 (Valid) Validate input for SLT opcode - Data index: 19 + # EOF1V5450_0020 (Valid) Validate input for SLT opcode - Data Index: 19 # Code: PUSH1(1) DUP1 SLT STOP - data: | :label EOF1V5450_0020 :raw 0x @@ -961,7 +953,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0021 (Valid) Validate input for SGT opcode - Data index: 20 + # EOF1V5450_0021 (Valid) Validate input for SGT opcode - Data Index: 20 # Code: PUSH1(1) DUP1 SGT STOP - data: | :label EOF1V5450_0021 :raw 0x @@ -983,7 +975,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0022 (Valid) Validate input for EQ opcode - Data index: 21 + # EOF1V5450_0022 (Valid) Validate input for EQ opcode - Data Index: 21 # Code: PUSH1(1) DUP1 EQ STOP - data: | :label EOF1V5450_0022 :raw 0x @@ -1005,7 +997,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0023 (Valid) Validate input for ISZERO opcode - Data index: 22 + # EOF1V5450_0023 (Valid) Validate input for ISZERO opcode - Data Index: 22 # Code: PUSH1(1) ISZERO STOP - data: | :label EOF1V5450_0023 :raw 0x @@ -1026,7 +1018,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0024 (Valid) Validate input for AND opcode - Data index: 23 + # EOF1V5450_0024 (Valid) Validate input for AND opcode - Data Index: 23 # Code: PUSH1(1) DUP1 AND STOP - data: | :label EOF1V5450_0024 :raw 0x @@ -1048,7 +1040,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0025 (Valid) Validate input for OR opcode - Data index: 24 + # EOF1V5450_0025 (Valid) Validate input for OR opcode - Data Index: 24 # Code: PUSH1(1) DUP1 OR STOP - data: | :label EOF1V5450_0025 :raw 0x @@ -1070,7 +1062,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0026 (Valid) Validate input for XOR opcode - Data index: 25 + # EOF1V5450_0026 (Valid) Validate input for XOR opcode - Data Index: 25 # Code: PUSH1(1) DUP1 XOR STOP - data: | :label EOF1V5450_0026 :raw 0x @@ -1092,7 +1084,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0027 (Valid) Validate input for NOT opcode - Data index: 26 + # EOF1V5450_0027 (Valid) Validate input for NOT opcode - Data Index: 26 # Code: PUSH1(1) NOT STOP - data: | :label EOF1V5450_0027 :raw 0x @@ -1113,7 +1105,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0028 (Valid) Validate input for BYTE opcode - Data index: 27 + # EOF1V5450_0028 (Valid) Validate input for BYTE opcode - Data Index: 27 # Code: PUSH1(1) DUP1 BYTE STOP - data: | :label EOF1V5450_0028 :raw 0x @@ -1135,7 +1127,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0029 (Valid) Validate input for SHL opcode - Data index: 28 + # EOF1V5450_0029 (Valid) Validate input for SHL opcode - Data Index: 28 # Code: PUSH1(1) DUP1 SHL STOP - data: | :label EOF1V5450_0029 :raw 0x @@ -1157,7 +1149,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0030 (Valid) Validate input for SHR opcode - Data index: 29 + # EOF1V5450_0030 (Valid) Validate input for SHR opcode - Data Index: 29 # Code: PUSH1(1) DUP1 SHR STOP - data: | :label EOF1V5450_0030 :raw 0x @@ -1179,7 +1171,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0031 (Valid) Validate input for SAR opcode - Data index: 30 + # EOF1V5450_0031 (Valid) Validate input for SAR opcode - Data Index: 30 # Code: PUSH1(1) DUP1 SAR STOP - data: | :label EOF1V5450_0031 :raw 0x @@ -1201,7 +1193,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0032 (Valid) Validate input for SHA3 opcode - Data index: 31 + # EOF1V5450_0032 (Valid) Validate input for SHA3 opcode - Data Index: 31 # Code: PUSH1(1) DUP1 SHA3 STOP - data: | :label EOF1V5450_0032 :raw 0x @@ -1223,7 +1215,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0033 (Valid) Validate input for BALANCE opcode - Data index: 32 + # EOF1V5450_0033 (Valid) Validate input for BALANCE opcode - Data Index: 32 # Code: PUSH1(1) BALANCE STOP - data: | :label EOF1V5450_0033 :raw 0x @@ -1244,7 +1236,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode - Data index: 33 + # EOF1V5450_0034 (Valid) Validate input for CALLDATALOAD opcode - Data Index: 33 # Code: PUSH1(1) CALLDATALOAD STOP - data: | :label EOF1V5450_0034 :raw 0x @@ -1265,7 +1257,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode - Data index: 34 + # EOF1V5450_0035 (Valid) Validate input for CALLDATACOPY opcode - Data Index: 34 # Code: PUSH1(1) DUP1 DUP1 CALLDATACOPY STOP - data: | :label EOF1V5450_0035 :raw 0x @@ -1288,75 +1280,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0036 (Valid) Validate input for CODECOPY opcode - Data index: 35 - # Code: PUSH1(1) DUP1 DUP1 CODECOPY STOP - - data: | - :label EOF1V5450_0036 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0006 # Code section 0 , 6 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0003 # max stack: 3 - # Code section 0 - 6001 # [0] PUSH1(1) - 80 # [2] DUP1 - 80 # [3] DUP1 - 39 # [4] CODECOPY - 00 # [5] STOP - # Data section (empty) - # "Prague" : "ok." - - # EOF1V5450_0037 (Valid) Validate input for EXTCODESIZE opcode - Data index: 36 - # Code: PUSH1(1) EXTCODESIZE STOP - - data: | - :label EOF1V5450_0037 :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 - 6001 # [0] PUSH1(1) - 3b # [2] EXTCODESIZE - 00 # [3] STOP - # Data section (empty) - # "Prague" : "ok." - - # EOF1V5450_0038 (Valid) Validate input for EXTCODECOPY opcode - Data index: 37 - # Code: PUSH1(1) DUP1 DUP1 DUP1 EXTCODECOPY STOP - - data: | - :label EOF1V5450_0038 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0007 # Code section 0 , 7 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0004 # max stack: 4 - # Code section 0 - 6001 # [0] PUSH1(1) - 80 # [2] DUP1 - 80 # [3] DUP1 - 80 # [4] DUP1 - 3c # [5] EXTCODECOPY - 00 # [6] STOP - # Data section (empty) - # "Prague" : "ok." - - # EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - Data index: 38 + # EOF1V5450_0039 (Valid) Validate input for RETURNDATACOPY opcode - Data Index: 35 # Code: PUSH1(1) DUP1 DUP1 RETURNDATACOPY STOP - data: | :label EOF1V5450_0039 :raw 0x @@ -1379,28 +1303,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0040 (Valid) Validate input for EXTCODEHASH opcode - Data index: 39 - # Code: PUSH1(1) EXTCODEHASH STOP - - data: | - :label EOF1V5450_0040 :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 - 6001 # [0] PUSH1(1) - 3f # [2] EXTCODEHASH - 00 # [3] STOP - # Data section (empty) - # "Prague" : "ok." - - # EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - Data index: 40 + # EOF1V5450_0041 (Valid) Validate input for BLOCKHASH opcode - Data Index: 36 # Code: PUSH1(1) BLOCKHASH STOP - data: | :label EOF1V5450_0041 :raw 0x @@ -1421,7 +1324,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0042 (Valid) Validate input for BLOBHASH opcode - Data index: 41 + # EOF1V5450_0042 (Valid) Validate input for BLOBHASH opcode - Data Index: 37 # Code: PUSH1(1) BLOBHASH STOP - data: | :label EOF1V5450_0042 :raw 0x @@ -1442,7 +1345,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0043 (Valid) Validate input for POP opcode - Data index: 42 + # EOF1V5450_0043 (Valid) Validate input for POP opcode - Data Index: 38 # Code: PUSH1(1) POP STOP - data: | :label EOF1V5450_0043 :raw 0x @@ -1463,7 +1366,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0044 (Valid) Validate input for MLOAD opcode - Data index: 43 + # EOF1V5450_0044 (Valid) Validate input for MLOAD opcode - Data Index: 39 # Code: PUSH1(1) MLOAD STOP - data: | :label EOF1V5450_0044 :raw 0x @@ -1484,7 +1387,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0045 (Valid) Validate input for MSTORE opcode - Data index: 44 + # EOF1V5450_0045 (Valid) Validate input for MSTORE opcode - Data Index: 40 # Code: PUSH1(1) DUP1 MSTORE STOP - data: | :label EOF1V5450_0045 :raw 0x @@ -1506,7 +1409,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0046 (Valid) Validate input for MSTORE8 opcode - Data index: 45 + # EOF1V5450_0046 (Valid) Validate input for MSTORE8 opcode - Data Index: 41 # Code: PUSH1(1) DUP1 MSTORE8 STOP - data: | :label EOF1V5450_0046 :raw 0x @@ -1528,7 +1431,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0047 (Valid) Validate input for SLOAD opcode - Data index: 46 + # EOF1V5450_0047 (Valid) Validate input for SLOAD opcode - Data Index: 42 # Code: PUSH1(1) SLOAD STOP - data: | :label EOF1V5450_0047 :raw 0x @@ -1549,7 +1452,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0048 (Valid) Validate input for SSTORE opcode - Data index: 47 + # EOF1V5450_0048 (Valid) Validate input for SSTORE opcode - Data Index: 43 # Code: PUSH1(1) DUP1 SSTORE STOP - data: | :label EOF1V5450_0048 :raw 0x @@ -1571,7 +1474,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0049 (Valid) Validate input for MCOPY opcode - Data index: 48 + # EOF1V5450_0049 (Valid) Validate input for MCOPY opcode - Data Index: 44 # Code: PUSH1(1) DUP1 DUP1 MCOPY STOP - data: | :label EOF1V5450_0049 :raw 0x @@ -1594,7 +1497,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0050 (Valid) Validate input for DUP1 opcode - Data index: 49 + # EOF1V5450_0050 (Valid) Validate input for DUP1 opcode - Data Index: 45 # Code: PUSH1(1) DUP1 STOP - data: | :label EOF1V5450_0050 :raw 0x @@ -1615,7 +1518,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0051 (Valid) Validate input for DUP2 opcode - Data index: 50 + # EOF1V5450_0051 (Valid) Validate input for DUP2 opcode - Data Index: 46 # Code: PUSH1(1) DUP1 DUP2 STOP - data: | :label EOF1V5450_0051 :raw 0x @@ -1637,7 +1540,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0052 (Valid) Validate input for DUP3 opcode - Data index: 51 + # EOF1V5450_0052 (Valid) Validate input for DUP3 opcode - Data Index: 47 # Code: PUSH1(1) DUP1 DUP1 DUP3 STOP - data: | :label EOF1V5450_0052 :raw 0x @@ -1660,7 +1563,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0053 (Valid) Validate input for DUP4 opcode - Data index: 52 + # EOF1V5450_0053 (Valid) Validate input for DUP4 opcode - Data Index: 48 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP4 STOP - data: | :label EOF1V5450_0053 :raw 0x @@ -1684,7 +1587,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0054 (Valid) Validate input for DUP5 opcode - Data index: 53 + # EOF1V5450_0054 (Valid) Validate input for DUP5 opcode - Data Index: 49 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP5 STOP - data: | :label EOF1V5450_0054 :raw 0x @@ -1709,7 +1612,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0055 (Valid) Validate input for DUP6 opcode - Data index: 54 + # EOF1V5450_0055 (Valid) Validate input for DUP6 opcode - Data Index: 50 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP6 STOP - data: | :label EOF1V5450_0055 :raw 0x @@ -1735,7 +1638,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0056 (Valid) Validate input for DUP7 opcode - Data index: 55 + # EOF1V5450_0056 (Valid) Validate input for DUP7 opcode - Data Index: 51 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP7 STOP - data: | :label EOF1V5450_0056 :raw 0x @@ -1762,7 +1665,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0057 (Valid) Validate input for DUP8 opcode - Data index: 56 + # EOF1V5450_0057 (Valid) Validate input for DUP8 opcode - Data Index: 52 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP8 STOP - data: | :label EOF1V5450_0057 :raw 0x @@ -1790,7 +1693,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0058 (Valid) Validate input for DUP9 opcode - Data index: 57 + # EOF1V5450_0058 (Valid) Validate input for DUP9 opcode - Data Index: 53 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP9 STOP - data: | :label EOF1V5450_0058 :raw 0x @@ -1819,7 +1722,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0059 (Valid) Validate input for DUP10 opcode - Data index: 58 + # EOF1V5450_0059 (Valid) Validate input for DUP10 opcode - Data Index: 54 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP10 STOP - data: | :label EOF1V5450_0059 :raw 0x @@ -1849,7 +1752,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0060 (Valid) Validate input for DUP11 opcode - Data index: 59 + # EOF1V5450_0060 (Valid) Validate input for DUP11 opcode - Data Index: 55 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP11 STOP - data: | :label EOF1V5450_0060 :raw 0x @@ -1880,7 +1783,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0061 (Valid) Validate input for DUP12 opcode - Data index: 60 + # EOF1V5450_0061 (Valid) Validate input for DUP12 opcode - Data Index: 56 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP12 STOP - data: | :label EOF1V5450_0061 :raw 0x @@ -1912,7 +1815,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0062 (Valid) Validate input for DUP13 opcode - Data index: 61 + # EOF1V5450_0062 (Valid) Validate input for DUP13 opcode - Data Index: 57 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP13 STOP - data: | :label EOF1V5450_0062 :raw 0x @@ -1945,7 +1848,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0063 (Valid) Validate input for DUP14 opcode - Data index: 62 + # EOF1V5450_0063 (Valid) Validate input for DUP14 opcode - Data Index: 58 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP14 STOP - data: | :label EOF1V5450_0063 :raw 0x @@ -1979,7 +1882,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0064 (Valid) Validate input for DUP15 opcode - Data index: 63 + # EOF1V5450_0064 (Valid) Validate input for DUP15 opcode - Data Index: 59 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP15 STOP - data: | :label EOF1V5450_0064 :raw 0x @@ -2014,7 +1917,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0065 (Valid) Validate input for DUP16 opcode - Data index: 64 + # EOF1V5450_0065 (Valid) Validate input for DUP16 opcode - Data Index: 60 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP16 STOP - data: | :label EOF1V5450_0065 :raw 0x @@ -2050,7 +1953,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0066 (Valid) Validate input for SWAP1 opcode - Data index: 65 + # EOF1V5450_0066 (Valid) Validate input for SWAP1 opcode - Data Index: 61 # Code: PUSH1(1) DUP1 SWAP1 STOP - data: | :label EOF1V5450_0066 :raw 0x @@ -2072,7 +1975,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0067 (Valid) Validate input for SWAP2 opcode - Data index: 66 + # EOF1V5450_0067 (Valid) Validate input for SWAP2 opcode - Data Index: 62 # Code: PUSH1(1) DUP1 DUP1 SWAP2 STOP - data: | :label EOF1V5450_0067 :raw 0x @@ -2095,7 +1998,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0068 (Valid) Validate input for SWAP3 opcode - Data index: 67 + # EOF1V5450_0068 (Valid) Validate input for SWAP3 opcode - Data Index: 63 # Code: PUSH1(1) DUP1 DUP1 DUP1 SWAP3 STOP - data: | :label EOF1V5450_0068 :raw 0x @@ -2119,7 +2022,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0069 (Valid) Validate input for SWAP4 opcode - Data index: 68 + # EOF1V5450_0069 (Valid) Validate input for SWAP4 opcode - Data Index: 64 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 SWAP4 STOP - data: | :label EOF1V5450_0069 :raw 0x @@ -2144,7 +2047,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0070 (Valid) Validate input for SWAP5 opcode - Data index: 69 + # EOF1V5450_0070 (Valid) Validate input for SWAP5 opcode - Data Index: 65 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 SWAP5 STOP - data: | :label EOF1V5450_0070 :raw 0x @@ -2170,7 +2073,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0071 (Valid) Validate input for SWAP6 opcode - Data index: 70 + # EOF1V5450_0071 (Valid) Validate input for SWAP6 opcode - Data Index: 66 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP6 STOP - data: | :label EOF1V5450_0071 :raw 0x @@ -2197,7 +2100,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0072 (Valid) Validate input for SWAP7 opcode - Data index: 71 + # EOF1V5450_0072 (Valid) Validate input for SWAP7 opcode - Data Index: 67 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP7 STOP - data: | :label EOF1V5450_0072 :raw 0x @@ -2225,7 +2128,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0073 (Valid) Validate input for SWAP8 opcode - Data index: 72 + # EOF1V5450_0073 (Valid) Validate input for SWAP8 opcode - Data Index: 68 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP8 STOP - data: | :label EOF1V5450_0073 :raw 0x @@ -2254,7 +2157,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0074 (Valid) Validate input for SWAP9 opcode - Data index: 73 + # EOF1V5450_0074 (Valid) Validate input for SWAP9 opcode - Data Index: 69 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP9 STOP - data: | :label EOF1V5450_0074 :raw 0x @@ -2284,7 +2187,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0075 (Valid) Validate input for SWAP10 opcode - Data index: 74 + # EOF1V5450_0075 (Valid) Validate input for SWAP10 opcode - Data Index: 70 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP10 STOP - data: | :label EOF1V5450_0075 :raw 0x @@ -2315,7 +2218,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0076 (Valid) Validate input for SWAP11 opcode - Data index: 75 + # EOF1V5450_0076 (Valid) Validate input for SWAP11 opcode - Data Index: 71 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP11 STOP - data: | :label EOF1V5450_0076 :raw 0x @@ -2347,7 +2250,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0077 (Valid) Validate input for SWAP12 opcode - Data index: 76 + # EOF1V5450_0077 (Valid) Validate input for SWAP12 opcode - Data Index: 72 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP12 STOP - data: | :label EOF1V5450_0077 :raw 0x @@ -2380,7 +2283,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0078 (Valid) Validate input for SWAP13 opcode - Data index: 77 + # EOF1V5450_0078 (Valid) Validate input for SWAP13 opcode - Data Index: 73 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP13 STOP - data: | :label EOF1V5450_0078 :raw 0x @@ -2414,7 +2317,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0079 (Valid) Validate input for SWAP14 opcode - Data index: 78 + # EOF1V5450_0079 (Valid) Validate input for SWAP14 opcode - Data Index: 74 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP14 STOP - data: | :label EOF1V5450_0079 :raw 0x @@ -2449,7 +2352,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0080 (Valid) Validate input for SWAP15 opcode - Data index: 79 + # EOF1V5450_0080 (Valid) Validate input for SWAP15 opcode - Data Index: 75 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP15 STOP - data: | :label EOF1V5450_0080 :raw 0x @@ -2485,7 +2388,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0081 (Valid) Validate input for SWAP16 opcode - Data index: 80 + # EOF1V5450_0081 (Valid) Validate input for SWAP16 opcode - Data Index: 76 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 SWAP16 STOP - data: | :label EOF1V5450_0081 :raw 0x @@ -2522,7 +2425,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0082 (Valid) Validate input for LOG0 opcode - Data index: 81 + # EOF1V5450_0082 (Valid) Validate input for LOG0 opcode - Data Index: 77 # Code: PUSH1(1) DUP1 LOG0 STOP - data: | :label EOF1V5450_0082 :raw 0x @@ -2544,7 +2447,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0083 (Valid) Validate input for LOG1 opcode - Data index: 82 + # EOF1V5450_0083 (Valid) Validate input for LOG1 opcode - Data Index: 78 # Code: PUSH1(1) DUP1 DUP1 LOG1 STOP - data: | :label EOF1V5450_0083 :raw 0x @@ -2567,7 +2470,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0084 (Valid) Validate input for LOG2 opcode - Data index: 83 + # EOF1V5450_0084 (Valid) Validate input for LOG2 opcode - Data Index: 79 # Code: PUSH1(1) DUP1 DUP1 DUP1 LOG2 STOP - data: | :label EOF1V5450_0084 :raw 0x @@ -2591,7 +2494,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0085 (Valid) Validate input for LOG3 opcode - Data index: 84 + # EOF1V5450_0085 (Valid) Validate input for LOG3 opcode - Data Index: 80 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 LOG3 STOP - data: | :label EOF1V5450_0085 :raw 0x @@ -2616,7 +2519,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0086 (Valid) Validate input for LOG4 opcode - Data index: 85 + # EOF1V5450_0086 (Valid) Validate input for LOG4 opcode - Data Index: 81 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 LOG4 STOP - data: | :label EOF1V5450_0086 :raw 0x @@ -2642,7 +2545,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0087 (Valid) Validate input for CALL opcode - Data index: 86 + # EOF1V5450_0087 (Valid) Validate input for CALL opcode - Data Index: 82 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 CALL STOP - data: | :label EOF1V5450_0087 :raw 0x @@ -2669,7 +2572,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0088 (Valid) Validate input for RETURN opcode - Data index: 87 + # EOF1V5450_0088 (Valid) Validate input for RETURN opcode - Data Index: 83 # Code: PUSH1(1) DUP1 RETURN - data: | :label EOF1V5450_0088 :raw 0x @@ -2690,7 +2593,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0089 (Valid) Validate input for DELEGATECALL opcode - Data index: 88 + # EOF1V5450_0089 (Valid) Validate input for DELEGATECALL opcode - Data Index: 84 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 DELEGATECALL STOP - data: | :label EOF1V5450_0089 :raw 0x @@ -2716,7 +2619,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - Data index: 89 + # EOF1V5450_0090 (Valid) Validate input for STATICCALL opcode - Data Index: 85 # Code: PUSH1(1) DUP1 DUP1 DUP1 DUP1 DUP1 STATICCALL STOP - data: | :label EOF1V5450_0090 :raw 0x @@ -2742,7 +2645,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0091 (Valid) Validate input for REVERT opcode - Data index: 90 + # EOF1V5450_0091 (Valid) Validate input for REVERT opcode - Data Index: 86 # Code: PUSH1(1) DUP1 REVERT - data: | :label EOF1V5450_0091 :raw 0x @@ -2763,7 +2666,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - Data index: 91 + # EOF1V5450_0092 (Valid) Containing terminating opcode RETURN at the end - Data Index: 87 # Code: PUSH1(1) POP PUSH1(0) DUP1 RETURN - data: | :label EOF1V5450_0092 :raw 0x @@ -2786,7 +2689,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - Data index: 92 + # EOF1V5450_0093 (Valid) Containing terminating opcode REVERT at the end - Data Index: 88 # Code: PUSH1(1) POP PUSH1(0) DUP1 REVERT - data: | :label EOF1V5450_0093 :raw 0x @@ -2809,7 +2712,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - Data index: 93 + # EOF1V5450_0094 (Valid) Loop ending with unconditional RJUMP (a) - Data Index: 89 # Code: start: RJUMP(start) - data: | :label EOF1V5450_0094 :raw 0x @@ -2828,7 +2731,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - Data index: 94 + # EOF1V5450_0095 (Valid) Loop ending with unconditional RJUMP (b) - Data Index: 90 # Code: PUSH1(10) start: PUSH1(1) SWAP1 SUB DUP1 RJUMPI(end) STOP end: RJUMP(start) - data: | :label EOF1V5450_0095 :raw 0x @@ -2854,7 +2757,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0096 (Valid) Functions ending with RETF - Data index: 95 + # EOF1V5450_0096 (Valid) Functions ending with RETF - Data Index: 91 # Code[0](Types: 0:128): PUSH1(0) CALLF(1) STOP # Code[1](Types: 1:1): POP CALLF(2) POP RETF # Code[2](Types: 0:2): PUSH1(0) PUSH2(0x0000) RETF @@ -2896,7 +2799,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - Data index: 96 + # EOF1V5450_0097 (Valid) Stack is not required to be empty on terminating instruction RETURN - Data Index: 92 # Code: PUSH1(0) DUP1 DUP1 DUP1 DUP1 RETURN - data: | :label EOF1V5450_0097 :raw 0x @@ -2920,7 +2823,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - Data index: 97 + # EOF1V5450_0098 (Valid) Stack is not required to be empty on terminating instruction REVERT - Data Index: 93 # Code: PUSH1(0) DUP1 DUP1 DUP1 DUP1 REVERT - data: | :label EOF1V5450_0098 :raw 0x @@ -2944,7 +2847,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - Data index: 98 + # EOF1V5450_0099 (Valid) RETF returning maximum number of outputs (127) - Data Index: 94 # Code[0](Types: 0:128): CALLF(1) STOP # Code[1](Types: 0:127): PUSH1(0) DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 DUP1 RETF - data: | @@ -3099,7 +3002,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0100 (Valid) Calling function with enough stack items: Function 1 calls Function 2 with enough parameters - Data index: 99 + # EOF1V5450_0100 (Valid) Calling function with enough stack items: Function 1 calls Function 2 with enough parameters - Data Index: 95 # Code[0](Types: 0:128): PUSH1(0) CALLF(1) STOP # Code[1](Types: 1:0): PUSH1(0) CALLF(2) RETF # Code[2](Types: 2:0): POP POP RETF @@ -3140,7 +3043,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0101 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 100 + # EOF1V5450_0101 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data Index: 96 # Code: PUSH1(0) RJUMPI(label_true) PUSH1(1) label_true: PUSH1(2) STOP - data: | :label EOF1V5450_0101 :raw 0x @@ -3163,7 +3066,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0102 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data index: 101 + # EOF1V5450_0102 (Valid) Stack height mismatch for different paths valid according to relaxed stack validation - Data Index: 97 # Code: PUSH1(0) RJUMPI(label_true) label_false: PUSH1(1) RJUMP(exit) label_true: PUSH1(2) PUSH1(3) exit: STOP - data: | :label EOF1V5450_0102 :raw 0x @@ -3188,7 +3091,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0103 (Valid) Calls returning different number of outputs valid according to relaxed stack validation - Data index: 102 + # EOF1V5450_0103 (Valid) Calls returning different number of outputs valid according to relaxed stack validation - Data Index: 98 # Code[0](Types: 0:128): PUSH1(0) RJUMPI(label_true) label_false: CALLF(1) RJUMP(exit) label_true: CALLF(2) exit: STOP # Code[1](Types: 0:1): PUSH1(1) RETF # Code[2](Types: 0:2): PUSH1(1) DUP1 RETF @@ -3231,7 +3134,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1V5450_0104 (Valid) Jump table with different stack heights valid according to relaxed stack validation - Data index: 103 + # EOF1V5450_0104 (Valid) Jump table with different stack heights valid according to relaxed stack validation - Data Index: 99 # Code: PUSH1(0) RJUMPV(case1,case2) PUSH1(1) RJUMP(exit) case1: PUSH1(2) PUSH1(3) RJUMP(exit) case2: PUSH1(3) PUSH1(4) PUSH1(5) exit: STOP - data: | :label EOF1V5450_0104 :raw 0x @@ -3260,7 +3163,7 @@ validInvalid: # Data section (empty) # "Prague" : "ok." - # EOF1I5450_0001 (Invalid) Pushing loop - Data index: 104 + # EOF1I5450_0001 (Invalid) Pushing loop - Data Index: 100 # Code: start: PUSH1(0) RJUMP(start) - data: | :label EOF1I5450_0001 :raw 0x @@ -3281,7 +3184,7 @@ validInvalid: expectException: ">=Prague" : "EOF_ConflictingStackHeight" - # EOF1I5450_0002 (Invalid) Popping loop - Data index: 105 + # EOF1I5450_0002 (Invalid) Popping loop - Data Index: 101 # Code: PUSH1(0) DUP1 DUP1 start: POP RJUMP(start) - data: | :label EOF1I5450_0002 :raw 0x @@ -3305,7 +3208,7 @@ validInvalid: expectException: ">=Prague" : "EOF_ConflictingStackHeight" - # EOF1I5450_0003 (Invalid) Stack underflow for opcode ADD - Data index: 106 + # EOF1I5450_0003 (Invalid) Stack underflow for opcode ADD - Data Index: 102 # Code: PUSH1(1) ADD STOP - data: | :label EOF1I5450_0003 :raw 0x @@ -3327,7 +3230,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0004 (Invalid) Stack underflow for opcode MUL - Data index: 107 + # EOF1I5450_0004 (Invalid) Stack underflow for opcode MUL - Data Index: 103 # Code: PUSH1(1) MUL STOP - data: | :label EOF1I5450_0004 :raw 0x @@ -3349,7 +3252,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0005 (Invalid) Stack underflow for opcode SUB - Data index: 108 + # EOF1I5450_0005 (Invalid) Stack underflow for opcode SUB - Data Index: 104 # Code: PUSH1(1) SUB STOP - data: | :label EOF1I5450_0005 :raw 0x @@ -3371,7 +3274,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0006 (Invalid) Stack underflow for opcode DIV - Data index: 109 + # EOF1I5450_0006 (Invalid) Stack underflow for opcode DIV - Data Index: 105 # Code: PUSH1(1) DIV STOP - data: | :label EOF1I5450_0006 :raw 0x @@ -3393,7 +3296,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0007 (Invalid) Stack underflow for opcode SDIV - Data index: 110 + # EOF1I5450_0007 (Invalid) Stack underflow for opcode SDIV - Data Index: 106 # Code: PUSH1(1) SDIV STOP - data: | :label EOF1I5450_0007 :raw 0x @@ -3415,7 +3318,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0008 (Invalid) Stack underflow for opcode MOD - Data index: 111 + # EOF1I5450_0008 (Invalid) Stack underflow for opcode MOD - Data Index: 107 # Code: PUSH1(1) MOD STOP - data: | :label EOF1I5450_0008 :raw 0x @@ -3437,7 +3340,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0009 (Invalid) Stack underflow for opcode SMOD - Data index: 112 + # EOF1I5450_0009 (Invalid) Stack underflow for opcode SMOD - Data Index: 108 # Code: PUSH1(1) SMOD STOP - data: | :label EOF1I5450_0009 :raw 0x @@ -3459,7 +3362,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0010 (Invalid) Stack underflow for opcode ADDMOD - Data index: 113 + # EOF1I5450_0010 (Invalid) Stack underflow for opcode ADDMOD - Data Index: 109 # Code: PUSH1(1) PUSH1(1) ADDMOD STOP - data: | :label EOF1I5450_0010 :raw 0x @@ -3482,7 +3385,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0011 (Invalid) Stack underflow for opcode MULMOD - Data index: 114 + # EOF1I5450_0011 (Invalid) Stack underflow for opcode MULMOD - Data Index: 110 # Code: PUSH1(1) PUSH1(1) MULMOD STOP - data: | :label EOF1I5450_0011 :raw 0x @@ -3505,7 +3408,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0012 (Invalid) Stack underflow for opcode EXP - Data index: 115 + # EOF1I5450_0012 (Invalid) Stack underflow for opcode EXP - Data Index: 111 # Code: PUSH1(1) EXP STOP - data: | :label EOF1I5450_0012 :raw 0x @@ -3527,7 +3430,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0013 (Invalid) Stack underflow for opcode SIGNEXTEND - Data index: 116 + # EOF1I5450_0013 (Invalid) Stack underflow for opcode SIGNEXTEND - Data Index: 112 # Code: PUSH1(1) SIGNEXTEND STOP - data: | :label EOF1I5450_0013 :raw 0x @@ -3549,7 +3452,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0014 (Invalid) Stack underflow for opcode LT - Data index: 117 + # EOF1I5450_0014 (Invalid) Stack underflow for opcode LT - Data Index: 113 # Code: PUSH1(1) LT STOP - data: | :label EOF1I5450_0014 :raw 0x @@ -3571,7 +3474,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0015 (Invalid) Stack underflow for opcode GT - Data index: 118 + # EOF1I5450_0015 (Invalid) Stack underflow for opcode GT - Data Index: 114 # Code: PUSH1(1) GT STOP - data: | :label EOF1I5450_0015 :raw 0x @@ -3593,7 +3496,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0016 (Invalid) Stack underflow for opcode SLT - Data index: 119 + # EOF1I5450_0016 (Invalid) Stack underflow for opcode SLT - Data Index: 115 # Code: PUSH1(1) SLT STOP - data: | :label EOF1I5450_0016 :raw 0x @@ -3615,7 +3518,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0017 (Invalid) Stack underflow for opcode SGT - Data index: 120 + # EOF1I5450_0017 (Invalid) Stack underflow for opcode SGT - Data Index: 116 # Code: PUSH1(1) SGT STOP - data: | :label EOF1I5450_0017 :raw 0x @@ -3637,7 +3540,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0018 (Invalid) Stack underflow for opcode EQ - Data index: 121 + # EOF1I5450_0018 (Invalid) Stack underflow for opcode EQ - Data Index: 117 # Code: PUSH1(1) EQ STOP - data: | :label EOF1I5450_0018 :raw 0x @@ -3659,7 +3562,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0019 (Invalid) Stack underflow for opcode ISZERO - Data index: 122 + # EOF1I5450_0019 (Invalid) Stack underflow for opcode ISZERO - Data Index: 118 # Code: ISZERO STOP - data: | :label EOF1I5450_0019 :raw 0x @@ -3680,7 +3583,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0020 (Invalid) Stack underflow for opcode AND - Data index: 123 + # EOF1I5450_0020 (Invalid) Stack underflow for opcode AND - Data Index: 119 # Code: PUSH1(1) AND STOP - data: | :label EOF1I5450_0020 :raw 0x @@ -3702,7 +3605,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0021 (Invalid) Stack underflow for opcode OR - Data index: 124 + # EOF1I5450_0021 (Invalid) Stack underflow for opcode OR - Data Index: 120 # Code: PUSH1(1) OR STOP - data: | :label EOF1I5450_0021 :raw 0x @@ -3724,7 +3627,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0022 (Invalid) Stack underflow for opcode XOR - Data index: 125 + # EOF1I5450_0022 (Invalid) Stack underflow for opcode XOR - Data Index: 121 # Code: PUSH1(1) XOR STOP - data: | :label EOF1I5450_0022 :raw 0x @@ -3746,7 +3649,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0023 (Invalid) Stack underflow for opcode NOT - Data index: 126 + # EOF1I5450_0023 (Invalid) Stack underflow for opcode NOT - Data Index: 122 # Code: NOT STOP - data: | :label EOF1I5450_0023 :raw 0x @@ -3767,7 +3670,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0024 (Invalid) Stack underflow for opcode BYTE - Data index: 127 + # EOF1I5450_0024 (Invalid) Stack underflow for opcode BYTE - Data Index: 123 # Code: PUSH1(1) BYTE STOP - data: | :label EOF1I5450_0024 :raw 0x @@ -3789,7 +3692,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0025 (Invalid) Stack underflow for opcode SHL - Data index: 128 + # EOF1I5450_0025 (Invalid) Stack underflow for opcode SHL - Data Index: 124 # Code: PUSH1(1) SHL STOP - data: | :label EOF1I5450_0025 :raw 0x @@ -3811,7 +3714,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0026 (Invalid) Stack underflow for opcode SHR - Data index: 129 + # EOF1I5450_0026 (Invalid) Stack underflow for opcode SHR - Data Index: 125 # Code: PUSH1(1) SHR STOP - data: | :label EOF1I5450_0026 :raw 0x @@ -3833,7 +3736,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0027 (Invalid) Stack underflow for opcode SAR - Data index: 130 + # EOF1I5450_0027 (Invalid) Stack underflow for opcode SAR - Data Index: 126 # Code: PUSH1(1) SAR STOP - data: | :label EOF1I5450_0027 :raw 0x @@ -3855,7 +3758,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0028 (Invalid) Stack underflow for opcode SHA3 - Data index: 131 + # EOF1I5450_0028 (Invalid) Stack underflow for opcode SHA3 - Data Index: 127 # Code: PUSH1(1) SHA3 STOP - data: | :label EOF1I5450_0028 :raw 0x @@ -3877,7 +3780,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0029 (Invalid) Stack underflow for opcode BALANCE - Data index: 132 + # EOF1I5450_0029 (Invalid) Stack underflow for opcode BALANCE - Data Index: 128 # Code: BALANCE STOP - data: | :label EOF1I5450_0029 :raw 0x @@ -3898,7 +3801,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0030 (Invalid) Stack underflow for opcode CALLDATALOAD - Data index: 133 + # EOF1I5450_0030 (Invalid) Stack underflow for opcode CALLDATALOAD - Data Index: 129 # Code: CALLDATALOAD STOP - data: | :label EOF1I5450_0030 :raw 0x @@ -3919,7 +3822,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0031 (Invalid) Stack underflow for opcode CALLDATACOPY - Data index: 134 + # EOF1I5450_0031 (Invalid) Stack underflow for opcode CALLDATACOPY - Data Index: 130 # Code: PUSH1(1) PUSH1(1) CALLDATACOPY STOP - data: | :label EOF1I5450_0031 :raw 0x @@ -3942,75 +3845,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0032 (Invalid) Stack underflow for opcode CODECOPY - Data index: 135 - # Code: PUSH1(1) PUSH1(1) CODECOPY STOP - - data: | - :label EOF1I5450_0032 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0006 # Code section 0 , 6 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0002 # max stack: 2 - # Code section 0 - 6001 # [0] PUSH1(1) - 6001 # [2] PUSH1(1) - 39 # [4] CODECOPY - 00 # [5] STOP - # Data section (empty) - expectException: - ">=Prague" : "EOF_StackUnderflow" - - # EOF1I5450_0033 (Invalid) Stack underflow for opcode EXTCODESIZE - Data index: 136 - # Code: EXTCODESIZE STOP - - data: | - :label EOF1I5450_0033 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0002 # Code section 0 , 2 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0000 # max stack: 0 - # Code section 0 - 3b # [0] EXTCODESIZE - 00 # [1] STOP - # Data section (empty) - expectException: - ">=Prague" : "EOF_StackUnderflow" - - # EOF1I5450_0034 (Invalid) Stack underflow for opcode EXTCODECOPY - Data index: 137 - # Code: PUSH1(1) PUSH1(1) PUSH1(1) EXTCODECOPY STOP - - data: | - :label EOF1I5450_0034 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0008 # Code section 0 , 8 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0003 # max stack: 3 - # Code section 0 - 6001 # [0] PUSH1(1) - 6001 # [2] PUSH1(1) - 6001 # [4] PUSH1(1) - 3c # [6] EXTCODECOPY - 00 # [7] STOP - # Data section (empty) - expectException: - ">=Prague" : "EOF_StackUnderflow" - - # EOF1I5450_0035 (Invalid) Stack underflow for opcode RETURNDATACOPY - Data index: 138 + # EOF1I5450_0035 (Invalid) Stack underflow for opcode RETURNDATACOPY - Data Index: 131 # Code: PUSH1(1) PUSH1(1) RETURNDATACOPY STOP - data: | :label EOF1I5450_0035 :raw 0x @@ -4033,28 +3868,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0036 (Invalid) Stack underflow for opcode EXTCODEHASH - Data index: 139 - # Code: EXTCODEHASH STOP - - data: | - :label EOF1I5450_0036 :raw 0x - EF0001 # Magic and Version ( 1 ) - 010004 # Types length ( 4 ) - 020001 # Total code sections ( 1 ) - 0002 # Code section 0 , 2 bytes - 040000 # Data section length ( 0 ) - 00 # Terminator (end of header) - # Code 0 types - 00 # 0 inputs - 80 # 0 outputs (Non-returning function) - 0000 # max stack: 0 - # Code section 0 - 3f # [0] EXTCODEHASH - 00 # [1] STOP - # Data section (empty) - expectException: - ">=Prague" : "EOF_StackUnderflow" - - # EOF1I5450_0037 (Invalid) Stack underflow for opcode BLOCKHASH - Data index: 140 + # EOF1I5450_0037 (Invalid) Stack underflow for opcode BLOCKHASH - Data Index: 132 # Code: BLOCKHASH STOP - data: | :label EOF1I5450_0037 :raw 0x @@ -4075,7 +3889,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0038 (Invalid) Stack underflow for opcode BLOBHASH - Data index: 141 + # EOF1I5450_0038 (Invalid) Stack underflow for opcode BLOBHASH - Data Index: 133 # Code: BLOBHASH STOP - data: | :label EOF1I5450_0038 :raw 0x @@ -4096,7 +3910,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0039 (Invalid) Stack underflow for opcode POP - Data index: 142 + # EOF1I5450_0039 (Invalid) Stack underflow for opcode POP - Data Index: 134 # Code: POP STOP - data: | :label EOF1I5450_0039 :raw 0x @@ -4117,7 +3931,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0040 (Invalid) Stack underflow for opcode MLOAD - Data index: 143 + # EOF1I5450_0040 (Invalid) Stack underflow for opcode MLOAD - Data Index: 135 # Code: MLOAD STOP - data: | :label EOF1I5450_0040 :raw 0x @@ -4138,7 +3952,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0041 (Invalid) Stack underflow for opcode MSTORE - Data index: 144 + # EOF1I5450_0041 (Invalid) Stack underflow for opcode MSTORE - Data Index: 136 # Code: PUSH1(1) MSTORE STOP - data: | :label EOF1I5450_0041 :raw 0x @@ -4160,7 +3974,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0042 (Invalid) Stack underflow for opcode MSTORE8 - Data index: 145 + # EOF1I5450_0042 (Invalid) Stack underflow for opcode MSTORE8 - Data Index: 137 # Code: PUSH1(1) MSTORE8 STOP - data: | :label EOF1I5450_0042 :raw 0x @@ -4182,7 +3996,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0043 (Invalid) Stack underflow for opcode SLOAD - Data index: 146 + # EOF1I5450_0043 (Invalid) Stack underflow for opcode SLOAD - Data Index: 138 # Code: SLOAD STOP - data: | :label EOF1I5450_0043 :raw 0x @@ -4203,7 +4017,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0044 (Invalid) Stack underflow for opcode SSTORE - Data index: 147 + # EOF1I5450_0044 (Invalid) Stack underflow for opcode SSTORE - Data Index: 139 # Code: PUSH1(1) SSTORE STOP - data: | :label EOF1I5450_0044 :raw 0x @@ -4225,7 +4039,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0045 (Invalid) Stack underflow for opcode MCOPY - Data index: 148 + # EOF1I5450_0045 (Invalid) Stack underflow for opcode MCOPY - Data Index: 140 # Code: PUSH1(1) PUSH1(1) MCOPY STOP - data: | :label EOF1I5450_0045 :raw 0x @@ -4248,7 +4062,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0046 (Invalid) Stack underflow for opcode DUP1 - Data index: 149 + # EOF1I5450_0046 (Invalid) Stack underflow for opcode DUP1 - Data Index: 141 # Code: DUP1 STOP - data: | :label EOF1I5450_0046 :raw 0x @@ -4269,7 +4083,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0047 (Invalid) Stack underflow for opcode DUP2 - Data index: 150 + # EOF1I5450_0047 (Invalid) Stack underflow for opcode DUP2 - Data Index: 142 # Code: PUSH1(1) DUP2 STOP - data: | :label EOF1I5450_0047 :raw 0x @@ -4291,7 +4105,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0048 (Invalid) Stack underflow for opcode DUP3 - Data index: 151 + # EOF1I5450_0048 (Invalid) Stack underflow for opcode DUP3 - Data Index: 143 # Code: PUSH1(1) PUSH1(1) DUP3 STOP - data: | :label EOF1I5450_0048 :raw 0x @@ -4314,7 +4128,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP4 - Data index: 152 + # EOF1I5450_0049 (Invalid) Stack underflow for opcode DUP4 - Data Index: 144 # Code: PUSH1(1) PUSH1(1) PUSH1(1) DUP4 STOP - data: | :label EOF1I5450_0049 :raw 0x @@ -4338,7 +4152,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP5 - Data index: 153 + # EOF1I5450_0050 (Invalid) Stack underflow for opcode DUP5 - Data Index: 145 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP5 STOP - data: | :label EOF1I5450_0050 :raw 0x @@ -4363,7 +4177,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP6 - Data index: 154 + # EOF1I5450_0051 (Invalid) Stack underflow for opcode DUP6 - Data Index: 146 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP6 STOP - data: | :label EOF1I5450_0051 :raw 0x @@ -4389,7 +4203,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP7 - Data index: 155 + # EOF1I5450_0052 (Invalid) Stack underflow for opcode DUP7 - Data Index: 147 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP7 STOP - data: | :label EOF1I5450_0052 :raw 0x @@ -4416,7 +4230,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP8 - Data index: 156 + # EOF1I5450_0053 (Invalid) Stack underflow for opcode DUP8 - Data Index: 148 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP8 STOP - data: | :label EOF1I5450_0053 :raw 0x @@ -4444,7 +4258,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP9 - Data index: 157 + # EOF1I5450_0054 (Invalid) Stack underflow for opcode DUP9 - Data Index: 149 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP9 STOP - data: | :label EOF1I5450_0054 :raw 0x @@ -4473,7 +4287,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP10 - Data index: 158 + # EOF1I5450_0055 (Invalid) Stack underflow for opcode DUP10 - Data Index: 150 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP10 STOP - data: | :label EOF1I5450_0055 :raw 0x @@ -4503,7 +4317,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP11 - Data index: 159 + # EOF1I5450_0056 (Invalid) Stack underflow for opcode DUP11 - Data Index: 151 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP11 STOP - data: | :label EOF1I5450_0056 :raw 0x @@ -4534,7 +4348,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP12 - Data index: 160 + # EOF1I5450_0057 (Invalid) Stack underflow for opcode DUP12 - Data Index: 152 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP12 STOP - data: | :label EOF1I5450_0057 :raw 0x @@ -4566,7 +4380,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP13 - Data index: 161 + # EOF1I5450_0058 (Invalid) Stack underflow for opcode DUP13 - Data Index: 153 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP13 STOP - data: | :label EOF1I5450_0058 :raw 0x @@ -4599,7 +4413,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP14 - Data index: 162 + # EOF1I5450_0059 (Invalid) Stack underflow for opcode DUP14 - Data Index: 154 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP14 STOP - data: | :label EOF1I5450_0059 :raw 0x @@ -4633,7 +4447,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP15 - Data index: 163 + # EOF1I5450_0060 (Invalid) Stack underflow for opcode DUP15 - Data Index: 155 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP15 STOP - data: | :label EOF1I5450_0060 :raw 0x @@ -4668,7 +4482,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP16 - Data index: 164 + # EOF1I5450_0061 (Invalid) Stack underflow for opcode DUP16 - Data Index: 156 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DUP16 STOP - data: | :label EOF1I5450_0061 :raw 0x @@ -4704,7 +4518,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0062 (Invalid) Stack underflow for opcode SWAP1 - Data index: 165 + # EOF1I5450_0062 (Invalid) Stack underflow for opcode SWAP1 - Data Index: 157 # Code: PUSH1(1) SWAP1 STOP - data: | :label EOF1I5450_0062 :raw 0x @@ -4726,7 +4540,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0063 (Invalid) Stack underflow for opcode SWAP2 - Data index: 166 + # EOF1I5450_0063 (Invalid) Stack underflow for opcode SWAP2 - Data Index: 158 # Code: PUSH1(1) PUSH1(1) SWAP2 STOP - data: | :label EOF1I5450_0063 :raw 0x @@ -4749,7 +4563,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0064 (Invalid) Stack underflow for opcode SWAP3 - Data index: 167 + # EOF1I5450_0064 (Invalid) Stack underflow for opcode SWAP3 - Data Index: 159 # Code: PUSH1(1) PUSH1(1) PUSH1(1) SWAP3 STOP - data: | :label EOF1I5450_0064 :raw 0x @@ -4773,7 +4587,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP4 - Data index: 168 + # EOF1I5450_0065 (Invalid) Stack underflow for opcode SWAP4 - Data Index: 160 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP4 STOP - data: | :label EOF1I5450_0065 :raw 0x @@ -4798,7 +4612,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP5 - Data index: 169 + # EOF1I5450_0066 (Invalid) Stack underflow for opcode SWAP5 - Data Index: 161 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP5 STOP - data: | :label EOF1I5450_0066 :raw 0x @@ -4824,7 +4638,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP6 - Data index: 170 + # EOF1I5450_0067 (Invalid) Stack underflow for opcode SWAP6 - Data Index: 162 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP6 STOP - data: | :label EOF1I5450_0067 :raw 0x @@ -4851,7 +4665,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP7 - Data index: 171 + # EOF1I5450_0068 (Invalid) Stack underflow for opcode SWAP7 - Data Index: 163 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP7 STOP - data: | :label EOF1I5450_0068 :raw 0x @@ -4879,7 +4693,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP8 - Data index: 172 + # EOF1I5450_0069 (Invalid) Stack underflow for opcode SWAP8 - Data Index: 164 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP8 STOP - data: | :label EOF1I5450_0069 :raw 0x @@ -4908,7 +4722,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP9 - Data index: 173 + # EOF1I5450_0070 (Invalid) Stack underflow for opcode SWAP9 - Data Index: 165 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP9 STOP - data: | :label EOF1I5450_0070 :raw 0x @@ -4938,7 +4752,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP10 - Data index: 174 + # EOF1I5450_0071 (Invalid) Stack underflow for opcode SWAP10 - Data Index: 166 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP10 STOP - data: | :label EOF1I5450_0071 :raw 0x @@ -4969,7 +4783,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP11 - Data index: 175 + # EOF1I5450_0072 (Invalid) Stack underflow for opcode SWAP11 - Data Index: 167 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP11 STOP - data: | :label EOF1I5450_0072 :raw 0x @@ -5001,7 +4815,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP12 - Data index: 176 + # EOF1I5450_0073 (Invalid) Stack underflow for opcode SWAP12 - Data Index: 168 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP12 STOP - data: | :label EOF1I5450_0073 :raw 0x @@ -5034,7 +4848,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP13 - Data index: 177 + # EOF1I5450_0074 (Invalid) Stack underflow for opcode SWAP13 - Data Index: 169 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP13 STOP - data: | :label EOF1I5450_0074 :raw 0x @@ -5068,7 +4882,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP14 - Data index: 178 + # EOF1I5450_0075 (Invalid) Stack underflow for opcode SWAP14 - Data Index: 170 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP14 STOP - data: | :label EOF1I5450_0075 :raw 0x @@ -5103,7 +4917,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP15 - Data index: 179 + # EOF1I5450_0076 (Invalid) Stack underflow for opcode SWAP15 - Data Index: 171 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP15 STOP - data: | :label EOF1I5450_0076 :raw 0x @@ -5139,7 +4953,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP16 - Data index: 180 + # EOF1I5450_0077 (Invalid) Stack underflow for opcode SWAP16 - Data Index: 172 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) SWAP16 STOP - data: | :label EOF1I5450_0077 :raw 0x @@ -5176,7 +4990,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0078 (Invalid) Stack underflow for opcode LOG0 - Data index: 181 + # EOF1I5450_0078 (Invalid) Stack underflow for opcode LOG0 - Data Index: 173 # Code: PUSH1(1) LOG0 STOP - data: | :label EOF1I5450_0078 :raw 0x @@ -5198,7 +5012,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0079 (Invalid) Stack underflow for opcode LOG1 - Data index: 182 + # EOF1I5450_0079 (Invalid) Stack underflow for opcode LOG1 - Data Index: 174 # Code: PUSH1(1) PUSH1(1) LOG1 STOP - data: | :label EOF1I5450_0079 :raw 0x @@ -5221,7 +5035,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0080 (Invalid) Stack underflow for opcode LOG2 - Data index: 183 + # EOF1I5450_0080 (Invalid) Stack underflow for opcode LOG2 - Data Index: 175 # Code: PUSH1(1) PUSH1(1) PUSH1(1) LOG2 STOP - data: | :label EOF1I5450_0080 :raw 0x @@ -5245,7 +5059,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG3 - Data index: 184 + # EOF1I5450_0081 (Invalid) Stack underflow for opcode LOG3 - Data Index: 176 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) LOG3 STOP - data: | :label EOF1I5450_0081 :raw 0x @@ -5270,7 +5084,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG4 - Data index: 185 + # EOF1I5450_0082 (Invalid) Stack underflow for opcode LOG4 - Data Index: 177 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) LOG4 STOP - data: | :label EOF1I5450_0082 :raw 0x @@ -5296,7 +5110,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0083 (Invalid) Stack underflow for opcode CALL - Data index: 186 + # EOF1I5450_0083 (Invalid) Stack underflow for opcode CALL - Data Index: 178 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) CALL STOP - data: | :label EOF1I5450_0083 :raw 0x @@ -5323,7 +5137,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0084 (Invalid) Stack underflow for opcode RETURN - Data index: 187 + # EOF1I5450_0084 (Invalid) Stack underflow for opcode RETURN - Data Index: 179 # Code: PUSH1(1) RETURN - data: | :label EOF1I5450_0084 :raw 0x @@ -5344,7 +5158,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0085 (Invalid) Stack underflow for opcode DELEGATECALL - Data index: 188 + # EOF1I5450_0085 (Invalid) Stack underflow for opcode DELEGATECALL - Data Index: 180 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) DELEGATECALL STOP - data: | :label EOF1I5450_0085 :raw 0x @@ -5370,7 +5184,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0086 (Invalid) Stack underflow for opcode STATICCALL - Data index: 189 + # EOF1I5450_0086 (Invalid) Stack underflow for opcode STATICCALL - Data Index: 181 # Code: PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) PUSH1(1) STATICCALL STOP - data: | :label EOF1I5450_0086 :raw 0x @@ -5396,7 +5210,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0087 (Invalid) Stack underflow for opcode REVERT - Data index: 190 + # EOF1I5450_0087 (Invalid) Stack underflow for opcode REVERT - Data Index: 182 # Code: PUSH1(1) REVERT - data: | :label EOF1I5450_0087 :raw 0x @@ -5417,7 +5231,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0088 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - Data index: 191 + # EOF1I5450_0088 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enough parameters - Data Index: 183 # Code[0](Types: 0:128): CALLF(1) STOP # Code[1](Types: 1:0): PUSH1(0) DUP1 CALLF(2) RETF # Code[2](Types: 2:0): POP POP RETF @@ -5459,7 +5273,7 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0089 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - Data index: 192 + # EOF1I5450_0089 (Invalid) Calling function without enough stack items: Function 0 calls Function 1 without enought parameters, Function 1 calls Function 2 without enough parameers - Data Index: 184 # Code[0](Types: 0:128): CALLF(1) STOP # Code[1](Types: 1:0): PUSH1(0) CALLF(2) RETF # Code[2](Types: 2:0): POP POP CALLF(3) RETF @@ -5501,14 +5315,14 @@ validInvalid: expectException: ">=Prague" : "EOF_StackUnderflow" - # EOF1I5450_0090 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - Data index: 193 + # EOF1I5450_0090 (Invalid) Stack Overflow: Function pushing more than 1024 items to the stack - Data Index: 185 # Code: PUSH1(0) (1024 Times) - data: | :label EOF1I5450_0090 :raw 0xef0001010004020001080004000000008004006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000600060006000 expectException: ">=Prague" : "EOF_MaxStackHeightExceeded" - # EOF1I5450_0091 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - Data index: 194 + # EOF1I5450_0091 (Invalid) Stack Overflow: Function 1 when called by Function 0 pushes more than 1024 items to the stack - Data Index: 186 # Code[0](Types: 0:128): PUSH1(0) (1020 Times) CALLF(1) # Code[1](Types: 0:5): PUSH1(0) (5 Times) RETF - data: | @@ -5516,7 +5330,7 @@ validInvalid: expectException: ">=Prague" : "EOF_MaxStackHeightExceeded" - # EOF1I5450_0092 (Invalid) Function ending with non-terminating instruction (a) - Data index: 195 + # EOF1I5450_0092 (Invalid) Function ending with non-terminating instruction (a) - Data Index: 187 # Code: PUSH1(0) - data: | :label EOF1I5450_0092 :raw 0x @@ -5536,7 +5350,7 @@ validInvalid: expectException: ">=Prague" : "EOF_InvalidCodeTermination" - # EOF1I5450_0093 (Invalid) Function ending with non-terminating instruction (b) - Data index: 196 + # EOF1I5450_0093 (Invalid) Function ending with non-terminating instruction (b) - Data Index: 188 # Code: PUSH1(0) RJUMPI(exit) STOP exit: NOP - data: | :label EOF1I5450_0093 :raw 0x @@ -5559,7 +5373,7 @@ validInvalid: expectException: ">=Prague" : "EOF_InvalidCodeTermination" - # EOF1I5450_0094 (Invalid) Function ending with non-terminating instruction (c) - Data index: 197 + # EOF1I5450_0094 (Invalid) Function ending with non-terminating instruction (c) - Data Index: 189 # Code: PUSH1(0) RJUMPV(case1,case2) INVALID case1: STOP case2: NOP - data: | :label EOF1I5450_0094 :raw 0x @@ -5583,7 +5397,7 @@ validInvalid: expectException: ">=Prague" : "EOF_InvalidCodeTermination" - # EOF1I5450_0095 (Invalid) Function containing unreachable code after RETURN - Data index: 198 + # EOF1I5450_0095 (Invalid) Function containing unreachable code after RETURN - Data Index: 190 # Code: PUSH1(0) PUSH1(0) RETURN STOP - data: | :label EOF1I5450_0095 :raw 0x @@ -5606,7 +5420,7 @@ validInvalid: expectException: ">=Prague" : "EOF_UnreachableCode" - # EOF1I5450_0096 (Invalid) Function containing unreachable code after REVERT - Data index: 199 + # EOF1I5450_0096 (Invalid) Function containing unreachable code after REVERT - Data Index: 191 # Code: PUSH1(0) PUSH1(0) REVERT STOP - data: | :label EOF1I5450_0096 :raw 0x @@ -5629,7 +5443,7 @@ validInvalid: expectException: ">=Prague" : "EOF_UnreachableCode" - # EOF1I5450_0097 (Invalid) Unreachable code after RJUMP - Data index: 200 + # EOF1I5450_0097 (Invalid) Unreachable code after RJUMP - Data Index: 192 # Code: RJUMP(start) PUSH1(0) start: PUSH1(0) STOP - data: | :label EOF1I5450_0097 :raw 0x @@ -5652,7 +5466,7 @@ validInvalid: expectException: ">=Prague" : "EOF_UnreachableCode" - # EOF1I5450_0098 (Invalid) Unreachable code after infinite loop - Data index: 201 + # EOF1I5450_0098 (Invalid) Unreachable code after infinite loop - Data Index: 193 # Code: RJUMP(start) PUSH1(0) start: PUSH1(0) POP RJUMP(start) STOP - data: | :label EOF1I5450_0098 :raw 0x