package qcheck

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

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 (37)

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

Conflicts (2)

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