qcheck

Tech stack & purpose

QCheck is an OCaml library for property-based testing, inspired by QuickCheck. The project provides multiple opam packages: qcheck-core (the minimal core API depending only on Unix and Dune), qcheck-ounit (integration with the OUnit testing framework), qcheck-alcotest (integration with Alcotest), qcheck (a compatibility package), and ppx_deriving_qcheck (a preprocessor for automatic generator derivation). Related packages like qcheck-stm and qcheck-lin from the multicoretests repository extend the library for model-based and sequential consistency testing. QCheck is written in OCaml and includes a monadic interface for constructing random generators, with support for shrinking counterexamples and preconditions on properties.

Community & reference links

• janmidtgaard.dk/quickcheck/index.html[course
• c-cube.github.io/qcheck/
• c-cube.github.io/qcheck/dev/qcheck-core/QCheck2/index.html#migration_qcheck2[migration
• c-cube.github.io/qcheck/[is
• cedeela.fr/quickcheck-for-ocaml[blog
• cs3110.github.io/textbook/chapters/correctness/randomized.html[a
• github.com/c-cube/qcheck/tree/master/src/ppx_deriving_qcheck/[README
• github.com/gasche/random-generator/[`random-generator`
• github.com/gildor478/ounit[`OUnit`
• github.com/gildor478/ounit[OUnit
• github.com/mirage/alcotest[`alcotest`
• github.com/mirage/alcotest/[Alcotest
• github.com/ocaml-multicore/multicoretests[`multicoretests`
• github.com/vincent-hugot/iTeML[qtest
• gitlab.inria.fr/fpottier/feat/[`feat`
• reason-native.com/docs/rely/[Rely

Languages

Contributors (top 30 of 35)

• 
  Jan Midtgaard962 commits · 112 followers
• 
  Simon Cruanes312 commits · 466 followers
• Julien Debon79 commits
• 
  Valentin Chaboche57 commits · 14 followers
• 
  Guillaume Bury36 commits · 48 followers
• 
  Nicolas Osborne16 commits · 34 followers
• sir4ur0n14 commits
• 
  Rudi Grinberg12 commits · 463 followers
• 
  Gabriel Scherer11 commits · 460 followers
• 
  Ulugbek Abdullaev8 commits · 154 followers
• 
  Patrick LaFontaine7 commits · 44 followers
• 
  dependabot[bot]6 commits · 0 followers
• 
  Sacha Ayoun4 commits · 61 followers
• Alex López4 commits
• 
  Nicolas Osborne3 commits · 34 followers
• 
  favonia3 commits · 329 followers
• 
  Kate2 commits · 375 followers
• alpaylan2 commits
• Kakadu2 commits
• 
  François Bobot2 commits · 50 followers
• ptrichr2 commits
• 
  Fourchaux2 commits · 9 followers
• 
  Kate2 commits · 375 followers
• 
  Patrick Ferris2 commits · 180 followers
• Anton Kochkov1 commits
• Ben Anderson1 commits
• 
  Olivier Nicole1 commits · 64 followers
• Jerry James1 commits
• 
  Tim McGilchrist1 commits · 232 followers
• 
  Jérôme Vouillon1 commits · 117 followers