コード例 #1
0
ファイル: default.py プロジェクト: JesseBuesking/pythoncheck 
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
ファイル: default.py プロジェクト: JesseBuesking/pythoncheck 
def Bool():
    a = Arbitrary()
    a.generator = Gen.elements([True, False])
    return a