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
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. |