from quick.features import QuickCheck
qc = QuickCheck()
@qc.forall("Test simplification list", max_count=10)
def prop(x: [int]):
return len(x) == 3
@qc.forall("Test simplification int", max_count=10)
def prop(x: int, y: int):
return x + y == 5
from quick.arbitrary import A
from quick.features import QuickCheck
from quick.generators import number
qc = QuickCheck(max_count=100)
def non_empty_list(el: number, ls: [number]):
"""
Generator which always returns non empty list
"""
ls.append(el)
return ls
@qc.forall("Arbitrary some_of")
def prop(a: A, x: [number]):
sub_set = a.some_of(x)
for el in sub_set:
if el not in x:
return False
return True
@qc.forall("For any given list N len(A.some_of(N)) <= len(N)")
def prop(a: A, x: [number]):
sub_set = a.some_of(x)
return len(sub_set) <= len(x)
def setUp(self):
self.qc = QuickCheck()
