def p_top(p):
    p[0] = da.Module()
Test that a State attribute can be created.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_top--crossover with--dataset/ETHPy150Open OpenKMIP/PyKMIP/kmip/tests/unit/core/factories/test_attribute_values.py/TestAttributeValueFactory.test_create_state