Source code for contracts.test_registrar

good_examples = []
syntax_fail_examples = []
semantic_fail_examples = []
contract_fail_examples = []


# If exact is True, we are providing a canonical form
# for the expression and we want it back.
[docs]def good(a, b, exact=True):
    good_examples.append((a, b, exact))


[docs]def semantic_fail(a, b, exact=True):
    semantic_fail_examples.append((a, b, exact))


[docs]def syntax_fail(s):
    syntax_fail_examples.append(s)


[docs]def fail(a, b, exact=True):
    contract_fail_examples.append((a, b, exact))