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.4.0.1.tar.gz
md5=84d5871efa592dd3834eee28d581c188

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: 10 Jun 2015

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind
  3. ocaml >= "4.00.0" & < "5.0.0"

Dev Dependencies

None

Used by (35)

  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. regenerate < "0.2"
  27. sequence >= "1.0"
  28. serde >= "0.0.2"
  29. stdint >= "0.7.1"
  30. stramon-lib
  31. stringext >= "1.4.0" & < "1.4.3"
  32. syslog-message < "1.0.0"
  33. timedesc
  34. timere
  35. zar >= "0.9.3"

Conflicts (2)

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