Skip to content

test_eof_validity()

Documentation for tests/prague/eip7692_eof_v1/eip4750_functions/test_code_validation.py::test_eof_validity@verkle@v0.0.6.

Generate fixtures for these test cases for Pragueeip7692 with:

Pragueeip7692 only: 

fill -v tests/prague/eip7692_eof_v1/eip4750_functions/test_code_validation.py::test_eof_validity --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/eip4750_functions/test_code_validation.py::test_eof_validity --until=PragueEIP7692

Test EOF container validaiton for features around EIP-4750 / Functions / Code Sections

Source code in tests/prague/eip7692_eof_v1/eip4750_functions/test_code_validation.py 
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
@pytest.mark.parametrize(
    "container",
    [*VALID, *INVALID],
    ids=container_name,
)
def test_eof_validity(
    eof_test: EOFTestFiller,
    container: Container,
):
    """
    Test EOF container validaiton for features around EIP-4750 / Functions / Code Sections
    """
    eof_test(
        data=bytes(container),
        expect_exception=container.validity_error,
    )

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 container
retf_code_input_output retf_code_input_output
stack_height_equal_code_outputs_retf_zero_stop stack_height_equal_code_outputs_retf_zero_stop
callf_max_code_sections_1 callf_max_code_sections_1
callf_max_code_sections_2 callf_max_code_sections_2
function_underflow function_underflow
stack_higher_than_code_outputs stack_higher_than_code_outputs
stack_shorter_than_code_outputs stack_shorter_than_code_outputs
oob_callf_1 oob_callf_1
overflow_code_sections_1 overflow_code_sections_1