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

Install

github.com Changelog License Edit opam file

Authors

  1. S
    Simon Cruanes <simon.cruanes.2007@m4x.orgr>

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

0.8.tar.gz
md5=061005847a32c4b4252d449e26f6c8f9

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: 03 Feb 2018

Dependencies (5)

  1. ounit
  2. base-unix
  3. base-bytes
  4. jbuilder >= "1.0+beta7"
  5. ocaml >= "4.02.0"

Dev Dependencies

    None

Used by (44)

  1. archsat
  2. base32
  3. batteries >= "2.7.0" & < "3.4.0"
  4. bencode >= "2.0"
  5. binsec >= "0.4.0"
  6. bt
  7. cborl
  8. clp_operations
  9. containers >= "2.8" & < "3.8"
  10. containers-data < "3.9"
  11. containers-thread < "3.9"
  12. dolmen >= "0.7"
  13. eris
  14. eris-lwt
  15. ezgzip
  16. fadbadml >= "0.1.2"
  17. gen >= "0.5.1"
  18. inferno >= "20220603"
  19. iter < "1.6"
  20. lbvs_consent >= "2.0.0"
  21. lt-code
  22. lua_pattern
  23. lwd
  24. lwt-pipe
  25. nunchaku >= "0.5.1"
  26. oasis2opam = "0.6.0"
  27. olinq >= "0.3"
  28. oseq >= "0.3"
  29. ppx_regexp >= "0.4.0"
  30. ppx_tyre
  31. pratter >= "1.2.1"
  32. prbnmcn-cgrph
  33. qcstm
  34. qtest >= "2.5" & < "2.11.1"
  35. regenerate
  36. sequence >= "1.0"
  37. spelll >= "0.3"
  38. sqlite3_utils
  39. stdint >= "0.7.1"
  40. stramon-lib
  41. syslog-message >= "1.0.0"
  42. timedesc
  43. timere
  44. tiny_httpd >= "0.3" & < "0.7"

Conflicts (1)

  1. ounit < "2.0"