Test JUMPF Validation¶
Documentation for tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_validation.py@c38722f1.
Generate fixtures for these test cases for Osaka with:
fill -v tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_validation.py --fork Osaka
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 itself causing validation time stack overflow. |