package qcheck

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.1.tar.gz
sha256=b3846be6794041bb4312eb2ec381f5a69e55996f1d9bfc245a9b1e7723aeb430
md5=9cdc8dbc5148f5cde89698e7ef44302f

Description

This module allows to check invariants (properties of some types) over randomly generated instances of the type.

Published: 21 Nov 2013

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind
  3. ocaml >= "4.00.0" & < "4.06.0"

Dev Dependencies

None

Used by (37)

  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. js_of_ocaml-compiler >= "5.9.0"
  16. lbvs_consent
  17. lt-code
  18. lua_pattern
  19. lwd < "0.3"
  20. nunchaku >= "0.5.1"
  21. obatcher
  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. 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. yocaml >= "2.0.0"
  36. yocaml_syndication >= "2.0.0"
  37. zar >= "0.9.3"

Conflicts (1)

  1. qcheck-core
OCaml

Innovation. Community. Security.