package qcheck

  1. Overview
  2. Docs
Compatibility package for QCheck

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (6)

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

v0.27.tar.gz
md5=dd6df3f9b934567e4b1292a183af0554
sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac

Description

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

The qcheck library provides a compatibility API with older versions of QCheck, and depends upon both qcheck-core and qcheck-ounit.

For fewer dependencies and new developments qcheck-core is recommended.

Tags

test property quickcheck

Published: 03 Nov 2025

Dependencies (5)

  1. ocaml >= "4.08.0"
  2. qcheck-ounit = version
  3. qcheck-core = version
  4. base-unix
  5. dune >= "2.8.0"

Dev Dependencies (2)

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

Used by (65)

  1. archsat
  2. base32
  3. bastet
  4. batteries < "3.0.0"
  5. bencode >= "2.0"
  6. binsec
  7. bytestring
  8. catala-lsp
  9. cborl
  10. chess_com_api
  11. clp_operations
  12. containers >= "3.0" & < "3.9"
  13. containers-data < "3.9"
  14. containers-thread < "3.9"
  15. cps_toolbox
  16. dates_calc
  17. docfd >= "2.2.0"
  18. dolmen >= "0.7"
  19. ezgzip
  20. gen >= "0.5.3"
  21. inferno >= "20220603"
  22. iter < "1.6"
  23. js_of_ocaml-compiler >= "5.9.0"
  24. lbvs_consent >= "2.0.0"
  25. lichess_api
  26. lockfree >= "0.3.1"
  27. lt-code
  28. lua_pattern
  29. lwd
  30. mel-bastet
  31. obatcher
  32. oseq >= "0.3"
  33. osnap < "0.3.0"
  34. pgn_parser
  35. ppx_pbt
  36. ppx_regexp >= "0.4.0"
  37. ppx_tyre
  38. pratter >= "1.2.1"
  39. prbnmcn-cgrph
  40. prbnmcn-dagger-test
  41. qcstm
  42. qtest != "2.11"
  43. regenerate
  44. saturn
  45. saturn_lockfree
  46. seqes
  47. serde >= "0.0.2"
  48. spelll >= "0.3"
  49. spurs >= "0.1.1"
  50. sqlite3_utils >= "0.3.1"
  51. stdint >= "0.7.1"
  52. stramon-lib
  53. syslog-message >= "1.0.0"
  54. term-indexing
  55. term-tools
  56. timedesc
  57. timere
  58. tiny_httpd >= "0.7" & < "0.13"
  59. trail
  60. typeset
  61. um-abt
  62. yocaml >= "2.0.0"
  63. yocaml_syndication >= "2.0.0"
  64. yuujinchou = "2.0.0"
  65. zar

Conflicts (1)

  1. ounit < "2.0"