Test Eip Vectors¶
Documentation for tests/amsterdam/eip8024_dupn_swapn_exchange/test_eip_vectors.py@b314d18e.
Generate fixtures for these test cases for Amsterdam with:
fill -v tests/amsterdam/eip8024_dupn_swapn_exchange/test_eip_vectors.py --fork Amsterdam
EIP-8024 Official Test Vectors.
Test vectors from the EIP-8024 specification: EIP-8024: Stack Access Instructions.
Test Functions Overview¶
| Name | Type | Cases (Amsterdam) | Description |
|---|---|---|---|
test_eip_vector_dupn_duplicate_bottom |
state_test | 1 | EIP test vector: 60016000808080808080808080808080808080e680. |
test_eip_vector_dupn_stack_underflow |
state_test | 1 | EIP test vector: 6000808080808080808080808080808080e680. |
test_eip_vector_end_of_code |
state_test | 3 | Test EIP-8024 opcodes at end of code (no immediate byte). |
test_eip_vector_exchange_30_items |
state_test | 1 | EIP test vector (30-item EXCHANGE). |
test_eip_vector_exchange_end_of_code |
state_test | 1 | EIP test vector: 600260008080808080600160008080808080808080e8. |
test_eip_vector_exchange_swap_positions |
state_test | 1 | EIP test vector: 600060016002e88e. |
test_eip_vector_exchange_with_iszero |
state_test | 1 | EIP test vector: 60008080e88e15. |
test_eip_vector_jump_over_invalid_dupn |
state_test | 1 | EIP test vector: 600456e65b executes successfully. |
test_eip_vector_swapn_invalid_immediate_reverts |
state_test | 1 | EIP test vector: e75b reverts. |
test_eip_vector_swapn_swap_with_bottom |
state_test | 1 | EIP test vector: 600160008080808080808080808080808080806002e780. |
test_vector_dupn_followed_by_jumpdest |
state_test | 1 | Test vector: e6805b [DUPN 17, JUMPDEST]. |
test_vector_dupn_invalid_0x5f |
state_test | 1 | Test vector: e65f [INVALID_DUPN, PUSH0]. |
test_vector_dupn_invalid_0x60 |
state_test | 1 | Test vector: e6605b [INVALID_DUPN, PUSH1 0x5b]. |
test_vector_exchange_0x2f |
state_test | 1 | Test vector: e82f [EXCHANGE 1 19]. |
test_vector_exchange_0x9d |
state_test | 1 | Test vector: e89d [EXCHANGE 2 3]. |
test_vector_exchange_invalid_0x52 |
state_test | 1 | Test vector: e852 [INVALID_EXCHANGE, MSTORE]. |
test_vector_exchange_valid_0x50 |
state_test | 1 | Test vector: e850 [EXCHANGE 14 16]. |
test_vector_exchange_valid_0x51 |
state_test | 1 | Test vector: e851 [EXCHANGE 14 15]. |
test_vector_swapn_invalid_0x61 |
state_test | 1 | Test vector: e7610000 [INVALID_SWAPN, PUSH2 0x0000]. |