Test Code Validation¶

Generate fixtures for these test cases for Osaka with:

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

Code validation of CALLF, JUMPF, RETF opcodes in conjunction with static relative jumps.

Test Functions Overview¶

Name	Type	Cases (Osaka)	Description
`test_rjumps_callf_retf`	eof_test	832	Test EOF container validaiton for EIP-4200 vs EIP-4750 interactions.
`test_rjumps_jumpf_nonreturning`	eof_test	104	Test EOF container validaiton for EIP-4200 vs EIP-6206 interactions on non-returning
`test_all_opcodes_stack_underflow`	eof_test	712	Test EOF validation failing due to stack overflow
`test_stack_underflow_examples`	eof_test	5	Test EOF validation failing due to stack underflow at basic instructions.
`test_valid_non_constant_stack_examples`	eof_state_test	0	Test valid containers with non constant stack items.
`test_stack_range_maximally_broad`	eof_test	2	Test stack range 0-1023 at final instruction.