fast-check
7.1#1 in property-based testing toolsFree planFree planWebAPILinuxSelf-hosted
Visitfast-check vs QCheck
What both publish
| Fact | fast-check | QCheck |
|---|---|---|
| Integrations | The ecosystem lists official integrations for AVA, Jest, and Vitest, along with connectors for libraries such as Zod and io-ts. | The project provides integration layers for OUnit and Alcotest, and the README describes using QCheck with Rely through an npm package. |
| Model-based testing | The API includes modelRun, asyncModelRun and scheduledModelRun functions for model and real-system testing. | The README points to the multicoretests repository for qcheck-stm, which runs sequential and parallel model-based tests, and qcheck-lin, which tests sequential consistency. |
| Purpose | fast-check is a property-based testing library for JavaScript and TypeScript that generates inputs, runs assertions over many cases, and shrinks failures to smaller counterexamples. | QCheck is a QuickCheck-inspired property-based testing library for OCaml. |
fast-check plans
- fast-checkFree
QCheck plans
- QCheckFree
Pick fast-check if…
It suits JavaScript and TypeScript developers who want to check behavior across generated inputs, including stateful scenarios. Its runner-agnostic design can fit projects using a range of test runners.
Pick QCheck if…
QCheck suits OCaml developers who want to test properties over generated inputs rather than rely only on individual examples. Its runner and integration packages cover projects using OUnit or Alcotest.