Skip to content

test_rjump_backwards_illegal_stack_height()

Documentation for tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjump.py::test_rjump_backwards_illegal_stack_height@b48d1dc8.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjump.py::test_rjump_backwards_illegal_stack_height --fork Osaka

Invalid backward jump, found via fuzzing coverage.

Source code in tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjump.py 
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
def test_rjump_backwards_illegal_stack_height(
    eof_test: EOFTestFiller,
):
    """Invalid backward jump, found via fuzzing coverage."""
    eof_test(
        container=Container.Code(
            code=(
                Op.PUSH0
                + Op.RJUMPI[3]
                + Op.RJUMP(7)
                + Op.PUSH2[0x2015]
                + Op.PUSH3[0x015500]
                + Op.RJUMP[-10]
            ),
            max_stack_increase=0x24,
        ),
        expect_exception=EOFException.STACK_HEIGHT_MISMATCH,
    )

Parametrized Test Cases

This test case is only parametrized by fork and fixture format.

Test ID (Abbreviated)
...fork_Osaka-eof_test
...fork_Osaka-state_test_from_eof_test
...fork_Osaka-blockchain_test_from_eof_test