Test RJUMPV¶

Documentation for tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpv.py@5e6a38e0.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7692_eof_v1/eip4200_relative_jumps/test_rjumpv.py --fork Osaka

EOF JUMPF tests covering stack and code validation rules.

Test Functions Overview¶

Name	Type	Cases (Osaka)	Description
`test_rjumpv_condition`	eof_state_test	0	Test RJUMPV contract switching based on external input.
`test_rjumpv_forwards`	eof_state_test	0	EOF1V4200_0008 (Valid) EOF with RJUMPV table size 1 (Positive).
`test_rjumpv_backwards`	eof_state_test	0	EOF1V4200_0009 (Valid) EOF with RJUMPV table size 1 (Negative).
`test_rjumpv_backwards_onto_dup`	eof_test	1	Backwards jump vector onto a dup.
`test_rjumpv_backwards_large_table`	eof_test	2	Backwards jump vector with a large table.
`test_rjumpv_zero`	eof_state_test	0	EOF1V4200_0010 (Valid) EOF with RJUMPV table size 1 (Zero).
`test_rjumpv_size_3`	eof_state_test	0	EOF1V4200_0011 (Valid) EOF with RJUMPV table size 3.
`test_rjumpv_full_table`	eof_state_test	0	EOF1V4200_0012/13/14/15 (Valid) EOF with RJUMPV table size 256 (target parameterized).
`test_rjumpv_max_forwards`	eof_state_test	0	EOF1V4200_0016 (Valid) EOF with RJUMPV containing the maximum offset (32767).
`test_rjumpv_truncated_empty`	eof_test	1	EOF1I4200_0027 (Invalid) EOF code containing RJUMPV with max_index 0 but no immediates.
`test_rjumpv_truncated`	eof_test	6	EOF1I4200_0028/29/30 (Invalid) EOF code containing truncated RJUMPV.
`test_rjumpv_into_header`	eof_test	3	EOF1I4200_0031 (Invalid) EOF code containing RJUMPV with target outside code bounds
`test_rjumpv_before_container`	eof_test	6	EOF1I4200_0032 (Invalid) EOF code containing RJUMPV with target outside code bounds
`test_rjumpv_into_data`	eof_test	3	EOF1I4200_0033 (Invalid) EOF code containing RJUMPV with target outside code bounds
`test_rjumpv_after_container`	eof_test	3	EOF1I4200_0034 (Invalid) EOF code containing RJUMPV with target outside code bounds
`test_rjumpv_at_end`	eof_test	3	EOF1I4200_0035 (Invalid) EOF code containing RJUMPV with target outside code bounds
`test_rjumpv_into_self_data_portion`	eof_test	6	EOF1I4200_0036 (Invalid) EOF code containing RJUMPV with target same RJUMPV immediate.
`test_rjumpv_into_self`	eof_test	3	EOF code containing RJUMPV with target same RJUMPV immediate.
`test_rjumpv_into_stack_height_diff`	eof_test	3	EOF code containing RJUMPV with target instruction that causes stack height difference.
`test_rjumpv_into_stack_underflow`	eof_test	3	EOF code containing RJUMPV with target instruction that cause stack underflow.
`test_rjumpv_skips_stack_underflow`	eof_test	2	EOF code containing RJUMPV where the default path produces a stack underflow.
`test_rjumpv_into_rjump`	eof_test	6	EOF1I4200_0037 (Invalid) EOF code containing RJUMPV with target RJUMP immediate.
`test_rjumpv_into_rjumpi`	eof_test	6	EOF1I4200_0038 (Invalid) EOF code containing RJUMPV with target RJUMPI immediate.
`test_rjumpv_into_push_1`	eof_test	6	EOF1I4200_0039 (Invalid) EOF code containing RJUMPV with target PUSH1 immediate.
`test_rjumpv_into_push_n`	eof_test	372	EOF1I4200_0039 (Invalid) EOF code containing RJUMPV with target PUSH1 immediate.
`test_rjumpv_into_rjumpv`	eof_test	12	EOF1I4200_0040 (Invalid) EOF code containing RJUMPV with target other RJUMPV immediate.
`test_rjumpv_into_callf`	eof_test	6	EOF1I4200_0041 (Invalid) EOF code containing RJUMPV with target CALLF immediate.
`test_rjumpv_into_dupn`	eof_test	3	EOF code containing RJUMP with target DUPN immediate.
`test_rjumpv_into_swapn`	eof_test	3	EOF code containing RJUMP with target SWAPN immediate.
`test_rjumpv_into_exchange`	eof_test	3	EOF code containing RJUMP with target EXCHANGE immediate.
`test_rjumpv_into_eofcreate`	eof_test	3	EOF code containing RJUMPV with target EOFCREATE immediate.
`test_rjumpv_into_returncontract`	eof_test	3	EOF code containing RJUMPV with target RETURNCONTRACT immediate.
`test_rjumpv_backwards_reference_only`	eof_test	1	EOF code containing instructions only reachable by backwards RJUMPV.
`test_rjumpv_at_the_end`	eof_test	1	https://github.com/ipsilon/eof/blob/main/spec/eof.md#stack-validation 4.i:(📖🐛?)
`test_rjumpv_backwards_min_stack_wrong`	eof_test	1	Backwards rjumpv where min_stack does not match.
`test_rjumpv_rjumpi_backwards_min_stack_wrong`	eof_test	1	Backwards rjumpv where min_stack does not match.
`test_double_rjumpv`	eof_test	1	Two RJUMPVs, causing the min stack to underflow.