package qcheck-alcotest

  1. Overview
  2. No Docs
Alcotest backend for qcheck

Install

Dune Dependency

Authors

Maintainers

Sources

v0.25.tar.gz
md5=e1e928bf792c27de5c072f9123eeaec9
sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e

Description

Tags

test quickcheck qcheck alcotest

Published: 07 Apr 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 (73)

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

Conflicts

None

OCaml

Innovation. Community. Security.