hypothesis
https://github.com/hypothesisworks/hypothesis
Python
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
Python not yet supported3 Subscribers
Add a CodeTriage badge to hypothesis
Help out
- Issues
- Get dependency-update PRs working again
- Generating non-IEEE `floats` - such as `bfloat16`, `bfloat32`, or various `float8_*` types
- `assert "lambda" in source, source` does not hold
- `ghostwriter.magic(numpy.matmul)` fails with NumPy 1.26.4 and Python 3.12
- Support `consumes(some_bundle).filter(...)` for stateful tests
- Ideas for some strategy optimizations
- Migrate our core representation to an IR layer
- Implement an Atheris fuzzing backend
- Stable support for symbolic execution
- Generate `st.fixed_dictionaries()` with varied iteration orders
- Docs
- Python not yet supported