package qcheck

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (8)

Authors

  1. S
    Simon Cruanes <simon.cruanes@inria.fr>

Maintainers

  1. S
    simon.cruanes@inria.fr

Sources

0.7.tar.gz
sha256=136d9134e2274f7eaf8021bc205a6008dcaa07612725db1ea8da98505d0e55c4
md5=ca3c7d24200a8ca7e4390f1145eae3a9

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

Added to opam-repository:

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

  1. base32
  2. batteries < "3.4.0"
  3. bencode >= "2.0"
  4. binsec < "0.11.0"
  5. cborl
  6. clp_operations
  7. containers-data = "3.8"
  8. containers-thread = "3.8"
  9. docfd >= "13.0.0"
  10. dolmen >= "0.7" & < "0.8.1"
  11. ezgzip
  12. inferno >= "20220603"
  13. js_of_ocaml-compiler >= "5.9.0"
  14. ktdeque
  15. lbvs_consent
  16. lt-code
  17. lua_pattern
  18. lwd != "0.3" & < "0.5"
  19. obatcher
  20. oseq >= "0.3" & < "0.4.1" | >= "0.5.1"
  21. ppx_regexp >= "0.4.0" & < "0.5.2"
  22. ppx_tyre
  23. pratter = "1.2.1"
  24. prbnmcn-cgrph
  25. qtest < "2.11.1"
  26. serde >= "0.0.2"
  27. shakuhachi < "0.3.0"
  28. spelll = "0.3"
  29. spurs >= "0.1.1"
  30. stdint >= "0.7.1"
  31. stramon-lib
  32. syslog-message >= "1.0.0"
  33. timedesc
  34. timere
  35. timere-parse >= "0.0.7"
  36. yocaml >= "2.0.0" & < "3.0.0"
  37. yocaml_syndication >= "2.0.0" & < "3.0.0"
  38. zar >= "0.9.3"

Conflicts (2)

  1. qcheck-core
  2. ounit < "2.0"

Build status

Results of building qcheck with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

This version is not in the latest run; the versions below are.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.91 good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure