test_container_combos_invalid()

Documentation for tests/prague/eip7692_eof_v1/eip7620_eof_create/test_subcontainer_validation.py::test_container_combos_invalid@verkle@v0.0.6.

Generate fixtures for these test cases for Pragueeip7692 with:

Pragueeip7692 only:

fill -v tests/prague/eip7692_eof_v1/eip7620_eof_create/test_subcontainer_validation.py::test_container_combos_invalid --fork=PragueEIP7692 --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Pragueeip7692:

fill -v tests/prague/eip7692_eof_v1/eip7620_eof_create/test_subcontainer_validation.py::test_container_combos_invalid --until=PragueEIP7692

Test invalid subcontainer reference / opcode combos

Source code in tests/prague/eip7692_eof_v1/eip7620_eof_create/test_subcontainer_validation.py

@pytest.mark.parametrize(
    "code_section,first_sub_container,container_kind",
    [
        pytest.param(
            eofcreate_code_section,
            stop_sub_container,
            ContainerKind.RUNTIME,
            id="EOFCREATE_STOP",
        ),
        pytest.param(
            eofcreate_code_section,
            return_sub_container,
            ContainerKind.RUNTIME,
            id="EOFCREATE_RETURN",
        ),
        pytest.param(
            returncontract_code_section,
            returncontract_sub_container,
            ContainerKind.INITCODE,
            id="RETURNCONTRACT_RETURNCONTRACT",
        ),
    ],
)
def test_container_combos_invalid(
    eof_test: EOFTestFiller,
    code_section: Section,
    first_sub_container: Container,
    container_kind: ContainerKind,
):
    """Test invalid subcontainer reference / opcode combos"""
    eof_test(
        data=Container(
            sections=[
                code_section,
                first_sub_container,
            ],
            kind=container_kind,
        ),
        expect_exception=EOFException.INCOMPATIBLE_CONTAINER_KIND,
    )

Parametrized Test Cases

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

Skipped Parameters

For more concise readability, the table below does not list the following parameter values: fork, blockchain_test, state_test, state_test_only, eof_test, eof_state_test.

Test ID	code_section	first_sub_container	container_kind
EOFCREATE_STOP	data=b'`\x00`\x00`\x00`\x00\xec\x00a \x15`\x01U\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=128 max_stack_height=4 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	data=b'\xef\x00\x01\x01\x00\x04\x02\x00\x01\x00\x01\x04\x00\x00\x00\x00\x80\x00\x00\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=128 max_stack_height=0 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	RUNTIME
EOFCREATE_RETURN	data=b'`\x00`\x00`\x00`\x00\xec\x00a \x15`\x01U\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=128 max_stack_height=4 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	data=b'\xef\x00\x01\x01\x00\x04\x02\x00\x01\x00\x05\x04\x00\x00\x00\x00\x80\x00\x02`\x00`\x00\xf3' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=128 max_stack_height=0 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	RUNTIME
RETURNCONTRACT_RETURNCONTRACT	data=b'a \x15`\x01U`\x00`\x00\xee\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=128 max_stack_height=2 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	data=b'\xef\x00\x01\x01\x00\x04\x02\x00\x01\x00\x06\x03\x00\x01\x00\x14\x04\x00\x00\x00\x00\x80\x00\x02`\x00`\x00\xee\x00\xef\x00\x01\x01\x00\x04\x02\x00\x01\x00\x01\x04\x00\x00\x00\x00\x80\x00\x00\x00' custom_size=0 kind= force_type_listing=False code_inputs=0 code_outputs=128 max_stack_height=0 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	INITCODE