- Home
- Property-Based Testing Tools
- Proptest
On the recordRead 1 Oct 202620 facts
Proptest
On the record
- Default test count
- The default number of successful test cases required for a test to pass is 256.proptest-rs.github.io · read 1 Oct 2026
- Failure minimization
- When a failure is found, Proptest automatically finds a minimal test case that reproduces it.proptest-rs.github.io · read 1 Oct 2026
- Failure persistence
- Failing cases are persisted under a proptest-regressions directory and replayed in later test runs.proptest-rs.github.io · read 1 Oct 2026
- Forking and timeouts
- Optional fork and timeout features run test cases in subprocesses and limit their execution time.proptest-rs.github.io · read 1 Oct 2026
- Generation model
- Generation and shrinking are defined per value rather than per type, which enables flexible composition.proptest-rs.github.io · read 1 Oct 2026
- Input generation
- Generation and shrinking are defined per value rather than per type.proptest-rs.github.io · read 1 Oct 2026
- Licensing
- The repository contains Apache-2.0 and MIT licenses.github.com · read 1 Oct 2026
- Maintenance model
- Proptest is maintained on a volunteer basis.github.com · read 1 Oct 2026
- Maintenance status
- The crate is feature-complete and mainly receives passive maintenance.proptest-rs.github.io · read 1 Oct 2026
- Minimal cases
- When a failure is found, Proptest automatically finds the minimal test case that reproduces it.proptest-rs.github.io · read 1 Oct 2026
- no_std limitations
- The no_std build does not provide failure persistence, forking, or features depending on crates such as regex.proptest-rs.github.io · read 1 Oct 2026
- No-std limits
- Failure persistence, forking, and regex support are unavailable in the no_std build.proptest-rs.github.io · read 1 Oct 2026
- no_std support
- Proptest has partial no_std support and requires a nightly compiler with alloc or std for memory allocation.proptest-rs.github.io · read 1 Oct 2026
- Purpose
- Proptest is a property testing framework for Rust inspired by Python’s Hypothesis framework.proptest-rs.github.io · read 1 Oct 2026
- Rust version
- The current minimum supported Rust version is 1.88.github.com · read 1 Oct 2026
- State-machine testing
- Proptest supports state-machine testing for systems such as database APIs and client-server interactions.proptest-rs.github.io · read 1 Oct 2026
- Strategies
- Tests can use regular expressions, integer ranges, and other Strategy expressions to generate inputs.proptest-rs.github.io · read 1 Oct 2026
- Support
- Bug reports and questions are welcome through the project repository, and contributors are asked to include Rust version, Proptest version, and relevant operating-system details.github.com · read 1 Oct 2026
