package qcheck-core

  1. Overview
  2. Docs
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (7)

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

v0.91.tar.gz
md5=ac45753406af93cb77a3c173741e0fe8
sha512=3baa8c04a43db0497891394208c8a6184d603e4fe0ad9d15fddf666e7a628597210874ca85c96022b69c11a99fdd43bbbf0e6211e34ed7d1dea7b1c95bd54316

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: 28 Dec 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 (49)

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

Conflicts (1)

  1. ounit < "2.0"