def test_strategy_for_integer_range_produces_only_integers_in_that_range():
just_one_integer = strategy(specifiers.IntegerRange(1, 1))
for _ in hrange(100):
pv = just_one_integer.draw_parameter(random)
x = just_one_integer.produce_template(BuildContext(random), pv)
assert x == 1
some_integers = strategy(specifiers.IntegerRange(1, 10))
for _ in hrange(100):
pv = some_integers.produce_parameter(random)
x = some_integers.produce_template(BuildContext(random), pv)
assert 1 <= x <= 10
def test_strategy_for_integer_range_can_produce_end_points():
some_integers = strategy(specifiers.IntegerRange(1, 10))
found = set()
for _ in hrange(1000): # pragma: no branch
pv = some_integers.produce_parameter(random)
x = some_integers.produce_template(BuildContext(random), pv)
found.add(x)
if 1 in found and 10 in found:
break
else:
assert False # pragma: no cover
assert 1 in found
assert 10 in found
def test_simplify_integer_range_can_push_to_near_boundaries():
some_integers = strategy(specifiers.IntegerRange(1, 10))
predicates = [
(lambda x: True, 1),
(lambda x: x > 1, 2),
(lambda x: x > 5, 10),
(lambda x: x > 5 and x < 10, 9),
]
for p, v in predicates:
some = False
for i in hrange(1, 10):
if p(i):
some = True
assert last(some_integers.simplify_such_that(i, p)) == v
assert some