package qcheck

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.2.tar.gz
sha256=d80fa9229139adf989ab3642374f31dbc25d4f71e537cd6b42a54dbf44bdbf0e
md5=07d3d9e736a48854506ed89162981134

Description

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

Tags

test property quickcheck

Published: 21 Nov 2013

Dependencies (3)

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

Dev Dependencies

None

Used by (36)

  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. lbvs_consent
  16. lt-code
  17. lua_pattern
  18. lwd < "0.3"
  19. nunchaku >= "0.5.1"
  20. obatcher
  21. oseq >= "0.3" & < "0.4.1" | >= "0.5.1"
  22. ppx_regexp >= "0.4.0"
  23. ppx_tyre
  24. pratter = "1.2.1" | >= "3.0.0"
  25. prbnmcn-cgrph
  26. regenerate < "0.2"
  27. sequence >= "1.0"
  28. serde >= "0.0.2"
  29. stdint >= "0.7.1"
  30. stramon-lib
  31. syslog-message < "1.0.0"
  32. timedesc
  33. timere
  34. yocaml >= "2.0.0"
  35. yocaml_syndication >= "2.0.0"
  36. zar >= "0.9.3"

Conflicts (1)

  1. qcheck-core
OCaml

Innovation. Community. Security.