package qcheck

  1. Overview
  2. Docs
QuickCheck inspired property-based testing for OCaml

Install 

dune-project
 Dependency

github.com Edit opam file Versions (8)

Authors

  1. S
    Simon Cruanes <simon.cruanes@inria.fr>

Maintainers

  1. S
    simon.cruanes@inria.fr

Sources

0.7.tar.gz
sha256=136d9134e2274f7eaf8021bc205a6008dcaa07612725db1ea8da98505d0e55c4
md5=ca3c7d24200a8ca7e4390f1145eae3a9

Description

This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.

Tags

test property quickcheck

Published: 21 Aug 2017

Dependencies (6)

  1. ocamlbuild build
  2. ounit
  3. base-unix
  4. base-bytes
  5. ocamlfind
  6. ocaml >= "4.00.0" & < "5.0.0"

Dev Dependencies

None

Used by (35)

  1. base32
  2. batteries < "3.4.0"
  3. bencode >= "2.0"
  4. binsec < "0.11.0"
  5. cborl
  6. clp_operations
  7. containers-data = "3.8"
  8. containers-thread = "3.8"
  9. dolmen >= "0.7" & < "0.8.1"
  10. ezgzip
  11. inferno >= "20220603"
  12. js_of_ocaml-compiler >= "5.9.0"
  13. lbvs_consent
  14. lt-code
  15. lua_pattern
  16. lwd != "0.3" & < "0.5"
  17. obatcher
  18. oseq >= "0.3" & < "0.4.1" | >= "0.5.1"
  19. ppx_regexp >= "0.4.0"
  20. ppx_tyre
  21. pratter = "1.2.1"
  22. prbnmcn-cgrph
  23. qtest < "2.11.1"
  24. serde >= "0.0.2"
  25. shakuhachi
  26. spelll = "0.3"
  27. spurs >= "0.1.1"
  28. stdint >= "0.7.1"
  29. stramon-lib
  30. syslog-message >= "1.0.0"
  31. timedesc
  32. timere
  33. yocaml >= "2.0.0" & < "3.0.0"
  34. yocaml_syndication >= "2.0.0" & < "3.0.0"
  35. zar >= "0.9.3"

Conflicts (2)

  1. qcheck-core
  2. ounit < "2.0"