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>
  2. Gabriel Scherer

Maintainers

  1. S
    simon.cruanes@inria.fr

Sources

qcheck-0.2.tar.gz
md5=20cd905282925a476d0016f5b4578b5b

Description

This module allows to check invariants (properties of some types) over randomly generated instances of the type. Also contains Gabriel Scherer's random value generator library, https://github.com/gasche/random-generator

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 (33)

  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. oseq >= "0.3" & < "0.4.1" | >= "0.5.1"
  21. ppx_regexp >= "0.4.0"
  22. ppx_tyre
  23. pratter = "1.2.1" | >= "3.0.0"
  24. prbnmcn-cgrph
  25. regenerate < "0.2"
  26. sequence >= "1.0"
  27. serde >= "0.0.2"
  28. stdint >= "0.7.1"
  29. stramon-lib
  30. syslog-message < "1.0.0"
  31. timedesc
  32. timere
  33. zar >= "0.9.3"

Conflicts (1)

  1. qcheck-core