Test JUMPF Execution¶
Documentation for tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py@verkle@v0.0.4.
Generate fixtures for these test cases for Pragueeip7692 with:
Pragueeip7692 only:
fill -v tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py --fork=PragueEIP7692 --evm-bin=/path/to/evm-tool-dev-version
For all forks up to and including Pragueeip7692:
fill -v tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py --until=PragueEIP7692
Test Functions Overview¶
| Name | Type | Cases | Description |
|---|---|---|---|
test_jumpf_forward |
eof_state_test | 1 | Test JUMPF jumping forward |
test_jumpf_backward |
eof_state_test | 1 | Tests JUMPF jumping backward |
test_jumpf_to_self |
eof_state_test | 1 | Tests JUMPF jumping to self |
test_jumpf_too_large |
eof_state_test | 1 | Tests JUMPF jumping to a section outside the max section range |
test_jumpf_way_too_large |
eof_state_test | 1 | Tests JUMPF jumping to uint64.MAX |
test_jumpf_to_nonexistent_section |
eof_state_test | 1 | Tests JUMPF jumping to valid section number but where the section does not exist |
test_callf_to_non_returning_section |
eof_state_test | 1 | Tests CALLF into a non-returning section |
test_jumpf_stack_size_1024 |
eof_state_test | 1 | Test stack reaching 1024 items in target function of JUMPF |
test_jumpf_with_inputs_stack_size_1024 |
eof_state_test | 1 | Test stack reaching 1024 items in target function of JUMPF with inputs |
test_jumpf_stack_size_1024_at_push |
eof_state_test | 1 | Test stack reaching 1024 items in JUMPF target function at PUSH0 instruction |
test_jumpf_stack_overflow |
eof_state_test | 1 | Test stack overflowing 1024 items in JUMPF target function |
test_jumpf_with_inputs_stack_size_1024_at_push |
eof_state_test | 1 | Test stack reaching 1024 items in JUMPF target function with inputs at PUSH0 instruction |
test_jumpf_with_inputs_stack_overflow |
eof_state_test | 1 | Test stack overflowing 1024 items in JUMPF target function with inputs |