Skip to content

test_pointer_reverts()

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_pointer_reverts@88e9fb8f.

Generate fixtures for these test cases for Osaka with:

fill -v tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_pointer_reverts --fork Osaka

Pointer do operations then revert.

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py 
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
@pytest.mark.valid_from("Prague")
@pytest.mark.parametrize("first_revert, second_revert, final_revert", valid_combinations)
@pytest.mark.parametrize("call_order", [CallOrder.CONTRACT_POINTER, CallOrder.POINTER_CONTRACT])
def test_pointer_reverts(
    state_test: StateTestFiller,
    pre: Alloc,
    first_revert: bool,
    second_revert: bool,
    final_revert: bool,
    call_order: CallOrder,
) -> None:
    """Pointer do operations then revert."""
    sender = pre.fund_eoa()
    pointer = pre.fund_eoa()

    contract_storage = Storage()
    contract_calls = (
        0
        if (call_order == CallOrder.CONTRACT_POINTER and first_revert)
        or (call_order == CallOrder.POINTER_CONTRACT and second_revert)
        or final_revert
        else 1
    )
    slot_storage = contract_storage.store_next(contract_calls, "storage")
    slot_tstorage = contract_storage.store_next(contract_calls, "tstorage")

    pointer_storage = Storage()
    pointer_calls = (
        0
        if (call_order == CallOrder.POINTER_CONTRACT and first_revert)
        or (call_order == CallOrder.CONTRACT_POINTER and second_revert)
        or final_revert
        else 1
    )
    pointer_storage.store_next(pointer_calls, "storage")
    pointer_storage.store_next(pointer_calls, "tstorage")

    contract = pre.deploy_contract(
        code=Op.SSTORE(slot_storage, Op.ADD(1, Op.SLOAD(slot_storage)))
        + Op.TSTORE(0, Op.ADD(1, Op.TLOAD(0)))
        + Op.SSTORE(slot_tstorage, Op.TLOAD(0))
        + Conditional(
            condition=Op.EQ(Op.CALLDATALOAD(0), 1),
            if_true=Op.REVERT(0, 32),
            if_false=Op.RETURN(0, 32),
        )
    )
    contract_main = pre.deploy_contract(
        code=Op.MSTORE(0, 1 if first_revert else 0)
        + Op.CALL(
            address=pointer if call_order == CallOrder.POINTER_CONTRACT else contract, args_size=32
        )
        + Op.MSTORE(0, 1 if second_revert else 0)
        + Op.CALL(
            address=pointer if call_order == CallOrder.CONTRACT_POINTER else contract, args_size=32
        )
        + Conditional(
            condition=Op.EQ(1, int(final_revert)),
            if_true=Op.REVERT(0, 32),
            if_false=Op.RETURN(0, 32),
        )
    )
    tx = Transaction(
        to=contract_main,
        gas_limit=800_000,
        data=b"",
        value=0,
        sender=sender,
        authorization_list=[
            AuthorizationTuple(
                address=contract,
                nonce=0,
                signer=pointer,
            )
        ],
    )
    post = {pointer: Account(storage=pointer_storage), contract: Account(storage=contract_storage)}
    state_test(
        env=Environment(),
        pre=pre,
        post=post,
        tx=tx,
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Test ID (Abbreviated) call_order first_revert second_revert final_revert
...fork_Prague-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER True True False
...fork_Prague-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER True False False
...fork_Prague-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER False True False
...fork_Prague-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER False False False
...fork_Prague-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_True CallOrder.CONTRACT_POINTER False False True
...fork_Prague-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT True True False
...fork_Prague-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT True False False
...fork_Prague-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT False True False
...fork_Prague-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT False False False
...fork_Prague-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_True CallOrder.POINTER_CONTRACT False False True
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER True True False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER True False False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER False True False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER False False False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_True CallOrder.CONTRACT_POINTER False False True
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT True True False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT True False False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT False True False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT False False False
...fork_Prague-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_True CallOrder.POINTER_CONTRACT False False True
...fork_Osaka-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER True True False
...fork_Osaka-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER True False False
...fork_Osaka-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER False True False
...fork_Osaka-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER False False False
...fork_Osaka-state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_True CallOrder.CONTRACT_POINTER False False True
...fork_Osaka-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT True True False
...fork_Osaka-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT True False False
...fork_Osaka-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT False True False
...fork_Osaka-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT False False False
...fork_Osaka-state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_True CallOrder.POINTER_CONTRACT False False True
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER True True False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_True-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER True False False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_True-final_revert_False CallOrder.CONTRACT_POINTER False True False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_False CallOrder.CONTRACT_POINTER False False False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.CONTRACT_POINTER-first_revert_False-second_revert_False-final_revert_True CallOrder.CONTRACT_POINTER False False True
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT True True False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_True-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT True False False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_True-final_revert_False CallOrder.POINTER_CONTRACT False True False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_False CallOrder.POINTER_CONTRACT False False False
...fork_Osaka-blockchain_test_from_state_test-call_order_CallOrder.POINTER_CONTRACT-first_revert_False-second_revert_False-final_revert_True CallOrder.POINTER_CONTRACT False False True