Test JUMPF Stack¶

Generate fixtures for these test cases for Osaka with:

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

EOF JUMPF tests covering stack validation rules.

Test Functions Overview¶

Name	Type	Cases (Osaka)	Description
`test_jumpf_stack_non_returning_rules`	eof_state_test	0	Tests for JUMPF validation stack rules. Non-returning section cases.
`test_jumpf_stack_returning_rules`	eof_state_test	0	Tests for JUMPF validation stack rules. Returning section cases.
`test_jumpf_incompatible_outputs`	eof_test	6	Tests JUMPF into a section with incorrect number of outputs.
`test_jumpf_diff_max_stack_height`	eof_test	6	Tests jumpf with a different max stack height.
`test_jumpf_diff_min_stack_height`	eof_test	6	Tests jumpf with a different min stack height.
`test_jumpf_self_variadic_stack_overflow`	eof_test	1	Test JUMPF calling self causing EOF validation stack overflow.
`test_jumpf_variadic_stack_overflow`	eof_test	21	Test JUMPF stack validation causing stack overflow with variable stack height.
`test_jumpf_with_inputs_stack_overflow`	eof_test	6	Test validation of JUMPF with inputs causing stack overflow.
`test_jumpf_with_inputs_stack_overflow_variable_stack`	eof_test	6	Test JUMPF with variable stack depending on RJUMPI calling function with inputs.