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

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: 21 Aug 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 (40)

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

Conflicts (2)

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