package qcheck-alcotest

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

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

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

Conflicts

None