test_withdrawing_to_precompiles()

Documentation for tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles@verkle@v0.0.6.

Generate fixtures for these test cases for Shanghai with:

Shanghai only:

fill -v tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles --fork=Shanghai --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Shanghai:

fill -v tests/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles --until=Shanghai

Test withdrawing to all precompiles for a given fork.

Source code in tests/shanghai/eip4895_withdrawals/test_withdrawals.py

@pytest.mark.parametrize("amount", [0, 1])
@pytest.mark.with_all_precompiles
def test_withdrawing_to_precompiles(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    precompile: int,
    amount: int,
    t8n: TransitionTool,
):
    """
    Test withdrawing to all precompiles for a given fork.
    """
    sender = pre.fund_eoa()
    post: Dict = {}

    blocks = [
        # First block performs the withdrawal
        Block(
            withdrawals=[
                Withdrawal(
                    index=0,
                    validator_index=0,
                    address=Address(precompile),
                    amount=amount,
                )
            ]
        ),
        # Second block sends a transaction to the precompile
        Block(
            txs=[
                Transaction(
                    sender=sender,
                    gas_limit=100000,
                    to=Address(precompile),
                ),
            ],
        ),
    ]
    blockchain_test(pre=pre, post=post, blocks=blocks)

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	precompile	amount
precompile_0x000000000000000000000000000000000000000b-amount_0	0x000000000000000000000000000000 000000000b	0
precompile_0x000000000000000000000000000000000000000b-amount_1	0x000000000000000000000000000000 000000000b	1
precompile_0x000000000000000000000000000000000000000c-amount_0	0x000000000000000000000000000000 000000000c	0
precompile_0x000000000000000000000000000000000000000c-amount_1	0x000000000000000000000000000000 000000000c	1
precompile_0x000000000000000000000000000000000000000d-amount_0	0x000000000000000000000000000000 000000000d	0
precompile_0x000000000000000000000000000000000000000d-amount_1	0x000000000000000000000000000000 000000000d	1
precompile_0x000000000000000000000000000000000000000e-amount_0	0x000000000000000000000000000000 000000000e	0
precompile_0x000000000000000000000000000000000000000e-amount_1	0x000000000000000000000000000000 000000000e	1
precompile_0x000000000000000000000000000000000000000f-amount_0	0x000000000000000000000000000000 000000000f	0
precompile_0x000000000000000000000000000000000000000f-amount_1	0x000000000000000000000000000000 000000000f	1
precompile_0x0000000000000000000000000000000000000010-amount_0	0x000000000000000000000000000000 0000000010	0
precompile_0x0000000000000000000000000000000000000010-amount_1	0x000000000000000000000000000000 0000000010	1
precompile_0x0000000000000000000000000000000000000011-amount_0	0x000000000000000000000000000000 0000000011	0
precompile_0x0000000000000000000000000000000000000011-amount_1	0x000000000000000000000000000000 0000000011	1
precompile_0x0000000000000000000000000000000000000012-amount_0	0x000000000000000000000000000000 0000000012	0
precompile_0x0000000000000000000000000000000000000012-amount_1	0x000000000000000000000000000000 0000000012	1
precompile_0x0000000000000000000000000000000000000013-amount_0	0x000000000000000000000000000000 0000000013	0
precompile_0x0000000000000000000000000000000000000013-amount_1	0x000000000000000000000000000000 0000000013	1
precompile_0x000000000000000000000000000000000000000a-amount_0	0x000000000000000000000000000000 000000000a	0
precompile_0x000000000000000000000000000000000000000a-amount_1	0x000000000000000000000000000000 000000000a	1
precompile_0x0000000000000000000000000000000000000009-amount_0	0x000000000000000000000000000000 0000000009	0
precompile_0x0000000000000000000000000000000000000009-amount_1	0x000000000000000000000000000000 0000000009	1
precompile_0x0000000000000000000000000000000000000005-amount_0	0x000000000000000000000000000000 0000000005	0
precompile_0x0000000000000000000000000000000000000005-amount_1	0x000000000000000000000000000000 0000000005	1
precompile_0x0000000000000000000000000000000000000006-amount_0	0x000000000000000000000000000000 0000000006	0
precompile_0x0000000000000000000000000000000000000006-amount_1	0x000000000000000000000000000000 0000000006	1
precompile_0x0000000000000000000000000000000000000007-amount_0	0x000000000000000000000000000000 0000000007	0
precompile_0x0000000000000000000000000000000000000007-amount_1	0x000000000000000000000000000000 0000000007	1
precompile_0x0000000000000000000000000000000000000008-amount_0	0x000000000000000000000000000000 0000000008	0
precompile_0x0000000000000000000000000000000000000008-amount_1	0x000000000000000000000000000000 0000000008	1
precompile_0x0000000000000000000000000000000000000001-amount_0	0x000000000000000000000000000000 0000000001	0
precompile_0x0000000000000000000000000000000000000001-amount_1	0x000000000000000000000000000000 0000000001	1
precompile_0x0000000000000000000000000000000000000002-amount_0	0x000000000000000000000000000000 0000000002	0
precompile_0x0000000000000000000000000000000000000002-amount_1	0x000000000000000000000000000000 0000000002	1
precompile_0x0000000000000000000000000000000000000003-amount_0	0x000000000000000000000000000000 0000000003	0
precompile_0x0000000000000000000000000000000000000003-amount_1	0x000000000000000000000000000000 0000000003	1
precompile_0x0000000000000000000000000000000000000004-amount_0	0x000000000000000000000000000000 0000000004	0
precompile_0x0000000000000000000000000000000000000004-amount_1	0x000000000000000000000000000000 0000000004	1