proptest-rs/proptest
Hypothesis-like property testing for Rust observed · 2026-08-28
Health v2 · maintenance only
67/100
- Activity 98
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3363
- days_rel: n/a
- days_push: 12
- n_releases_24m: 0
Adoption not part of the score
2222 stars · 224 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
A Rust crate providing Hypothesis-like property-based testing with automatic test case shrinking. It generates random inputs to verify that properties hold across many cases and minimizes failing inputs.
Use cases
- property-based testing for rust functions
- generate random test inputs automatically
- shrink failing test cases to minimal examples
- alternative to quickcheck in rust
- fuzz-like testing of parser invariants
- test serialization round-trips with random data
When to choose
- you want hypothesis-style property testing in rust
- you need automatic shrinking of failing cases
- you want a mature, widely-used testing crate
When to avoid
- you only need simple example-based unit tests
- you need coverage-guided fuzzing rather than property testing
Facets
library · maturity stable
testing fuzzing testing developer-tools rust property-based-testing shrinking hypothesis quickcheck randomized-testing
2 sources
- readme: https://github.com/proptest-rs/proptest · fetched 2026-08-28 · 6fa2a627e063
- registry_crates: https://crates.io/api/v1/crates/proptest · fetched 2026-08-29 · 8fbf674435f1
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| proptest-rs/proptest | main | 67 |
For agents
markdown · JSON · MCP: product_card(name="proptest-rs/proptest")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem