package qcheck

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.5.3.1.tar.gz
sha256=46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff
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"
OCaml

Innovation. Community. Security.