Skip to content

Test Code Validation

Documentation for tests/osaka/eip7692_eof_v1/eip4750_functions/test_code_validation.py@5e6a38e0.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip4750_functions/test_code_validation.py --fork Osaka

Code validation of CALLF, RETF opcodes tests.

Test Functions Overview

Name Type Cases (Osaka) Description
test_eof_validity eof_test 9 Test EOF container validation for features around EIP-4750 / Functions / Code Sections.
test_unreachable_code_sections eof_test 19 Test cases for EOF unreachable code sections
test_callf_stack_height_limit_exceeded eof_test 3 Test for invalid EOF code containing CALLF instruction exceeding the stack height limit.
test_callf_stack_overflow_by_outputs eof_test 16 Test for invalid EOF code containing CALLF instruction exceeding the runtime stack height limit
test_callf_stack_overflow_by_height eof_test 4 Test for invalid EOF code containing CALLF instruction exceeding the runtime stack height limit