Proptest

Input—per 1M tokens

Output—per 1M tokens

Context—tokens

WeightsClosed

About

Proptest is ranked #4 of 27 in property-based testing tools on Inferse. It runs on Web.

Compared on property-based testing tools

Free plan: Yesproptest-rs.github.io
Supported languages: Rustproptest-rs.github.io
Test runner support: Rust test harness ([test]); TestRunnerproptest-rs.github.io
Failing-case shrinking: Yesproptest-rs.github.io
Stateful testing: Yesproptest-rs.github.io
Reproducible failures: Yesproptest-rs.github.io

Facts

Purpose: Proptest is a property testing framework for Rust inspired by Python’s Hypothesis framework.proptest-rs.github.io · 1 Oct 2026
Minimal cases: When a failure is found, Proptest automatically finds the minimal test case that reproduces it.proptest-rs.github.io · 1 Oct 2026
Generation model: Generation and shrinking are defined per value rather than per type, which enables flexible composition.proptest-rs.github.io · 1 Oct 2026
Maintenance status: The crate is feature-complete and mainly receives passive maintenance.proptest-rs.github.io · 1 Oct 2026
Strategies: A strategy generates random values and shrinks them into simpler forms, and Proptest ships with a substantial strategy library.proptest-rs.github.io · 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 · 1 Oct 2026
Default test count: The default number of successful test cases required for a test to pass is 256.proptest-rs.github.io · 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 · 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 · 1 Oct 2026
WebAssembly: Proptest can compile for WebAssembly targets, but this support is highly experimental and has had little substantial testing.proptest-rs.github.io · 1 Oct 2026
WebAssembly limits: On WebAssembly targets, numeric strategies for i128 and u128 are unavailable.proptest-rs.github.io · 1 Oct 2026
Rust version: The current minimum supported Rust version is 1.88.github.com · 1 Oct 2026
Licensing: The repository contains Apache-2.0 and MIT licenses.github.com · 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 · 1 Oct 2026
Maintenance model: Proptest is maintained on a volunteer basis.github.com · 1 Oct 2026
Failure minimization: When a failure is found, Proptest automatically finds a minimal test case that reproduces it.proptest-rs.github.io · 1 Oct 2026
Input generation: Generation and shrinking are defined per value rather than per type.proptest-rs.github.io · 1 Oct 2026
Failure persistence: Failing cases are persisted under a proptest-regressions directory and replayed in later test runs.proptest-rs.github.io · 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 · 1 Oct 2026
No-std limits: Failure persistence, forking, and regex support are unavailable in the no_std build.proptest-rs.github.io · 1 Oct 2026