test_reentrant_selfdestructing_call()

Documentation for tests/cancun/eip1153_tstore/test_tstorage_selfdestruct.py::test_reentrant_selfdestructing_call@verkle@v0.0.6.

Generate fixtures for these test cases for Cancun with:

Cancun only:

fill -v tests/cancun/eip1153_tstore/test_tstorage_selfdestruct.py::test_reentrant_selfdestructing_call --fork=Cancun --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Cancun:

fill -v tests/cancun/eip1153_tstore/test_tstorage_selfdestruct.py::test_reentrant_selfdestructing_call --until=Cancun

Test transient storage in different reentrancy contexts after selfdestructing.

Source code in tests/cancun/eip1153_tstore/test_tstorage_selfdestruct.py

@SelfDestructCases.parametrize()
def test_reentrant_selfdestructing_call(
    state_test: StateTestFiller,
    pre: Alloc,
    pre_existing_contract: bool,
    caller_bytecode: Bytecode,
    callee_bytecode: Bytecode,
    expected_storage: Dict,
):
    """
    Test transient storage in different reentrancy contexts after selfdestructing.
    """
    env = Environment()

    caller_address = pre.deploy_contract(code=caller_bytecode)

    data: Hash | Bytecode
    if pre_existing_contract:
        callee_address = pre.deploy_contract(code=callee_bytecode)
        data = Hash(callee_address)
    else:
        callee_address = compute_create_address(address=caller_address, nonce=1)
        data = Initcode(deploy_code=callee_bytecode)

    tx = Transaction(
        sender=pre.fund_eoa(),
        to=caller_address,
        gas_limit=1_000_000,
        data=data,
    )

    expected_storage[0] = callee_address

    post: Dict = {caller_address: Account(storage=expected_storage)}

    if pre_existing_contract:
        post[callee_address] = Account(code=callee_bytecode)
    else:
        post[callee_address] = Account.NONEXISTENT

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

Parametrized Test Cases

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

Skipped Parameters

For more concise readability, the table below does not list the following parameter values: fork, blockchain_test, state_test, state_test_only, eof_test, eof_state_test.

Test ID	callee_bytecode	caller_bytecode	expected_storage	pre_existing_contract
tload_after_selfdestruct_pre_existing_contract			{1: 1, 2: 1, 3: 256}	True
tload_after_selfdestruct_new_contract			{1: 1, 2: 1, 3: 256}	False
tload_after_inner_selfdestruct_pre_existing_contract			{1: 1, 2: 256}	True
tload_after_inner_selfdestruct_new_contract			{1: 1, 2: 256}	False
tstore_after_selfdestruct_pre_existing_contract			{1: 1, 2: 1, 3: 1, 4: 256}	True
tstore_after_selfdestruct_new_contract			{1: 1, 2: 1, 3: 1, 4: 256}	False
tload_after_selfdestruct_pre_existing_contract			{1: 1, 2: 1, 3: 256}	True
tload_after_selfdestruct_new_contract			{1: 1, 2: 1, 3: 256}	False
tload_after_inner_selfdestruct_pre_existing_contract			{1: 1, 2: 256}	True
tload_after_inner_selfdestruct_new_contract			{1: 1, 2: 256}	False
tstore_after_selfdestruct_pre_existing_contract			{1: 1, 2: 1, 3: 1, 4: 256}	True
tstore_after_selfdestruct_new_contract			{1: 1, 2: 1, 3: 1, 4: 256}	False