hypothesis-crosshair 0.0.2

Level-up your Hypothesis tests with CrossHair.

hypothesis-crosshair

Add the power of solver-based symbolic execution to your Hypothesis tests with CrossHair.

Just

pip install hypothesis-crosshair

and then add a backend="crosshair" setting, like so:

from hypothesis import given, settings, strategies as st

@settings(backend="crosshair")
@given(st.integers())
def test_needs_solver(x):
    assert x != 123456789

Docs hopefully comming soon. In the meantime, start a discussion or file an issue.