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 )