hypothesis

What problem does it solve?

Hypothesis automates the generation of diverse test inputs and shrinking of failing cases to help you find and fix edge cases quickly, improving test coverage and reliability.

Core Features & Use Cases

• Property-based testing to systematically explore input spaces and verify invariants
• Stateful testing with rule-based state machines
• Pytest integration; Polars integration enables dataframe-oriented property tests

Quick Start

Install Hypothesis and start writing tests using given strategies to automatically generate inputs and verify properties. For example, test that a function preserves invariants across a broad input space, or create composite strategies to build structured inputs for your code.