Skip to content

test_pointer_reverts()

Documentation for tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py::test_pointer_reverts@01f496f4.

Generate fixtures for these test cases for Prague with:

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

Pointer do operations then revert.

Source code in tests/prague/eip7702_set_code_tx/test_set_code_txs_2.py 
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
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
@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,
):
    """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