test_selfdestruct_to_account()

Documentation for tests/tangerine_whistle/eip150_operation_gas_costs/test_eip150_selfdestruct.py::test_selfdestruct_to_account@b47f0253.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/tangerine_whistle/eip150_operation_gas_costs/test_eip150_selfdestruct.py::test_selfdestruct_to_account --fork Amsterdam

Test SELFDESTRUCT success boundary for account beneficiaries.

• exact_gas: succeeds, balance transferred, contract destroyed
• exact_gas_minus_1: OOG, operation fails

Source code in tests/tangerine_whistle/eip150_operation_gas_costs/test_eip150_selfdestruct.py

@pytest.mark.parametrize(
    "is_success", [True, False], ids=["exact_gas", "exact_gas_minus_1"]
)
@pytest.mark.parametrize(
    "beneficiary", ["eoa", "contract"], ids=["eoa", "contract"]
)
@pytest.mark.parametrize(
    "warm",
    [
        pytest.param(
            False, id="cold", marks=pytest.mark.valid_from("TangerineWhistle")
        ),
        pytest.param(True, id="warm", marks=pytest.mark.valid_from("Berlin")),
    ],
)
@pytest.mark.parametrize(
    "same_tx", [False, True], ids=["pre_deploy", "same_tx"]
)
@pytest.mark.parametrize(
    "originator_balance",
    [0, 1],
    ids=["no_balance", "has_balance"],
)
@pytest.mark.parametrize(
    "beneficiary_initial_balance",
    [0, 1],
    ids=["dead_beneficiary", "alive_beneficiary"],
)
def test_selfdestruct_to_account(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    fork: Fork,
    is_success: bool,
    beneficiary: str,
    warm: bool,
    same_tx: bool,
    originator_balance: int,
    beneficiary_initial_balance: int,
) -> None:
    """
    Test SELFDESTRUCT success boundary for account beneficiaries.

    - exact_gas: succeeds, balance transferred, contract destroyed
    - exact_gas_minus_1: OOG, operation fails
    """
    # Create beneficiary
    if beneficiary == "eoa":
        beneficiary_addr: EOA | Address = pre.fund_eoa(
            amount=beneficiary_initial_balance
        )
    else:
        beneficiary_addr = pre.deploy_contract(
            code=Op.STOP, balance=beneficiary_initial_balance
        )

    # Determine if beneficiary is dead (for NEW_ACCOUNT calculation)
    # Contract with code is NOT dead even with balance=0
    beneficiary_dead = (
        beneficiary_initial_balance == 0 and beneficiary == "eoa"
    )

    # Calculate exact gas for success (includes NEW_ACCOUNT if applicable)
    inner_call_gas = calculate_selfdestruct_gas(
        fork,
        beneficiary_warm=warm,
        beneficiary_dead=beneficiary_dead,
        originator_balance=originator_balance,
    )
    if not is_success:
        inner_call_gas -= 1

    # In BAL if: success OR NEW_ACCOUNT charged (OOG after access)
    needs_new_account = False
    if beneficiary_dead:
        if fork >= SpuriousDragon:
            needs_new_account = originator_balance > 0
        else:
            needs_new_account = True

    beneficiary_in_bal = is_success or needs_new_account

    alice, caller, victim, tx = setup_selfdestruct_test(
        pre,
        fork,
        beneficiary_addr,
        originator_balance,
        same_tx,
        beneficiary_warm=warm,
        inner_call_gas=inner_call_gas,
    )

    expected_bal = build_bal_expectations(
        fork,
        alice,
        caller,
        victim,
        beneficiary_addr,
        originator_balance,
        beneficiary_initial_balance,
        same_tx,
        success=is_success,
        beneficiary_in_bal=beneficiary_in_bal,
    )

    post = build_post_state(
        fork,
        alice,
        caller,
        victim,
        beneficiary_addr,
        originator_balance,
        beneficiary_initial_balance,
        same_tx,
        success=is_success,
        beneficiary_has_code=(beneficiary == "contract"),
    )

    blockchain_test(
        pre=pre,
        blocks=[Block(txs=[tx], expected_block_access_list=expected_bal)],
        post=post,
    )

Parametrized Test Cases

This test generates 64 parametrized test cases across 12 forks.