test_valid_multi_type_request_from_same_tx()

Documentation for tests/prague/eip7685_general_purpose_el_requests/test_multi_type_requests.py::test_valid_multi_type_request_from_same_tx@892e6d1e.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/prague/eip7685_general_purpose_el_requests/test_multi_type_requests.py::test_valid_multi_type_request_from_same_tx --fork Amsterdam

Test making a deposit to the beacon chain deposit contract and a withdrawal in the same tx.

Source code in tests/prague/eip7685_general_purpose_el_requests/test_multi_type_requests.py

@pytest.mark.parametrize("requests", [*get_permutations()])
def test_valid_multi_type_request_from_same_tx(
    blockchain_test: BlockchainTestFiller,
    pre: Alloc,
    requests: List[DepositRequest | WithdrawalRequest | ConsolidationRequest],
    fork: Fork,
) -> None:
    """
    Test making a deposit to the beacon chain deposit contract and a withdrawal
    in the same tx.
    """
    withdrawal_request_fee: int = 1
    consolidation_request_fee: int = 1

    calldata: bytes = b""
    contract_code: Bytecode = Bytecode()
    total_value: int = 0
    storage: Storage = Storage()

    for request in requests:
        calldata_start: int = len(calldata)
        current_calldata: bytes = request.calldata
        calldata += current_calldata

        contract_code += Op.CALLDATACOPY(
            0, calldata_start, len(current_calldata)
        )

        call_contract_address: int = 0
        value: int = 0
        if isinstance(request, DepositRequest):
            call_contract_address = Spec_EIP6110.DEPOSIT_CONTRACT_ADDRESS
            value = request.value
        elif isinstance(request, WithdrawalRequest):
            call_contract_address = (
                Spec_EIP7002.WITHDRAWAL_REQUEST_PREDEPLOY_ADDRESS
            )
            value = withdrawal_request_fee
        elif isinstance(request, ConsolidationRequest):
            call_contract_address = (
                Spec_EIP7251.CONSOLIDATION_REQUEST_PREDEPLOY_ADDRESS
            )
            value = consolidation_request_fee

        total_value += value

        contract_code += Op.SSTORE(
            storage.store_next(1),
            Op.CALL(
                address=call_contract_address,
                value=value,
                args_offset=0,
                args_size=len(current_calldata),
            ),
        )

    sender: EOA = pre.fund_eoa()
    contract_address: Address = pre.deploy_contract(
        code=contract_code,
    )

    tx: Transaction = Transaction(
        gas_limit=10_000_000,
        to=contract_address,
        value=total_value,
        data=calldata,
        sender=sender,
    )

    blockchain_test(
        genesis_environment=Environment(),
        pre=pre,
        post={
            contract_address: Account(
                storage=storage,
            )
        },
        blocks=[
            Block(
                txs=[tx],
                header_verify=Header(
                    requests_hash=Requests(
                        *[
                            request.with_source_address(contract_address)
                            for request in sorted(
                                requests, key=lambda r: r.type
                            )
                        ],
                    )
                ),
            )
        ],
    )

Parametrized Test Cases

This test generates 6 parametrized test cases across 3 forks.