hypothesis - Property-based testing with Hypothesis in Python
Generate test cases automatically, shrink minimal failing examples, and verify invariants using Hypothesis strategies.
Tags
Updated: 2026-09-17Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Generate test data using strategies
- Shrink minimal failing test examples
- Execute stateful state machine tests
- Generate Polars DataFrame test data
- Configure test settings and profiles
Inputs
- Strategy definitions and column schemas
- Target code and state machines
- Hypothesis configuration profiles and settings
Outputs
- Test assertion pass or fail status
- Minimal failing test example inputs
- Hypothesis example database files
Requirements
- Python runtime
- Hypothesis package
- pytest test runner
- Polars library for parametric testing