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.6.tar.gz
md5=817a76f18bf41d59a7254f69f0803cb1

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: 30 May 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 (38)

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

Conflicts (2)

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