Test JUMPF Validation¶

Generate fixtures for these test cases for Osaka with:

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

EOF validation tests for JUMPF instruction.

Test Functions Overview¶

Name	Type	Cases (Osaka)	Description
`test_returning_jumpf`	eof_test	3	Test cases for JUMPF instruction validation in a returning sections.
`test_invalid_code_section_index`	eof_test	3	Test cases for JUMPF instructions with invalid target code section index.
`test_returning_section_aborts_jumpf`	eof_test	1	Test EOF container validation where in the same code section we have returning
`test_jumpf_self_stack_overflow`	eof_test	3	Test JUMPF instruction jumping to itself causing validation time stack overflow.
`test_jumpf_other_stack_overflow`	eof_test	25	Test JUMPF instruction jumping to other section causing validation time stack overflow.
`test_jumpf_to_non_returning`	eof_test	8	Test JUMPF jumping to a non-returning function.
`test_jumpf_to_non_returning_variable_stack`	eof_test	4	Test JUMPF jumping to a non-returning function with stack depending on RJUMPI.
`test_jumpf_to_returning`	eof_test	24	Test JUMPF jumping to a returning function.
`test_jumpf_to_returning_variable_stack_1`	eof_test	40	Test JUMPF with variable stack jumping to a returning function increasing the stack.
`test_jumpf_to_returning_variable_stack_2`	eof_test	9	Test JUMPF with variable stack jumping to a returning function decreasing the stack.
`test_jumpf_to_returning_variable_stack_3`	eof_test	1	Test JUMPF with variable stack jumping to a returning function increasing the stack.
`test_jumpf_stack_underflow_examples`	eof_test	6	Test JUMPF instruction causing validation time stack underflow.