package qcheck

  1. Overview
  2. Docs
QuickCheck inspired property-based testing for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

0.7.tar.gz
sha256=136d9134e2274f7eaf8021bc205a6008dcaa07612725db1ea8da98505d0e55c4
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 (43)

  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. obatcher
  26. oseq >= "0.3" & < "0.4.1" | >= "0.5.1"
  27. ppx_regexp >= "0.4.0"
  28. ppx_tyre
  29. pratter = "1.2.1" | >= "3.0.0"
  30. prbnmcn-cgrph
  31. qtest >= "2.5" & < "2.11.1"
  32. regenerate < "0.2"
  33. sequence >= "1.0"
  34. serde >= "0.0.2"
  35. spelll = "0.3"
  36. stdint >= "0.7.1"
  37. stramon-lib
  38. syslog-message >= "1.0.0"
  39. timedesc
  40. timere
  41. yocaml >= "2.0.0"
  42. yocaml_syndication >= "2.0.0"
  43. zar >= "0.9.3"

Conflicts (2)

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

Innovation. Community. Security.