Skip to content

test_returning_section_returncode()

Documentation for tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_nonreturning_validation.py::test_returning_section_returncode@3719e927.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_nonreturning_validation.py::test_returning_section_returncode --fork Osaka

Test EOF validation failing because a returning section has no RETF or JUMPF-to-returning - RETURNCODE version.

Source code in tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_nonreturning_validation.py 
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
@pytest.mark.parametrize(
    "code_section",
    [
        pytest.param(Section.Code(Op.RETURNCODE[0](0, 0), code_outputs=0), id="returncode0"),
        pytest.param(
            Section.Code(Op.PUSH0 + Op.RETURNCODE[0](0, 0), code_outputs=1),
            id="returncode1",
        ),
    ],
)
def test_returning_section_returncode(eof_test: EOFTestFiller, code_section: Section):
    """
    Test EOF validation failing because a returning section has no RETF or JUMPF-to-returning -
    RETURNCODE version.
    """
    eof_test(
        container=Container(
            sections=[
                Section.Code(Op.CALLF[1] + Op.INVALID, max_stack_height=code_section.code_outputs),
                code_section,
            ]
            + [Section.Container(Container.Code(Op.INVALID))],
            validity_error=EOFException.INVALID_NON_RETURNING_FLAG,
            kind=ContainerKind.INITCODE,
        )
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Test ID (Abbreviated) code_section
...fork_Osaka-eof_test-returncode0 data=b'`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=0 max_stack_increase=2 max_stack_height=None auto_max_stack_height=False auto_code_inputs_outputs=False skip_header_listing=False skip_body_listing=False skip_types_body_listing=False skip_types_header_listing=False
...fork_Osaka-eof_test-returncode1 data=b'_`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=1 max_stack_increase=3 max_stack_height=None auto_max_stack_height=False auto_code_inputs_outputs=False skip_header_listing=False skip_body_listing=False skip_types_body_listing=False skip_types_header_listing=False
...fork_Osaka-state_test_from_eof_test-returncode0 data=b'`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=0 max_stack_increase=2 max_stack_height=None auto_max_stack_height=False auto_code_inputs_outputs=False skip_header_listing=False skip_body_listing=False skip_types_body_listing=False skip_types_header_listing=False
...fork_Osaka-state_test_from_eof_test-returncode1 data=b'_`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=1 max_stack_increase=3 max_stack_height=None auto_max_stack_height=False auto_code_inputs_outputs=False skip_header_listing=False skip_body_listing=False skip_types_body_listing=False skip_types_header_listing=False
...fork_Osaka-blockchain_test_from_eof_test-returncode0 data=b'`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=0 max_stack_increase=2 max_stack_height=None auto_max_stack_height=False auto_code_inputs_outputs=False skip_header_listing=False skip_body_listing=False skip_types_body_listing=False skip_types_header_listing=False
...fork_Osaka-blockchain_test_from_eof_test-returncode1 data=b'_`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=1 max_stack_increase=3 max_stack_height=None auto_max_stack_height=False auto_code_inputs_outputs=False skip_header_listing=False skip_body_listing=False skip_types_body_listing=False skip_types_header_listing=False