def test_minimal_mixed(): xs = find( st.lists(st.booleans() | st.tuples(st.booleans(), st.booleans())), lambda x: len(x) >= 10) assert xs == [False] * 10
def test_minimal_mixed(): xs = find( st.lists(st.booleans() | st.tuples(st.booleans(), st.booleans())), lambda x: len(x) >= 10 ) assert xs == [False] * 10
def test_minimal_bool_lists(): t = find(st.lists(st.booleans()), lambda x: any(x) and not all(x)) assert t == [False, True]
def test_minimal_bool_lists(): t = find( st.lists(st.booleans()), lambda x: any(x) and not all(x) ) assert t == [False, True]