test_cross_frame_refund_repays_spill_at_a_call()

Documentation for tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_cross_frame_refund.py::test_cross_frame_refund_repays_spill_at_a_call@622620d8.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip8037_state_creation_gas_cost_increase/test_state_gas_cross_frame_refund.py::test_cross_frame_refund_repays_spill_at_a_call --fork Amsterdam

Test a call merging a refund repays the spill.

A holder contract owns the cleared slot, so every dispatch reaches it the same way. The clearing window costs a full state charge less than the no-op window: the refund repays the spill at the merge.

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

@pytest.mark.with_all_call_opcodes(
    # A static child cannot write, so it can never refund.
    selector=lambda call_opcode: call_opcode != Op.STATICCALL
)
@pytest.mark.valid_from("EIP8037")
def test_cross_frame_refund_repays_spill_at_a_call(
    state_test: StateTestFiller,
    pre: Alloc,
    fork: Fork,
    call_opcode: Opcode,
) -> None:
    """
    Test a call merging a refund repays the spill.

    A holder contract owns the cleared slot, so every dispatch reaches
    it the same way. The clearing window costs a full state charge less
    than the no-op window: the refund repays the spill at the merge.
    """
    sstore_state_gas = Op.SSTORE(new_value=1).state_cost(fork)

    holder = deploy_slot_holder(pre)
    set_slot = Op.POP(Op.CALL(address=holder, args_size=1))
    clearer = pre.deploy_contract(code=Op.CALL(address=holder))
    window = Op.POP(call_opcode(address=clearer))
    contract = pre.deploy_contract(
        code=clearing_probe_code(set_slot, [window] * 3)
    )

    tx = Transaction(
        to=contract,
        state_gas_reservoir=0,
        sender=pre.fund_eoa(),
    )

    post = {
        holder: Account(storage={SLOT_X: 0}),
        contract: Account(
            storage={
                SLOT_MARKER: 1,
                SLOT_INCREASED: 1,
                SLOT_RESULT: -sstore_state_gas,
            }
        ),
    }
    state_test(pre=pre, post=post, tx=tx)

Parametrized Test Cases

This test generates 3 parametrized test cases across 1 fork.