package qcheck

  1. Overview
  2. No Docs
Compatibility package for QCheck

Install 

dune-project
 Dependency

github.com Edit opam file Versions (8)

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 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: 28 Dec 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. avro-simple
  3. base32
  4. bastet
  5. batteries < "3.0.0"
  6. bencode >= "2.0"
  7. binsec
  8. bytestring
  9. catala-lsp
  10. cborl
  11. chess_com_api
  12. clp_operations
  13. containers >= "3.0" & < "3.9"
  14. containers-data < "3.9"
  15. containers-thread < "3.9"
  16. cps_toolbox
  17. dates_calc
  18. docfd >= "2.2.0"
  19. dolmen >= "0.7"
  20. ezgzip
  21. gen >= "0.5.3"
  22. inferno >= "20220603"
  23. iter < "1.6"
  24. js_of_ocaml-compiler >= "5.9.0"
  25. lbvs_consent >= "2.0.0"
  26. lichess_api
  27. lockfree >= "0.3.1"
  28. lt-code
  29. lua_pattern
  30. lwd
  31. mel-bastet
  32. obatcher
  33. oseq >= "0.3"
  34. osnap < "0.3.0"
  35. pgn_parser
  36. ppx_pbt
  37. ppx_regexp >= "0.4.0"
  38. ppx_tyre
  39. pratter >= "1.2.1"
  40. prbnmcn-cgrph
  41. prbnmcn-dagger-test
  42. qcstm
  43. qtest != "2.11"
  44. regenerate
  45. saturn
  46. saturn_lockfree
  47. seqes
  48. serde >= "0.0.2"
  49. spelll >= "0.3"
  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"