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.2.tar.gz
md5=f7c7e3c45a46bcd5b5eb2b0c93c207d6

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: 11 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 (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. 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. syslog-message >= "1.0.0"
  33. timedesc
  34. timere
  35. zar >= "0.9.3"

Conflicts (2)

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