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.3.1.tar.gz
md5=9e79548354aea199a521b3c3986f1702

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: 27 Jan 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 (36)

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

Conflicts (2)

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