test_bal_invalid_withdrawal_balance_value()

Documentation for tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_invalid.py::test_bal_invalid_withdrawal_balance_value@622620d8.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7928_block_level_access_lists/test_block_access_lists_invalid.py::test_bal_invalid_withdrawal_balance_value --fork Amsterdam

Test that clients reject blocks where BAL contains an incorrect balance value for an account modified only by a withdrawal.

Charlie receives a 10 gwei withdrawal in an empty block. BAL is corrupted by changing Charlie's post-balance to 999 instead of the correct 10_000_000_000 (10 gwei in wei).

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

@pytest.mark.valid_from("Amsterdam")
@pytest.mark.exception_test
def test_bal_invalid_withdrawal_balance_value(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
) -> None:
    """
    Test that clients reject blocks where BAL contains an incorrect
    balance value for an account modified only by a withdrawal.

    Charlie receives a 10 gwei withdrawal in an empty block.
    BAL is corrupted by changing Charlie's post-balance to 999 instead
    of the correct 10_000_000_000 (10 gwei in wei).
    """
    charlie = pre.fund_eoa(amount=0)

    blockchain_test(
        pre=pre,
        post={
            charlie: None,
        },
        blocks=[
            Block(
                txs=[],
                withdrawals=[
                    Withdrawal(
                        index=0,
                        validator_index=0,
                        address=charlie,
                        amount=10,
                    )
                ],
                exception=BlockException.INVALID_BLOCK_ACCESS_LIST,
                expected_block_access_list=BlockAccessListExpectation(
                    account_expectations={
                        charlie: BalAccountExpectation(
                            balance_changes=[
                                BalBalanceChange(
                                    block_access_index=1,
                                    post_balance=10 * 10**9,
                                )
                            ],
                        ),
                    }
                ).modify(
                    modify_balance(charlie, block_access_index=1, balance=999)
                ),
            )
        ],
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.