test_rjumpv_condition()Test RJUMPV contract switching based on external input
| Test ID | table_size | calldata |
|---|---|---|
| t1-c0 | 1 | 0 |
| t1-c1 | 1 | 1 |
| t1-c3 | 1 | 3 |
| t1-c255 | 1 | 255 |
| t1-c256 | 1 | 256 |
| t1-c2^256-1 | 1 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t3-c0 | 3 | 0 |
| t3-c1 | 3 | 1 |
| t3-c3 | 3 | 3 |
| t3-c255 | 3 | 255 |
| t3-c256 | 3 | 256 |
| t3-c2^256-1 | 3 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t256-c0 | 256 | 0 |
| t256-c1 | 256 | 1 |
| t256-c3 | 256 | 3 |
| t256-c255 | 256 | 255 |
| t256-c256 | 256 | 256 |
| t256-c2^256-1 | 256 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t1-c0 | 1 | 0 |
| t1-c1 | 1 | 1 |
| t1-c3 | 1 | 3 |
| t1-c255 | 1 | 255 |
| t1-c256 | 1 | 256 |
| t1-c2^256-1 | 1 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t3-c0 | 3 | 0 |
| t3-c1 | 3 | 1 |
| t3-c3 | 3 | 3 |
| t3-c255 | 3 | 255 |
| t3-c256 | 3 | 256 |
| t3-c2^256-1 | 3 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t256-c0 | 256 | 0 |
| t256-c1 | 256 | 1 |
| t256-c3 | 256 | 3 |
| t256-c255 | 256 | 255 |
| t256-c256 | 256 | 256 |
| t256-c2^256-1 | 256 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t1-c0 | 1 | 0 |
| t1-c1 | 1 | 1 |
| t1-c3 | 1 | 3 |
| t1-c255 | 1 | 255 |
| t1-c256 | 1 | 256 |
| t1-c2^256-1 | 1 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t3-c0 | 3 | 0 |
| t3-c1 | 3 | 1 |
| t3-c3 | 3 | 3 |
| t3-c255 | 3 | 255 |
| t3-c256 | 3 | 256 |
| t3-c2^256-1 | 3 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |
| t256-c0 | 256 | 0 |
| t256-c1 | 256 | 1 |
| t256-c3 | 256 | 3 |
| t256-c255 | 256 | 255 |
| t256-c256 | 256 | 256 |
| t256-c2^256-1 | 256 | 115792089237316195423570985008687907853269984665640564039457584007913129639935 |