qcheck
  1. Overview
  2. Docs
Compatibility package for qcheck

Install

github.com Changelog BSD-2-Clause License Edit opam file

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

v0.21.1.tar.gz
md5=39478dfe638aad53c18cd50cb42efe41
sha512=b0fec073a6ac5e52520e70670c605a8030da176f13946289de210ff95e3156c7f2664621d4ab7749bdd41967d1801804ca3b16c497d116d43918f76f7746e9ac

Description

Tags

test property quickcheck

Published: 23 May 2023

Dependencies (6)

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

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test

Used by (55)

  1. archsat
  2. base32
  3. bastet
  4. batteries >= "2.7.0" & < "3.0.0"
  5. bencode >= "2.0"
  6. binsec >= "0.4.0"
  7. bt
  8. cborl
  9. clp_operations
  10. containers >= "2.0" & < "2.7" | >= "3.0" & < "3.9"
  11. containers-data < "3.9"
  12. containers-thread < "3.9"
  13. cps_toolbox
  14. dates_calc
  15. dolmen >= "0.7"
  16. eris
  17. eris-lwt
  18. ezgzip
  19. gen >= "0.5.3"
  20. inferno >= "20220603"
  21. iter >= "1.2.1" & < "1.6"
  22. lbvs_consent >= "2.0.0"
  23. lockfree >= "0.3.0"
  24. lt-code
  25. lua_pattern
  26. lwd
  27. nunchaku >= "0.5.1"
  28. oasis2opam = "0.6.0"
  29. oseq >= "0.3"
  30. osnap < "0.3.0"
  31. ppx_deriving_qcheck
  32. ppx_pbt
  33. ppx_regexp >= "0.4.0"
  34. ppx_tyre
  35. pratter >= "1.2.1"
  36. prbnmcn-cgrph
  37. prbnmcn-dagger-test
  38. prbnmcn-stats >= "0.0.2"
  39. qcstm
  40. qtest >= "2.5" & != "2.11"
  41. regenerate
  42. seqes
  43. sequence >= "1.0"
  44. spelll >= "0.3"
  45. sqlite3_utils >= "0.3.1"
  46. stdint >= "0.7.1"
  47. stramon-lib
  48. syslog-message >= "1.0.0"
  49. timedesc
  50. timere
  51. tiny_httpd >= "0.7" & < "0.13"
  52. typeset
  53. um-abt
  54. yuujinchou = "2.0.0"
  55. zar

Conflicts (1)

  1. ounit < "2.0"