package qcheck-core

  1. Overview
  2. Docs
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (5)

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

v0.27.tar.gz
md5=dd6df3f9b934567e4b1292a183af0554
sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac

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: 03 Nov 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.27"
  31. qcheck-alcotest >= "0.27"
  32. qcheck-lin
  33. qcheck-multicoretests-util
  34. qcheck-ounit >= "0.27"
  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"