https://github.com/pschanely/hypothesis-crosshair

Level-up your Hypothesis tests with CrossHair
https://github.com/pschanely/hypothesis-crosshair

Last synced: about 2 months ago
JSON representation

Level-up your Hypothesis tests with CrossHair

• Host: GitHub
• URL: https://github.com/pschanely/hypothesis-crosshair
• Owner: pschanely
• License: mit
• Created: 2023-12-02T15:10:09.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2024-08-02T07:45:05.000Z (about 2 months ago)
• Last Synced: 2024-08-03T08:37:59.613Z (about 2 months ago)
• Language: Python
• Size: 70.3 KB
• Stars: 8
• Watchers: 4
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-python-testing - hypothesis-crosshair - Add the power of solver-based symbolic execution to your Hypothesis tests with CrossHair. (Property Based Testing)

README

        
# hypothesis-crosshair

[![Downloads](https://pepy.tech/badge/hypothesis-crosshair)](https://pepy.tech/project/hypothesis-crosshair)

Add the power of solver-based symbolic execution to your

[Hypothesis](https://hypothesis.readthedocs.io/en/latest/index.html)

tests with

[CrossHair](https://github.com/pschanely/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 coming soon. In the meantime, start a

[discussion](https://github.com/pschanely/hypothesis-crosshair/discussions)

or file an [issue](https://github.com/pschanely/hypothesis-crosshair/issues).

## FAQ

### Can I try using crosshair for ALL my hypothesis tests?

Yes! Create or edit your pytest

[conftest.py](https://docs.pytest.org/en/7.1.x/reference/fixtures.html#conftest-py-sharing-fixtures-across-multiple-files)

file to register a profile like the following:

```

from hypothesis import settings

settings.register_profile(

    "crosshair",

    backend="crosshair",

)

```

And then run pytest using the profile you've defined:

```

pytest . --hypothesis-profile=crosshair 

```

## Changelog

### 0.0.11

* Address errors when the solver can't keep up (fixes [#20](https://github.com/pschanely/hypothesis-crosshair/issues/20))

### 0.0.10

* Reduce the numebr of iterations required to generate valid datetimes

### 0.0.9

* Quietly ignore iterations that appear to be failing due to symbolic intolerance.