BurntSushi/quickcheck

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

2786 stars · 163 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

A Rust library for automated property-based testing that randomly generates inputs for property functions and shrinks failing cases to minimal counterexamples. It is a port of the classic QuickCheck approach from Haskell, with built-in generators for common types.

Use cases

• test that reversing a vector twice returns the original input
• find minimal failing inputs for a parser with random data
• verify invariants of a sorting function over random lists
• shrink a failing test case to the smallest counterexample
• generate random integers, strings, and options for property tests
• replace hand-written example-based tests with property tests

When to choose

• you want property-based testing in Rust with automatic shrinking
• you need random input generation for common Rust types without writing custom generators
• you want a mature, widely used crate with a simple macro-based API
• you prefer minimal counterexamples when a property fails

When to avoid

• you need structured or grammar-based input generation for complex domains
• you want coverage-guided fuzzing of binaries rather than property tests
• you need stateful or model-based property testing out of the box

Facets

library · maturity stable

testing fuzzing testing developer-tools rust cross-platform property-based-testing shrinking quickcheck randomized-testing test-generation

Member repositories

For agents

markdown · JSON · MCP: product_card(name="BurntSushi/quickcheck")