Skip to content

test_basic_tload_after_store()

Documentation for tests/cancun/eip1153_tstore/test_basic_tload.py::test_basic_tload_after_store@20373115.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/cancun/eip1153_tstore/test_basic_tload.py::test_basic_tload_after_store --fork Amsterdam

Ported .json vectors.

(18_tloadAfterStoreFiller.yml) tload from same slot after store returns 0

Source code in tests/cancun/eip1153_tstore/test_basic_tload.py 
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
@pytest.mark.ported_from(
    [
        "https://github.com/ethereum/tests/blob/v13.3/src/GeneralStateTestsFiller/Cancun/stEIP1153-transientStorage/18_tloadAfterStoreFiller.yml",
    ],
    pr=["https://github.com/ethereum/execution-spec-tests/pull/440"],
)
@pytest.mark.valid_from("Cancun")
def test_basic_tload_after_store(
    state_test: StateTestFiller,
    pre: Alloc,
) -> None:
    """
    Ported .json vectors.

    (18_tloadAfterStoreFiller.yml)
    tload from same slot after store returns 0
    """
    slot_tload_from_sstore_result = 1
    slot_code_worked = 2

    address_to = pre.deploy_contract(
        code=Op.JUMPDEST()
        # 18 test
        + Op.SSTORE(slot_tload_from_sstore_result, 22)
        + Op.SSTORE(
            slot_tload_from_sstore_result,
            Op.TLOAD(slot_tload_from_sstore_result),
        )
        + Op.SSTORE(slot_code_worked, 1),
        storage={
            slot_tload_from_sstore_result: 0xFF,
        },
    )

    post: Dict[Address, Union[Account, object]] = {}
    post[address_to] = Account(
        storage={
            slot_tload_from_sstore_result: 0x00,
            slot_code_worked: 0x01,
        }
    )

    tx = Transaction(
        sender=pre.fund_eoa(7_000_000_000_000_000_000),
        to=address_to,
        gas_price=10,
        data=b"",
        gas_limit=5000000,
        value=0,
    )

    state_test(env=Environment(), pre=pre, post=post, tx=tx)

Parametrized Test Cases

This test generates 1 parametrized test case across 4 forks.