Exemplo n.º 1
0
def Int():
    a = Arbitrary()
    a.generator = Gen.sized(lambda n: Gen.choose(-n, n))
    a.shrinker = lambda n: shrink_number(n)
    return a
Exemplo n.º 2
0
def Bool():
    a = Arbitrary()
    a.generator = Gen.elements([True, False])
    return a