test_factory_rejects_ef_prefix_deployment()

Documentation for tests/amsterdam/eip7997_deterministic_factory_predeploy/test_factory.py::test_factory_rejects_ef_prefix_deployment@5c024cbb.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7997_deterministic_factory_predeploy/test_factory.py::test_factory_rejects_ef_prefix_deployment --fork Amsterdam

EIP-3541: deploying code that begins with 0xEF is rejected. The factory's CREATE2 fails when the initcode would return such code; the factory reverts and no contract is deployed.

Source code in tests/amsterdam/eip7997_deterministic_factory_predeploy/test_factory.py

def test_factory_rejects_ef_prefix_deployment(
    state_test: StateTestFiller,
    pre: Alloc,
) -> None:
    """
    EIP-3541: deploying code that begins with `0xEF` is rejected. The
    factory's `CREATE2` fails when the initcode would return such code;
    the factory reverts and no contract is deployed.
    """
    salt = 0x3541
    deploy_code = Bytes(b"\xef\x00")
    initcode = Initcode(deploy_code=deploy_code)
    expected_address = compute_create2_address(FACTORY, salt, initcode)

    storage = Storage()
    caller = pre.deploy_contract(
        Op.CALLDATACOPY(0, 0, Op.CALLDATASIZE)
        + Op.SSTORE(
            storage.store_next(0, "factory_call_failed"),
            Op.CALL(
                gas=Op.GAS,
                address=FACTORY,
                value=0,
                args_offset=0,
                args_size=Op.CALLDATASIZE,
            ),
        )
        + Op.STOP,
    )

    state_test(
        pre=pre,
        tx=Transaction(
            sender=pre.fund_eoa(),
            to=caller,
            data=Hash(salt) + bytes(initcode),
        ),
        post={
            caller: Account(storage=storage),
            expected_address: Account.NONEXISTENT,
        },
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.