test_callf_to_non_returning_section()

Documentation for tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py::test_callf_to_non_returning_section@21fb11c8.

Generate fixtures for these test cases for Osaka with:

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

Tests CALLF into a non-returning section.

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

def test_callf_to_non_returning_section(
    eof_state_test: EOFStateTestFiller,
):
    """Tests CALLF into a non-returning section."""
    eof_state_test(
        container=Container(
            sections=[
                Section.Code(
                    code=Op.CALLF[1],
                ),
                Section.Code(
                    code=Op.STOP,
                    code_outputs=0,
                ),
            ],
            validity_error=EOFException.MISSING_STOP_OPCODE,
        ),
    )

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