package qcheck

  1. Overview
  2. Docs
Compatibility package for qcheck

Install

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

Authors

  1. T
    the qcheck contributors

Maintainers

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

Sources

v0.21.2.tar.gz
md5=b8e3728fc1b534ee01e3c2b7e2b30bb3
sha512=67ff77a66ccf046dfede9123a322002f232a0a65b8ce1890795a4a4ba247bc5413f988e7cfd53412418036c2b907e4cbcd7dcd39d7f1fd2481aee60107b075cc

Description

Tags

test property quickcheck

Published: 29 Aug 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 (57)

  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 < "0.4.1"
  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. saturn
  43. saturn_lockfree
  44. seqes
  45. sequence >= "1.0"
  46. spelll >= "0.3"
  47. sqlite3_utils >= "0.3.1"
  48. stdint >= "0.7.1"
  49. stramon-lib
  50. syslog-message >= "1.0.0"
  51. timedesc
  52. timere
  53. tiny_httpd >= "0.7" & < "0.13"
  54. typeset
  55. um-abt
  56. yuujinchou = "2.0.0"
  57. zar

Conflicts (1)

  1. ounit < "2.0"