>>> import conjecture >>> assert5== conjecture.has(lambdav: v <10) >>> assert5== conjecture.has(lambdav: v >10) Traceback (most recent call last): File "<stdin>", line 1, in <module> AssertionError

>>> import conjecture >>> assertNone== conjecture.none()

>>> import conjecture >>> assertNone== conjecture.anything() >>> assert123== conjecture.anything() >>> assert"abc"== conjecture.anything()

>>> import conjecture >>> assert{"a": 1} == conjecture.has_key("a") >>> assert{"a": 1} == conjecture.has_key("a", of=1) >>> assert{"a": 1} == conjecture.has_key("a", of=conjecture.less_than(5))

>>> import conjecture >>> assert123== conjecture.instance_of(int) >>> assert"abc"== conjecture.instance_of((str, bytes))

>>> import conjecture >>> assert123== conjecture.equal_to(123) >>> assert"abc"== conjecture.equal_to("abc")

>>> import conjecture >>> assert1== conjecture.has_attribute("__class__") >>> assert1== conjecture.has_attribute("__class__", of=int) >>> assert1== conjecture.has_attribute("__class__", of=conjecture.instance_of(type))

>>> import conjecture >>> assert5== conjecture.greater_than(1) >>> assert5== conjecture.greater_than_or_equal_to(1)

>>> import conjecture >>> assert1== conjecture.less_than(5) >>> assert1== conjecture.less_than_or_equal_to(5)

>>> import conjecture >>> assertlist() == conjecture.empty() >>> assertset() == conjecture.empty() >>> asserttuple() == conjecture.empty() >>> assertdict() == conjecture.empty()

>>> import conjecture >>> assert [1, 2, 3, 4, 5] == conjecture.length_of(5) >>> assert [1, 2, 3] == conjecture.length_of(conjecture.less_than(5))

>>> import conjecture >>> assert"foo bar baz"== conjecture.prefixed_with("foo") >>> assertb"foo bar baz"== conjecture.prefixed_with(b"foo")

>>> import conjecture >>> assert"foo bar baz"== conjecture.suffixed_with("baz") >>> assertb"foo bar baz"== conjecture.suffixed_with(b"baz")

>>> import conjecture >>> assert5== conjecture.has(lambdav: v <=5) & conjecture.has(lambdav: v=>5) >>> assert6== conjecture.has(lambdav: v <=5) & conjecture.has(lambdav: v=>5) Traceback (most recent call last): File "<stdin>", line 1, in <module> AssertionError >>> assert5== conjecture.all_of( ... conjecture.has(lambdav: v <=5), ... conjecture.has(lambdav: v=>5) ... ) >>> assert6== conjecture.all_of( ... conjecture.has(lambdav: v <=5), ... conjecture.has(lambdav: v=>5) ... ) Traceback (most recent call last): File "<stdin>", line 1, in <module> AssertionError

>>> import conjecture >>> assert0== conjecture.has(lambdav: v ==5) | conjecture.has(lambdav: v ==0) >>> assert5== conjecture.has(lambdav: v ==5) | conjecture.has(lambdav: v ==0) >>> assert6== conjecture.has(lambdav: v ==5) | conjecture.has(lambdav: v ==0) Traceback (most recent call last): File "<stdin>", line 1, in <module> AssertionError >>> assert5== conjecture.any_of( ... conjecture.has(lambdav: v ==5), ... conjecture.has(lambdav: v ==0) ... ) >>> assert6== conjecture.any_of( ... conjecture.has(lambdav: v ==5), ... conjecture.has(lambdav: v ==0) ... ) Traceback (most recent call last): File "<stdin>", line 1, in <module> AssertionError

>>> import conjecture >>> assert5!= conjecture.has(lambdav: v ==10) >>> assert5==~conjecture.has(lambdav: v ==10) >>> assert10==~conjecture.has(lambdav: v ==10) Traceback (most recent call last): File "<stdin>", line 1, in <module> AssertionError