package qcheck-core

All checked builds pass
  1. Overview
  2. Docs
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (7)

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

v0.91.tar.gz
md5=ac45753406af93cb77a3c173741e0fe8
sha512=3baa8c04a43db0497891394208c8a6184d603e4fe0ad9d15fddf666e7a628597210874ca85c96022b69c11a99fdd43bbbf0e6211e34ed7d1dea7b1c95bd54316

Description

QCheck is a QuickCheck inspired property-based testing library for OCaml.

The qcheck-core library provides the core property-based testing API with minimal dependendies: It requires only unix and dune.

Tags

test property quickcheck

Added to opam-repository:

Dependencies (3)

  1. ocaml >= "4.08.0"
  2. base-unix
  3. dune >= "2.8.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test & >= "1.2.0"

Optional Dependencies

None

Used by (58)

  1. aho-corasick
  2. algaeff
  3. awskit
  4. awskit-eio >= "0.2.0"
  5. awskit-lwt >= "0.2.0"
  6. awskit-s3 >= "0.2.0"
  7. awskit-s3-sim >= "0.2.0"
  8. bare_encoding >= "0.3.1"
  9. bwd >= "1.2.0"
  10. codex
  11. colibri2
  12. containers >= "3.17"
  13. containers-data >= "3.9"
  14. containers-thread >= "3.9"
  15. curve448
  16. domainslib >= "0.5.1"
  17. fast_bitvector >= "0.1.2.2"
  18. fungi
  19. goblint < "2.0.0" | >= "2.6.0"
  20. hacl-star >= "0.7.0"
  21. iter >= "1.6"
  22. kcas_data >= "0.7.0"
  23. ktdeque
  24. logtk
  25. lru >= "0.3.0"
  26. mel-bastet
  27. modelkit
  28. moonpool >= "0.3"
  29. moonpool-lwt >= "0.9"
  30. mopsa >= "1.2"
  31. oktree >= "0.2.4"
  32. ortac-qcheck-stm < "0.6.1"
  33. osnap >= "0.3.0"
  34. parkour
  35. patricia-tree < "0.12.0"
  36. picos < "0.5.0"
  37. picos_meta
  38. ppx_deriving_qcheck
  39. preface >= "1.1.0"
  40. psq >= "0.1.1"
  41. qcheck >= "0.91"
  42. qcheck-alcotest >= "0.91"
  43. qcheck-lin
  44. qcheck-multicoretests-util
  45. qcheck-ounit >= "0.91"
  46. qcheck-stm
  47. saturn >= "1.0.0"
  48. saturn_lockfree >= "0.5.0"
  49. sosie
  50. soteria
  51. sqids
  52. term-indexing
  53. term-tools
  54. tiny_httpd >= "0.13"
  55. ucharset
  56. verdict
  57. xgboost
  58. yuujinchou >= "3.0.0"

Conflicts (1)

  1. ounit < "2.0"

Build status

Results of building qcheck-core with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. 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.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.91 (this version) 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