Skip to content

Test Nonreturning Validation

Documentation for tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_nonreturning_validation.py@21fb11c8.

Generate fixtures for these test cases for Osaka with:

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

EOF validation tests for non-returning code sections.

Test Functions Overview

Name Type Cases (Osaka) 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 10 Test EOF validation failing due to returning section with no RETF or JUMPF-to-returning.
test_returning_section_returncontract eof_test 2 Test EOF validation failing because a returning section has no RETF or JUMPF-to-returning -
test_retf_in_nonreturning eof_test 6 Test EOF validation failing due to non-returning section with the RETF instruction.
test_jumpf_in_nonreturning eof_test 6 Test EOF validation failing due to non-returning section with the JUMPF instruction.
test_callf_to_nonreturning eof_test 5 Test EOF validation failing due to CALLF to non-returning section.