test_selfdestruct_created_in_same_tx_with_revert()

Documentation for tests/cancun/eip6780_selfdestruct/test_selfdestruct_revert.py::test_selfdestruct_created_in_same_tx_with_revert@0f77f07a.

Generate fixtures for these test cases for Prague with:

fill -v tests/cancun/eip6780_selfdestruct/test_selfdestruct_revert.py::test_selfdestruct_created_in_same_tx_with_revert --fork Prague

Given

Contract A which has methods to receive balance and selfdestruct, and was created in current tx

Test the following call sequence: Transfer value to A and call A.selfdestruct. Recurse into a new call from transfers value to A, calls A.selfdestruct, and reverts.

Source code in tests/cancun/eip6780_selfdestruct/test_selfdestruct_revert.py

@pytest.mark.parametrize(
    "same_tx",
    [True],
    ids=["same_tx"],
)
@pytest.mark.parametrize(
    "selfdestruct_on_outer_call",
    [0, 1, 2],
    ids=[
        "no_outer_selfdestruct",
        "outer_selfdestruct_before_inner_call",
        "outer_selfdestruct_after_inner_call",
    ],
)
@pytest.mark.valid_from("Cancun")
def test_selfdestruct_created_in_same_tx_with_revert(  # noqa SC200
    state_test: StateTestFiller,
    sender: EOA,
    env: Environment,
    pre: Alloc,
    entry_code_address: Address,
    selfdestruct_on_outer_call: int,
    selfdestruct_with_transfer_contract_code: Bytecode,
    selfdestruct_with_transfer_contract_initcode: Bytecode,
    selfdestruct_with_transfer_contract_address: Address,
    selfdestruct_recipient_address: Address,
    selfdestruct_with_transfer_initcode_copy_from_address: Address,
    recursive_revert_contract_address: Address,
    recursive_revert_contract_code: Bytecode,
):
    """
    Given:
        Contract A which has methods to receive balance and selfdestruct, and was created in current tx
    Test the following call sequence:
         Transfer value to A and call A.selfdestruct.
         Recurse into a new call from transfers value to A, calls A.selfdestruct, and reverts.
    """  # noqa: E501
    entry_code = Op.EXTCODECOPY(
        selfdestruct_with_transfer_initcode_copy_from_address,
        0,
        0,
        len(bytes(selfdestruct_with_transfer_contract_initcode)),
    )

    entry_code += Op.SSTORE(
        0,
        Op.CREATE(
            0,
            0,
            len(bytes(selfdestruct_with_transfer_contract_initcode)),  # Value  # Offset
        ),
    )

    entry_code += Op.CALL(
        Op.GASLIMIT(),
        recursive_revert_contract_address,
        0,  # value
        0,  # arg offset
        0,  # arg length
        0,  # ret offset
        0,  # ret length
    )

    post: Dict[Address, Account] = {
        entry_code_address: Account(
            code="0x",
            storage=Storage(
                {
                    0: selfdestruct_with_transfer_contract_address,  # type: ignore
                }
            ),
        ),
        selfdestruct_with_transfer_initcode_copy_from_address: Account(
            code=selfdestruct_with_transfer_contract_initcode,
        ),
        recursive_revert_contract_address: Account(
            code=recursive_revert_contract_code,
            storage=Storage({1: 1}),  # type: ignore
        ),
    }

    if selfdestruct_on_outer_call > 0:
        post[selfdestruct_with_transfer_contract_address] = Account.NONEXISTENT  # type: ignore
        post[selfdestruct_recipient_address] = Account(
            balance=1 if selfdestruct_on_outer_call == 1 else 2,
        )
    else:
        post[selfdestruct_with_transfer_contract_address] = Account(
            balance=1,
            code=selfdestruct_with_transfer_contract_code,
            storage=Storage(
                {
                    # 2 value transfers (1 in outer call, 1 in reverted inner call)
                    0: 1,  # type: ignore
                    # 1 selfdestruct in reverted inner call
                    1: 0,  # type: ignore
                }
            ),
        )
        post[selfdestruct_recipient_address] = Account.NONEXISTENT  # type: ignore

    tx = Transaction(
        value=0,
        data=entry_code,
        sender=sender,
        to=None,
        gas_limit=20_000_000,
    )

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

Parametrized Test Cases

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

Fork All Forks Cancun Prague Osaka

Fixture Type All Fixture Types state_test blockchain_test

Test ID (Abbreviated)	selfdestruct_on_outer_call	same_tx
...fork_Cancun-state_test-no_outer_selfdestruct-same_tx	0	True
...fork_Cancun-state_test-outer_selfdestruct_before_inner_call-same_tx	1	True
...fork_Cancun-state_test-outer_selfdestruct_after_inner_call-same_tx	2	True
...fork_Cancun-blockchain_test_from_state_test-no_outer_selfdestruct-same_tx	0	True
...fork_Cancun-blockchain_test_from_state_test-outer_selfdestruct_before_inner_call-same_tx	1	True
...fork_Cancun-blockchain_test_from_state_test-outer_selfdestruct_after_inner_call-same_tx	2	True
...fork_Prague-state_test-no_outer_selfdestruct-same_tx	0	True
...fork_Prague-state_test-outer_selfdestruct_before_inner_call-same_tx	1	True
...fork_Prague-state_test-outer_selfdestruct_after_inner_call-same_tx	2	True
...fork_Prague-blockchain_test_from_state_test-no_outer_selfdestruct-same_tx	0	True
...fork_Prague-blockchain_test_from_state_test-outer_selfdestruct_before_inner_call-same_tx	1	True
...fork_Prague-blockchain_test_from_state_test-outer_selfdestruct_after_inner_call-same_tx	2	True
...fork_Osaka-state_test-no_outer_selfdestruct-same_tx	0	True
...fork_Osaka-state_test-outer_selfdestruct_before_inner_call-same_tx	1	True
...fork_Osaka-state_test-outer_selfdestruct_after_inner_call-same_tx	2	True
...fork_Osaka-blockchain_test_from_state_test-no_outer_selfdestruct-same_tx	0	True
...fork_Osaka-blockchain_test_from_state_test-outer_selfdestruct_before_inner_call-same_tx	1	True
...fork_Osaka-blockchain_test_from_state_test-outer_selfdestruct_after_inner_call-same_tx	2	True