gistfile1.py

@given(st.data())
def test(d):
    try:
        d.draw(st.lists(st.integers(), min_size=3, unique=True))
    finally:
        raise ValueError

for i in range(10_000):
    print(i)
    try:
        test()
    except ValueError as err:
        assert "[0, 1, -1]" in "\n".join(err.__notes__)
    else:
        assert False