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@21fb11c8.

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
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
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_height=0x24,
        ),
        expect_exception=EOFException.STACK_HEIGHT_MISMATCH,
    )

Parametrized Test Cases

This test case is only parametrized by fork.

Test ID (Abbreviated)
...fork_Osaka-eof_test