test_call_new_account_no_execution_account_creation_cost()

Documentation for tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_call.py::test_call_new_account_no_execution_account_creation_cost@26332146.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_call.py::test_call_new_account_no_execution_account_creation_cost --fork Amsterdam

Verify CALL with value to a non-existent account does not charge an execution-gas account-creation cost on top of state gas.

Source code in tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_call.py

@pytest.mark.valid_from("EIP8037")
def test_call_new_account_no_execution_account_creation_cost(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
) -> None:
    """
    Verify CALL with value to a non-existent account does not
    charge an execution-gas account-creation cost on top of state gas.
    """
    target = pre.fund_eoa(amount=0)

    caller_code = (
        Op.POP(
            Op.CALL(
                gas=0,
                address=target,
                value=1,
                value_transfer=True,
                account_new=True,
            )
        )
        + Op.STOP
    )
    caller = pre.deploy_contract(code=caller_code, balance=1)

    # Tight budget: slack is less than the old pre-Amsterdam execution
    # account-creation cost, so any extra execution draw would OOG.
    intrinsic = fork.transaction_intrinsic_cost_calculator()()
    tx = Transaction(
        to=caller,
        gas_limit=(intrinsic + caller_code.gas_cost(fork) + 20_000),
        sender=pre.fund_eoa(),
    )

    state_test(pre=pre, post={target: Account(balance=1)}, tx=tx)

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.