Skip to content

test_inner_call_succeeds_outer_reverts_no_log()

Documentation for tests/amsterdam/eip7708_eth_transfer_logs/test_transfer_logs.py::test_inner_call_succeeds_outer_reverts_no_log@2119b382.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7708_eth_transfer_logs/test_transfer_logs.py::test_inner_call_succeeds_outer_reverts_no_log --fork Amsterdam

Test that logs from successful inner calls are rolled back on outer revert.

Scenario: Contract performs N CALLs with value (all succeed), then REVERTs. Expected: No logs remain (all transfer logs are rolled back).

Source code in tests/amsterdam/eip7708_eth_transfer_logs/test_transfer_logs.py
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
@pytest.mark.parametrize(
    "inner_calls",
    [
        pytest.param(1, id="single_call"),
        pytest.param(3, id="multiple_calls"),
    ],
)
def test_inner_call_succeeds_outer_reverts_no_log(
    state_test: StateTestFiller,
    env: Environment,
    pre: Alloc,
    sender: EOA,
    inner_calls: int,
) -> None:
    """
    Test that logs from successful inner calls are rolled back on outer revert.

    Scenario: Contract performs N CALLs with value (all succeed), then REVERTs.
    Expected: No logs remain (all transfer logs are rolled back).
    """
    callee = pre.deploy_contract(Op.STOP)

    # Build contract code: N CALLs with value, then REVERT
    contract_code = Op.CALL(gas=100_000, address=callee, value=1)
    for _ in range(inner_calls - 1):
        contract_code += Op.POP + Op.CALL(gas=100_000, address=callee, value=1)
    contract_code += Op.POP + Op.REVERT(0, 0)

    contract = pre.deploy_contract(contract_code, balance=inner_calls)

    tx = Transaction(
        sender=sender,
        to=contract,
        value=1,
        expected_receipt=TransactionReceipt(logs=[]),
    )

    state_test(env=env, pre=pre, post={}, tx=tx)

Parametrized Test Cases

This test generates 2 parametrized test cases across 1 fork.