Test Nonretruning Validation¶

Generate fixtures for these test cases for Pragueeip7692 with:

Pragueeip7692 only:

fill -v tests/prague/eip7692_eof_v1/eip6206_jumpf/test_nonretruning_validation.py --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/eip6206_jumpf/test_nonretruning_validation.py --until=PragueEIP7692

EOF validation tests for non-returning code sections.

Test Functions Overview¶

Name	Type	Cases	Description
`test_first_section_returning`	eof_test	6	Test EOF validation failing because the first section is not non-returning.
`test_returning_section_not_returning`	eof_test	4	Test EOF validation failing because a returning sections ends with non-returning instruction.
`test_retf_in_nonreturning`	eof_test	6	Test EOF validation failing because a non-returning section contains the RETF instruction.
`test_jumpf_in_nonreturning`	eof_test	6	Test EOF validation failing because a non-returning section contains the JUMPF instruction.