test_delete_from_genesis_trie()¶

@pytest.mark.parametrize(
    "group,target,along,pre_shape,post_shape", DELETE_CASES
)
def test_delete_from_genesis_trie(
    state_test: StateTestFiller,
    pre: Alloc,
    group: Sequence[int],
    target: int,
    along: int,
    pre_shape: Shape,
    post_shape: Shape,
) -> None:
    """
    Zero one slot of a storage trie committed at genesis.

    Each `DELETE_CASES` row gives the path before and after the delete;
    the rows cover every survivor kind under every parent kind.
    """
    storage, remaining = _delete_case(
        group, target, along, pre_shape, post_shape
    )
    contract = pre.deploy_contract(
        code=_writer_code([(target, 0)]), storage=storage
    )

    state_test(
        pre=pre,
        tx=Transaction(sender=pre.fund_eoa(), to=contract),
        post={contract: Account(storage=remaining)},
    )