test_bal_zero_withdrawal()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_eip4895.py::test_bal_zero_withdrawal@21507778.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_eip4895.py::test_bal_zero_withdrawal --fork Amsterdam

Ensure BAL handles zero-amount withdrawal correctly.

Charlie either exists with initial balance or is non-existent. Block with 0 transactions and 1 zero-amount withdrawal to Charlie. Charlie appears in BAL but with empty changes, balance unchanged.

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

@pytest.mark.parametrize(
    "initial_balance",
    [
        pytest.param(5 * GWEI, id="existing_account"),
        pytest.param(0, id="nonexistent_account"),
    ],
)
def test_bal_zero_withdrawal(
    pre: Alloc,
    blockchain_test: BlockchainTestFiller,
    initial_balance: int,
) -> None:
    """
    Ensure BAL handles zero-amount withdrawal correctly.

    Charlie either exists with initial balance or is non-existent.
    Block with 0 transactions and 1 zero-amount withdrawal to Charlie.
    Charlie appears in BAL but with empty changes, balance unchanged.
    """
    if initial_balance > 0:
        charlie = pre.fund_eoa(amount=initial_balance)
    else:
        charlie = EOA(0xCC)

    block = Block(
        txs=[],
        withdrawals=[
            Withdrawal(
                index=0,
                validator_index=0,
                address=charlie,
                amount=0,
            )
        ],
        expected_block_access_list=BlockAccessListExpectation(
            account_expectations={
                charlie: BalAccountExpectation.empty(),
            }
        ),
    )

    blockchain_test(
        pre=pre,
        blocks=[block],
        post={
            charlie: Account(balance=initial_balance)
            if initial_balance > 0
            else Account.NONEXISTENT,
        },
    )

Parametrized Test Cases

This test generates 2 parametrized test cases across 1 fork.