package qcheck-alcotest

  1. Overview
  2. Docs
Alcotest backend for QCheck

Install

dune-project
 Dependency

Authors

Maintainers

Sources

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

Description

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

The qcheck-alcotest library provides an integration layer for QCheck onto https://github.com/mirage/alcotest[alcotest], allowing to run property-based tests in alcotest.

Tags

test quickcheck qcheck alcotest

Published: 03 Nov 2025

Dependencies (5)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by (77)

  1. alg_structs_qcheck
  2. avro-simple
  3. base32
  4. bastet
  5. bls12-381 >= "18.0"
  6. cborl
  7. docfd >= "2.2.0"
  8. fungi
  9. inferno >= "20220603"
  10. irmin >= "3.5.2"
  11. irmin-test >= "3.10.0"
  12. lockfree >= "0.3.1"
  13. logtk
  14. lru >= "0.3.0"
  15. lt-code
  16. mel-bastet
  17. obatcher
  18. octez-bls12-381-polynomial
  19. octez-l2-libs
  20. octez-libs
  21. octez-plonk
  22. octez-proto-libs
  23. octez-protocol-017-PtNairob-libs < "20.1"
  24. octez-protocol-018-Proxford-libs
  25. octez-protocol-019-PtParisB-libs
  26. octez-protocol-020-PsParisC-libs
  27. octez-protocol-alpha-libs
  28. octez-shell-libs
  29. ometrics
  30. ppx_deriving_qcheck
  31. ppx_pbt >= "0.2.1"
  32. pratter >= "1.2.1"
  33. prbnmcn-dagger-test >= "0.0.2"
  34. preface != "1.0.0"
  35. psq >= "0.1.1"
  36. saturn
  37. saturn_lockfree
  38. seqes
  39. spurs >= "0.1.1"
  40. stramon-lib
  41. term-indexing
  42. term-tools
  43. tezos-base >= "16.0"
  44. tezos-base-test-helpers >= "16.0"
  45. tezos-bls12-381-polynomial
  46. tezos-client-011-PtHangz2 < "17.3"
  47. tezos-client-012-Psithaca < "17.3"
  48. tezos-client-013-PtJakart < "17.3"
  49. tezos-client-014-PtKathma < "17.3"
  50. tezos-client-015-PtLimaPt < "17.3"
  51. tezos-client-016-PtMumbai
  52. tezos-client-017-PtNairob
  53. tezos-client-alpha
  54. tezos-context >= "16.0"
  55. tezos-crypto >= "16.0"
  56. tezos-crypto-dal
  57. tezos-hacl
  58. tezos-layer2-store
  59. tezos-lwt-result-stdlib >= "16.0"
  60. tezos-mockup
  61. tezos-plonk = "0.1.3"
  62. tezos-protocol-environment
  63. tezos-proxy
  64. tezos-proxy-server-config
  65. tezos-requester >= "16.0"
  66. tezos-rpc-http-server >= "16.0"
  67. tezos-scoru-wasm-helpers < "17.3"
  68. tezos-shell-services-test-helpers >= "16.0"
  69. tezos-stdlib >= "16.0"
  70. tezos-stdlib-unix >= "17.3"
  71. tezos-test-helpers
  72. timedesc
  73. timere
  74. yocaml >= "2.0.0"
  75. yocaml_syndication >= "2.0.0"
  76. yuujinchou = "2.0.0"
  77. zar

Conflicts

None