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()