Specifiction
For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
List your tool
Vendor dashboard
Tech riderRev. 20 Sept 2026

Proptest

Ch 086.5of 27 Property-Based Testing Tools
  1. 1Runs onWeb
  2. 2CostsNot stated by the maker
  3. 3Supported languagesRust
  4. 4Test runner supportRust test harness ([test]); TestRunner
  5. 5Failing-case shrinkingYes
  6. 6Stateful testingYes
  7. 7Reproducible failuresYes
6 lines stated Written from the maker's own pages: proptest-rs.github.io
Visit site Alternatives
The Proptest homepage

Overview

Proptest is ranked #8 of 27 in property-based testing tools on Specifiction. 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

Best Proptest alternatives

See all 20
All accessCh 01 Gopter Free planLinuxself-hosted Free to start7.0 All accessCh 02 Hypothesis LinuxMac 6.9 All accessCh 03 fast-check Free planAPILinux Free to start6.8 All accessCh 04 QuickCheck Free planLinux Free to start6.8 All accessCh 05 Scala Hedgehog Free planLinux Free to start6.8 All accessCh 06 CsCheck Free planself-hosted Free to start6.6

Where it ranks on Specifiction

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