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)
示例#2
0
 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)
示例#3
0
 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)
示例#4
0
    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()))
示例#5
0

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),
示例#6
0

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(