def test_constant_lists_through_flatmap():
x = find(
st.integer_range(0, 99).flatmap(lambda x: st.lists(st.just(x))),
lambda x: sum(x) >= 100
)
assert sum(x[:-1]) < 100
assert len(x) * (x[0] - 1) < 100
def test_constant_lists_through_flatmap():
x = find(
st.integer_range(0, 99).flatmap(lambda x: st.lists(st.just(x))),
lambda x: sum(x) >= 100)
assert sum(x[:-1]) < 100
assert len(x) * (x[0] - 1) < 100
def test_filtering_just_does_not_loop():
with pytest.raises(NoSuchExample):
find(st.just(False).filter(bool), lambda x: True)
def test_filtering_just_does_not_loop():
with pytest.raises(NoSuchExample):
find(
st.just(False).filter(bool), lambda x: True
)
