QCheck
QCheck: A focused OCaml library with generators, shrinking, runners, and model-based testing. Ranked #11 of 27 in Property-Based Testing Tools by our editors (8.3/10); pricing: Free plan; best for OCaml teams.
At a glance
- Editor score8.3 / 10
- PricingFree plan
- Best forOCaml teams
- Free planYes
- Paid fromFree
- Supported languagesOCaml
- Facts checked20 Sep 2026
Where it wins
- Randomized generators with counterexample printing and shrinking
- OUnit, Alcotest, command-line, and programmatic runner support
- Sequential and parallel model-based testing through qcheck-stm
Where it doesn't
- Supports OCaml rather than multiple programming languages
- Requires an OCaml package or source-based setup
- Does not include AI features
Our verdict on QCheck
QCheck is an open-source property-based testing library for OCaml teams. It provides APIs for defining randomized tests, creating built-in or custom generators, printing counterexamples, and shrinking failing cases. The project is suited to developers who want property-based testing inside an OCaml codebase, whether tests are run through QCheck’s own runners or integrated with established OCaml testing frameworks.
Its strongest area is the testing workflow around generated inputs and failures. QCheck includes integrated shrinking in QCheck2, helping reduce failing examples to more useful counterexamples. It also supports command-line and programmatic runners through QCheck_base_runner and QCheck_runner. OUnit and Alcotest integrations give teams options for fitting property-based tests into those test environments, while ppx_deriving_qcheck can automatically derive generators. These capabilities make QCheck more than a basic random-data generator: it covers test definition, failure diagnosis, execution, and framework integration.
QCheck also extends beyond stateless properties through qcheck-stm, which supports sequential and parallel model-based testing. The broader package set includes core libraries, compatibility support, framework integrations, and a preprocessor for generator derivation. QCheck is distributed as OCaml opam packages and can be built from source, so it fits teams already working within the OCaml ecosystem. It is a strong choice for OCaml projects that need shrinking, multiple runner options, and stateful testing. Teams seeking a multi-language tool, a hosted commercial product, or AI-assisted testing should choose another category fit.
Your product? Our editors can test QCheck in depth and publish a review, labelled as paid · from $99/mo →
QCheck pricing
QCheck fact sheet
| Free plan | Yes |
|---|---|
| Paid from | Free |
| Supported languages | OCaml |
| Test runner support | QCheck_base_runner, QCheck_runner, OUnit, Alcotest |
| Failing-case shrinking | Yes |
| Stateful testing | Yes |
| Reproducible failures | Not verified |
| Cases per run | Not verified |
| Support | Docs |
| Built for | Solo, Small business, Mid-market, Enterprise (editorial estimate) |
| Integrations | 2 integrations: OUnit, Alcotest |
| Pricing | Free plan |
| Website | github.com |
| Facts checked | 20 Sep 2026 |
QCheck integrations
QCheck lists 2 integrations on its own site.
- OUnit
- Alcotest
Alternatives to QCheck
- fast-checkA deep, runner-agnostic testing library for JavaScript and TypeScript teams.9.4
- HypothesisA focused Python library for generated inputs, shrinking, and stateful tests.9.3
- ProptestA focused Rust framework for generated inputs, shrinking, replay, and stateful tests.9.1
Used QCheck? Be the first to review it
The editor score above is our own research. What this page doesn't have yet is a reader's view — what you used QCheck for, what worked and what didn't. No stars are seeded and no review is paid for; an editor reads every one before it appears.
Write a reviewTwo minutes · verified accounts only · read by an editor before it appears
Featured on iTechGuides
QCheck is listed in our Property-Based Testing Tools directory. Add the badge to your site — it links back to this page.
<a href="https://www.itechguides.com/products/qcheck/"><img src="https://www.itechguides.com/best/badge/qcheck.svg" alt="Featured on iTechGuides" width="230" height="46"></a>
Reviewed by iTechGuides Editors · Editorial team · Updated Oct 2026
Advertiser disclosure: iTechGuides is reader-supported. Vendors can pay for top positions in our rankings and for a place on other products' pages, and we may earn a commission when you click some links. Bought places stand at the number bought; this page and our disclosure say so. Paying vendors may get a fuller, more detailed review from our editors, and that review can change their score. How we rank.
Last updated · How we research and update