test_clz_fork_transition()

Documentation for tests/osaka/eip7939_count_leading_zeros/test_count_leading_zeros.py::test_clz_fork_transition@892e6d1e.

Generate fixtures for these test cases for Osaka with:

fill -v tests/osaka/eip7939_count_leading_zeros/test_count_leading_zeros.py::test_clz_fork_transition --fork Osaka

Test CLZ opcode behavior at fork transition.

Source code in tests/osaka/eip7939_count_leading_zeros/test_count_leading_zeros.py

@EIPChecklist.Opcode.Test.ForkTransition.Invalid()
@EIPChecklist.Opcode.Test.ForkTransition.At()
@pytest.mark.valid_at_transition_to("Osaka")
def test_clz_fork_transition(
    blockchain_test: BlockchainTestFiller, pre: Alloc
) -> None:
    """Test CLZ opcode behavior at fork transition."""
    sender = pre.fund_eoa()
    callee_address = pre.deploy_contract(
        code=Op.SSTORE(Op.TIMESTAMP, Op.CLZ(1 << 100)) + Op.STOP,
        storage={14_999: "0xdeadbeef"},
    )
    caller_address = pre.deploy_contract(
        code=Op.SSTORE(
            Op.TIMESTAMP, Op.CALL(gas=0xFFFF, address=callee_address)
        ),
        storage={14_999: "0xdeadbeef"},
    )
    blocks = [
        Block(
            timestamp=14_999,
            txs=[
                Transaction(
                    to=caller_address,
                    sender=sender,
                    nonce=0,
                    gas_limit=200_000,
                )
            ],
        ),
        Block(
            timestamp=15_000,
            txs=[
                Transaction(
                    to=caller_address,
                    sender=sender,
                    nonce=1,
                    gas_limit=200_000,
                )
            ],
        ),
        Block(
            timestamp=15_001,
            txs=[
                Transaction(
                    to=caller_address,
                    sender=sender,
                    nonce=2,
                    gas_limit=200_000,
                )
            ],
        ),
    ]
    blockchain_test(
        pre=pre,
        blocks=blocks,
        post={
            caller_address: Account(
                storage={
                    14_999: 0,  # Call fails as opcode not valid before Osaka
                    15_000: 1,  # Call succeeds on fork transition block
                    15_001: 1,  # Call continues to succeed after transition
                }
            ),
            callee_address: Account(
                storage={
                    # CLZ not valid before fork, storage unchanged
                    14_999: "0xdeadbeef",
                    # CLZ valid on transition block, CLZ(1 << 100) = 155
                    15_000: 155,
                    # CLZ continues to be valid after transition
                    15_001: 155,
                }
            ),
        },
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.