test_bal_selfdestruct_in_static_context()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_opcodes.py::test_bal_selfdestruct_in_static_context@5c024cbb.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_opcodes.py::test_bal_selfdestruct_in_static_context --fork Amsterdam

SELFDESTRUCT in static context: beneficiary NOT in BAL.

Static check must fire before beneficiary access (warm/cold lookup) or balance transfer.

Source code in tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_opcodes.py

@pytest.mark.parametrize(
    "beneficiary_is_warm",
    [False, True],
    ids=["cold_beneficiary", "warm_beneficiary"],
)
@pytest.mark.parametrize(
    "caller_balance", [0, 100], ids=["no_balance", "with_balance"]
)
def test_bal_selfdestruct_in_static_context(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    beneficiary_is_warm: bool,
    caller_balance: int,
) -> None:
    """
    SELFDESTRUCT in static context: beneficiary NOT in BAL.

    Static check must fire before beneficiary access (warm/cold lookup)
    or balance transfer.
    """
    beneficiary_balance = 1
    beneficiary = pre.fund_eoa(amount=beneficiary_balance)
    caller = pre.deploy_contract(
        code=Op.SELFDESTRUCT(address=beneficiary),
        balance=caller_balance,
    )

    access_list = (
        [AccessList(address=beneficiary, storage_keys=[])]
        if beneficiary_is_warm
        else None
    )

    blockchain_test_under_static_call(
        pre,
        blockchain_test,
        static_call_target=caller,
        bal_expectations={beneficiary: None},
        post={
            caller: Account(balance=caller_balance),
            beneficiary: Account(balance=beneficiary_balance),
        },
        tx_access_list=access_list,
    )

Parametrized Test Cases

This test generates 4 parametrized test cases across 1 fork.