Skip to content

test_double_rjumpi_stack_underflow()

Documentation for tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpi.py::test_double_rjumpi_stack_underflow@21fb11c8.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpi.py::test_double_rjumpi_stack_underflow --fork Osaka

Two RJUMPIs, causing the min stack to underflow.

Source code in tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpi.py
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
def test_double_rjumpi_stack_underflow(
    eof_test: EOFTestFiller,
):
    """Two RJUMPIs, causing the min stack to underflow."""
    container = Container.Code(
        code=(
            Op.PUSH0  # (0, 0)
            + Op.PUSH0  # (1, 1)
            + Op.RJUMPI[5]  # (2, 2) To RETURN
            + Op.PUSH0  # (1, 1)
            + Op.PUSH0  # (2, 2)
            + Op.RJUMPI[0]  # (3, 3)
            + Op.RETURN  # (1, 2) Underflow
        ),
        max_stack_height=3,
    )
    eof_test(
        container=container,
        expect_exception=EOFException.STACK_UNDERFLOW,
    )

Parametrized Test Cases

This test case is only parametrized by fork.

Test ID (Abbreviated)
...fork_Osaka-eof_test