package qcheck

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

Install

Dune Dependency

github.com Edit opam file Versions (33)

Authors

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

Maintainers

  1. S
    simon.cruanes@inria.fr

Sources

0.5.tar.gz
md5=9798f3d99409b900cb4fb87520cd03bc

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: 17 Dec 2016

Dependencies (6)

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

Dev Dependencies

None

Used by (34)

  1. base32
  2. bt
  3. cborl
  4. clp_operations
  5. containers >= "2.8" & < "3.0"
  6. containers-data = "3.8"
  7. containers-thread = "3.8"
  8. docfd >= "2.2.0"
  9. dolmen >= "0.7" & < "0.8.1"
  10. eris
  11. eris-lwt
  12. gen >= "0.5.1" & < "0.5.3"
  13. inferno >= "20220603"
  14. iter < "1.2.1"
  15. lbvs_consent
  16. lt-code
  17. lua_pattern
  18. lwd < "0.3"
  19. nunchaku >= "0.5.1"
  20. oasis2opam = "0.6.0"
  21. oseq >= "0.3" & < "0.4.1" | >= "0.5.1"
  22. ppx_regexp >= "0.4.0"
  23. ppx_tyre
  24. pratter = "1.2.1" | >= "3.0.0"
  25. prbnmcn-cgrph
  26. qtest >= "2.5" & < "2.11.1"
  27. regenerate < "0.2"
  28. sequence >= "1.0"
  29. serde >= "0.0.2"
  30. stdint >= "0.7.1"
  31. stramon-lib
  32. timedesc
  33. timere
  34. zar >= "0.9.3"

Conflicts (2)

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