qcheck-alcotest
  1. Overview
  2. Docs
Alcotest backend 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 quickcheck qcheck alcotest

Published: 23 May 2023

Dependencies (6)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by (62)

  1. alg_structs_qcheck
  2. base32
  3. bastet
  4. cborl
  5. eris
  6. eris-lwt
  7. inferno >= "20220603"
  8. irmin >= "3.4.0"
  9. lockfree >= "0.3.0"
  10. logtk >= "1.5.1"
  11. lru >= "0.3.0"
  12. lt-code
  13. ometrics
  14. ppx_deriving_qcheck >= "0.2.0"
  15. ppx_pbt >= "0.2.1"
  16. pratter >= "1.2.1"
  17. prbnmcn-dagger-test >= "0.0.2"
  18. preface
  19. psq >= "0.1.1"
  20. seqes
  21. stramon-lib
  22. tezos-012-Psithaca-test-helpers >= "14.0"
  23. tezos-013-PtJakart-test-helpers
  24. tezos-014-PtKathma-test-helpers
  25. tezos-alpha-test-helpers >= "14.0"
  26. tezos-base >= "11.0" & < "12.0" | >= "13.0"
  27. tezos-base-test-helpers >= "13.0"
  28. tezos-bls12-381-polynomial
  29. tezos-client-011-PtHangz2 < "12.0" | >= "13.0"
  30. tezos-client-012-Psithaca >= "13.0"
  31. tezos-client-013-PtJakart
  32. tezos-client-014-PtKathma
  33. tezos-client-015-PtLimaPt
  34. tezos-client-016-PtMumbai
  35. tezos-client-alpha >= "11.0" & < "12.0" | >= "13.0"
  36. tezos-context >= "13.0"
  37. tezos-crypto >= "11.0" & < "12.0" | >= "13.0"
  38. tezos-crypto-dal
  39. tezos-hacl
  40. tezos-layer2-store
  41. tezos-lwt-result-stdlib >= "11.0" & < "12.0" | >= "13.0"
  42. tezos-mockup >= "11.0" & < "12.0" | >= "13.0"
  43. tezos-plonk = "0.1.3"
  44. tezos-protocol-environment >= "11.0" & < "12.0" | >= "13.0"
  45. tezos-protocol-plugin-012-Psithaca-tests
  46. tezos-protocol-plugin-013-PtJakart-tests
  47. tezos-protocol-plugin-alpha-tests
  48. tezos-proxy >= "11.0" & < "12.0" | >= "13.0"
  49. tezos-proxy-server-config
  50. tezos-requester >= "11.0" & < "12.0" | >= "13.0"
  51. tezos-rpc-http-server >= "11.0" & < "12.0" | >= "13.0"
  52. tezos-scoru-wasm-helpers
  53. tezos-shell >= "11.0" & < "12.0"
  54. tezos-shell-services-test-helpers < "12.0" | >= "13.0"
  55. tezos-stdlib >= "11.0" & < "12.0" | >= "13.0"
  56. tezos-test-helpers
  57. tezos-webassembly-interpreter < "15.0"
  58. timedesc
  59. timere
  60. weevil
  61. yuujinchou = "2.0.0"
  62. zar

Conflicts

None