test_jumpf_with_inputs_stack_overflow()

Documentation for tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py::test_jumpf_with_inputs_stack_overflow@fbd9cb20.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py::test_jumpf_with_inputs_stack_overflow --fork Osaka

Test stack overflowing 1024 items in JUMPF target function with inputs.

Source code in tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py

def test_jumpf_with_inputs_stack_overflow(
    eof_state_test: EOFStateTestFiller,
):
    """Test stack overflowing 1024 items in JUMPF target function with inputs."""
    eof_state_test(
        container=Container(
            sections=[
                Section.Code(
                    code=Op.PUSH0 * 1023
                    + Op.CALLF[1]
                    + Op.POP * 1023
                    + Op.SSTORE(slot_code_worked, value_code_worked)
                    + Op.RETURN(0, 0),
                    max_stack_height=1023,
                ),
                Section.Code(
                    # Stack has 1023 items
                    Op.JUMPF[2],
                    code_inputs=3,
                    code_outputs=3,
                    max_stack_height=3,
                ),
                Section.Code(
                    Op.PUSH0
                    + Op.PUSH0
                    +
                    # Runtime stackoverflow
                    Op.POP
                    + Op.POP
                    + Op.RETF,
                    code_inputs=3,
                    code_outputs=3,
                    max_stack_height=5,
                ),
            ],
        ),
        container_post=Account(storage={slot_code_worked: 0}),
    )

Parametrized Test Cases

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

Fork All Forks Osaka

Fixture Type All Fixture Types eof_test state_test blockchain_test

Test ID (Abbreviated)
...fork_Osaka-eof_test
...fork_Osaka-eof_state_test
...fork_Osaka-eof_blockchain_test