示例#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
示例#2
0
def Bool():
    a = Arbitrary()
    a.generator = Gen.elements([True, False])
    return a