package qcheck-core

  1. Overview
  2. Docs
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (4)

Authors

  1. T
    the qcheck contributors

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.26.tar.gz
md5=3eba3b3b47ccfa48afd1ce7dbdd463f7
sha512=6f4749df32629b2a64034f7a8d07079b8d3d628cc402c52bbdbd7e287ca20adf8e8133f91d79e75d8402100715a1138d62904b2d9c1d1595602d5206e0862305

Description

QCheck is a QuickCheck inspired property-based testing library for OCaml.

The qcheck-core library provides the core property-based testing API with minimal dependendies: It requires only unix and dune.

Tags

test property quickcheck

Published: 10 Jul 2025

Dependencies (3)

  1. ocaml >= "4.08.0"
  2. base-unix
  3. dune >= "2.8.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test & >= "1.2.0"

Used by (44)

  1. algaeff
  2. bare_encoding >= "0.3.1"
  3. bwd >= "1.2.0"
  4. colibri2
  5. containers-data >= "3.9"
  6. containers-thread >= "3.9"
  7. domainslib >= "0.5.1"
  8. fast_bitvector >= "0.1.2.2"
  9. fungi
  10. goblint < "2.0.0" | >= "2.6.0"
  11. hacl-star >= "0.7.0"
  12. iter >= "1.6"
  13. kcas_data >= "0.7.0"
  14. logtk
  15. lru >= "0.3.0"
  16. mel-bastet
  17. moonpool >= "0.3"
  18. moonpool-lwt >= "0.9"
  19. mopsa >= "1.2"
  20. octez-libs
  21. octez-shell-libs
  22. ortac-qcheck-stm < "0.6.1"
  23. osnap >= "0.3.0"
  24. patricia-tree
  25. picos < "0.5.0"
  26. picos_meta
  27. ppx_deriving_qcheck
  28. preface >= "1.1.0"
  29. psq >= "0.1.1"
  30. qcheck >= "0.26"
  31. qcheck-alcotest >= "0.26"
  32. qcheck-lin
  33. qcheck-multicoretests-util
  34. qcheck-ounit >= "0.26"
  35. qcheck-stm
  36. saturn >= "1.0.0"
  37. saturn_lockfree >= "0.5.0"
  38. sqids
  39. term-indexing
  40. term-tools
  41. tezos-proxy >= "17.3"
  42. tezos-shell-services-test-helpers >= "16.0"
  43. tiny_httpd >= "0.13"
  44. yuujinchou >= "3.0.0"

Conflicts (1)

  1. ounit < "2.0"