test_set_code_to_self_destruct()

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_set_code_to_self_destruct@88e9fb8f.

Generate fixtures for these test cases for Osaka with:

fill -v tests/prague/eip7702_set_code_tx/test_set_code_txs.py::test_set_code_to_self_destruct --fork Osaka

Test the executing self-destruct opcode in a set-code transaction.

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs.py

@pytest.mark.parametrize(
    "external_sendall_recipient",
    [False, True],
)
@pytest.mark.parametrize(
    "balance",
    [0, 1],
)
def test_set_code_to_self_destruct(
    state_test: StateTestFiller,
    pre: Alloc,
    external_sendall_recipient: bool,
    balance: int,
) -> None:
    """Test the executing self-destruct opcode in a set-code transaction."""
    auth_signer = pre.fund_eoa(balance)
    if external_sendall_recipient:
        recipient = pre.fund_eoa(0)
    else:
        recipient = auth_signer

    set_code_to_address = pre.deploy_contract(Op.SSTORE(1, 1) + Op.SELFDESTRUCT(recipient))

    tx = Transaction(
        gas_limit=10_000_000,
        to=auth_signer,
        value=0,
        authorization_list=[
            AuthorizationTuple(
                address=set_code_to_address,
                nonce=0,
                signer=auth_signer,
            ),
        ],
        sender=pre.fund_eoa(),
    )

    post = {
        auth_signer: Account(
            nonce=1,
            code=Spec.delegation_designation(set_code_to_address),
            storage={1: 1},
            balance=balance if not external_sendall_recipient else 0,
        ),
    }

    if external_sendall_recipient and balance > 0:
        post[recipient] = Account(balance=balance)

    state_test(
        env=Environment(),
        pre=pre,
        tx=tx,
        post=post,
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Fork All Forks Prague Osaka

Fixture Type All Fixture Types state_test blockchain_test

Test ID (Abbreviated)	balance	external_sendall_recipient
...fork_Prague-state_test-balance_0-external_sendall_recipient_False	0	False
...fork_Prague-state_test-balance_0-external_sendall_recipient_True	0	True
...fork_Prague-state_test-balance_1-external_sendall_recipient_False	1	False
...fork_Prague-state_test-balance_1-external_sendall_recipient_True	1	True
...fork_Prague-blockchain_test_from_state_test-balance_0-external_sendall_recipient_False	0	False
...fork_Prague-blockchain_test_from_state_test-balance_0-external_sendall_recipient_True	0	True
...fork_Prague-blockchain_test_from_state_test-balance_1-external_sendall_recipient_False	1	False
...fork_Prague-blockchain_test_from_state_test-balance_1-external_sendall_recipient_True	1	True
...fork_Osaka-state_test-balance_0-external_sendall_recipient_False	0	False
...fork_Osaka-state_test-balance_0-external_sendall_recipient_True	0	True
...fork_Osaka-state_test-balance_1-external_sendall_recipient_False	1	False
...fork_Osaka-state_test-balance_1-external_sendall_recipient_True	1	True
...fork_Osaka-blockchain_test_from_state_test-balance_0-external_sendall_recipient_False	0	False
...fork_Osaka-blockchain_test_from_state_test-balance_0-external_sendall_recipient_True	0	True
...fork_Osaka-blockchain_test_from_state_test-balance_1-external_sendall_recipient_False	1	False
...fork_Osaka-blockchain_test_from_state_test-balance_1-external_sendall_recipient_True	1	True