No. 10 of 27 ·Property-Based Testing Tools

Proptest

Web

Visit site Alternatives

Freedom report

One barScore 5.4

Free tierNo free tier on record
Open codeNo open-source code on record
Runs widely1 of 6 device platforms
DocumentedPlans, terms and facts published

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

Compared on property-based testing tools

Free plan: Yes
Supported languages: Rust
Test runner support: Rust test harness ([test]); TestRunner
Failing-case shrinking: Yes
Stateful testing: Yes
Reproducible failures: Yes

Best Proptest alternatives

See all 20

One bar fast-check Free tier No. 1Free6.4 One bar Gopter Free tier No. 2Free6.4 One bar Scala Hedgehog Free tier No. 3Free6.4 One bar CsCheck Free tier No. 4Free6.3 One bar PropEr Free tier No. 5Free6.3 One bar QuickCheck Free tier No. 6Free6.3

The record

Purpose: Proptest is a property testing framework for Rust inspired by Python’s Hypothesis framework.
Minimal cases: When a failure is found, Proptest automatically finds the minimal test case that reproduces it.
Generation model: Generation and shrinking are defined per value rather than per type, which enables flexible composition.
Maintenance status: The crate is feature-complete and mainly receives passive maintenance.
Strategies: A strategy generates random values and shrinks them into simpler forms, and Proptest ships with a substantial strategy library.
State-machine testing: Proptest supports state-machine testing for systems such as database APIs and client-server interactions.
Default test count: The default number of successful test cases required for a test to pass is 256.
no_std support: Proptest has partial no_std support and requires a nightly compiler with alloc or std for memory allocation.
no_std limitations: The no_std build does not provide failure persistence, forking, or features depending on crates such as regex.
WebAssembly: Proptest can compile for WebAssembly targets, but this support is highly experimental and has had little substantial testing.
WebAssembly limits: On WebAssembly targets, numeric strategies for i128 and u128 are unavailable.
Rust version: The current minimum supported Rust version is 1.88.
Licensing: The repository contains Apache-2.0 and MIT licenses.
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.

Where it ranks on Freedom251

Best Property-Based Testing Tools in 2026#10 of 27

Is Proptest yours?

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.

Claim it free Promote Proptest

Sources

proptest-rs.github.io/proptest/· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/tutorial/strategy-bas· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/state-machine.html· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/tutorial/config.html· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/no-std.html· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/wasm.html· checked 1 Oct 2026
github.com/proptest-rs/proptest· checked 1 Oct 2026
github.com/proptest-rs/proptest/blob/main/CONTRIBU· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/failure-persistence.h· checked 1 Oct 2026
proptest-rs.github.io/proptest/proptest/forking.html· checked 1 Oct 2026