Пример #1
0
def test_covers_entire_finite_space(strat):
    assert strat.template_upper_bound <= 100

    random = Random(hashlib.md5((repr(strat) + ":test_covers_entire_finite_space").encode("utf-8")).digest())

    s = set()
    for _ in hrange(2000):
        s.add(strat.draw_and_produce(random))

    assert len(s) == strat.template_upper_bound
Пример #2
0
def test_covers_entire_finite_space(strat):
    assert strat.template_upper_bound <= 100

    random = Random(hashlib.md5(
        (repr(strat) + ':test_covers_entire_finite_space').encode('utf-8')
    ).digest())

    s = set()
    for _ in hrange(2000):
        s.add(strat.draw_and_produce(random))

    assert len(s) == strat.template_upper_bound