def can_find_as_many_templates_as_size(self, strat, r): tempstrat = templates_for(strat) n = min(10, strat.template_upper_bound) found = [] with Settings(verbosity=Verbosity.quiet, timeout=2.0): for i in range(n): try: x = find(tempstrat, lambda t: t not in found, random=r) except: print("Exception at %d/%d. template_upper_bound=%r" % (i, n, strat.template_upper_bound)) raise found.append(x)
def can_find_as_many_templates_as_size(self, strat, r): tempstrat = templates_for(strat) n = min(10, strat.template_upper_bound) found = [] with Settings(verbosity=Verbosity.quiet, timeout=2.0): for _ in range(n): x = find( tempstrat, lambda t: t not in found, random=r, ) found.append(x)
def can_find_as_many_templates_as_size(self, strat, r): tempstrat = templates_for(strat) n = min(10, strat.template_upper_bound) found = [] with Settings(verbosity=Verbosity.quiet, timeout=2.0): for i in range(n): try: x = find( tempstrat, lambda t: t not in found, random=r, ) except: print(u'Exception at %d/%d. template_upper_bound=%r' % (i, n, strat.template_upper_bound)) raise found.append(x)
TestRandom = strategy_test_suite(randoms()) TestInts = strategy_test_suite(integers()) TestBoolLists = strategy_test_suite(lists(booleans())) TestDictionaries = strategy_test_suite( dictionaries(keys=tuples(integers(), integers()), values=booleans())) TestOrderedDictionaries = strategy_test_suite( dictionaries(keys=integers(), values=integers(), dict_class=OrderedDict)) TestString = strategy_test_suite(text()) BinaryString = strategy_test_suite(binary()) TestIntBool = strategy_test_suite(tuples(integers(), booleans())) TestFloats = strategy_test_suite(floats()) TestComplex = strategy_test_suite(complex_numbers()) TestJust = strategy_test_suite(just('hi')) TestTemplates = strategy_test_suite(templates_for(sets(integers()))) TestEmptyString = strategy_test_suite(text(alphabet='')) TestSingleString = strategy_test_suite( strategy(text(alphabet='a'), Settings(average_list_length=10.0))) TestManyString = strategy_test_suite(text(alphabet='abcdef☃')) Stuff = namedtuple('Stuff', ('a', 'b')) TestNamedTuple = strategy_test_suite(builds(Stuff, integers(), integers())) TestTrees = strategy_test_suite( n_ary_tree(integers(), integers(), integers())) TestMixedSets = strategy_test_suite( sets(one_of(integers(), booleans(), floats()))) TestFrozenSets = strategy_test_suite(frozensets(booleans()))
def abc(x, y, z): return builds(ABC, x, y, z) with Settings(average_list_length=10.0): standard_types = [ basic(Bitfields), EvalledIntStream, lists(max_size=0), tuples(), sets(max_size=0), frozensets(max_size=0), fixed_dictionaries({}), n_ary_tree(booleans(), booleans(), booleans()), n_ary_tree(integers(), integers(), integers()), abc(booleans(), booleans(), booleans()), abc(booleans(), booleans(), integers()), templates_for(one_of(*map(just, hrange(10)))), fixed_dictionaries({u'a': integers(), u'b': booleans()}), dictionaries(booleans(), integers()), dictionaries(text(), booleans()), one_of(integers(), tuples(booleans())), sampled_from(range(10)), one_of(just(u'a'), just(u'b'), just(u'c')), sampled_from((u'a', u'b', u'c')), integers(), integers(min_value=3), integers(min_value=(-2 ** 32), max_value=(2 ** 64)), floats(), floats(min_value=-2.0, max_value=3.0), floats(), floats(min_value=-2.0), floats(), floats(max_value=-0.0), floats(), floats(min_value=0.0), floats(min_value=3.14, max_value=3.14),
with Settings(average_list_length=10.0): standard_types = [ basic(Bitfields), EvalledIntStream, lists(max_size=0), tuples(), sets(max_size=0), frozensets(max_size=0), fixed_dictionaries({}), n_ary_tree(booleans(), booleans(), booleans()), n_ary_tree(integers(), integers(), integers()), abc(booleans(), booleans(), booleans()), abc(booleans(), booleans(), integers()), templates_for(one_of(*map(just, hrange(10)))), fixed_dictionaries({u"a": integers(), u"b": booleans()}), dictionaries(booleans(), integers()), dictionaries(text(), booleans()), one_of(integers(), tuples(booleans())), sampled_from(range(10)), one_of(just(u"a"), just(u"b"), just(u"c")), sampled_from((u"a", u"b", u"c")), integers(), integers(min_value=3), integers(min_value=(-2 ** 32), max_value=(2 ** 64)), floats(), floats(min_value=-2.0, max_value=3.0), floats(), floats(min_value=-2.0), floats(),
TestRandom = strategy_test_suite(randoms()) TestInts = strategy_test_suite(integers()) TestBoolLists = strategy_test_suite(lists(booleans(), average_size=5.0)) TestDictionaries = strategy_test_suite( dictionaries(keys=tuples(integers(), integers()), values=booleans())) TestOrderedDictionaries = strategy_test_suite( dictionaries( keys=integers(), values=integers(), dict_class=OrderedDict)) TestString = strategy_test_suite(text()) BinaryString = strategy_test_suite(binary()) TestIntBool = strategy_test_suite(tuples(integers(), booleans())) TestFloats = strategy_test_suite(floats()) TestComplex = strategy_test_suite(complex_numbers()) TestJust = strategy_test_suite(just(u'hi')) TestTemplates = strategy_test_suite(templates_for(sets(integers()))) TestEmptyString = strategy_test_suite(text(alphabet=u'')) TestSingleString = strategy_test_suite( text(alphabet=u'a', average_size=10.0)) TestManyString = strategy_test_suite(text(alphabet=u'abcdef☃')) Stuff = namedtuple(u'Stuff', (u'a', u'b')) TestNamedTuple = strategy_test_suite( builds(Stuff, integers(), integers())) TestMixedSets = strategy_test_suite(sets( one_of(integers(), booleans(), floats()))) TestFrozenSets = strategy_test_suite(frozensets(booleans())) TestNestedSets = strategy_test_suite(