package qcheck-core

  1. Overview
  2. Docs
Core qcheck library

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 (4)

  1. ocaml >= "4.08.0"
  2. base-unix
  3. base-bytes
  4. dune >= "2.8.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test

Used by (29)

  1. algaeff
  2. bare_encoding >= "0.3.1"
  3. bwd >= "1.2.0"
  4. colibri2
  5. containers >= "3.9"
  6. containers-data >= "3.9"
  7. containers-thread >= "3.9"
  8. domainslib >= "0.5.1"
  9. goblint >= "1.1.1"
  10. hacl-star >= "0.7.0"
  11. iter >= "1.6"
  12. logtk >= "1.5.1"
  13. lru >= "0.3.0"
  14. moonpool >= "0.3"
  15. osnap >= "0.3.0"
  16. ppx_deriving_qcheck >= "0.4.1"
  17. preface >= "1.0.0"
  18. psq >= "0.1.1"
  19. qcheck >= "0.9" & < "0.11" | >= "0.21.2"
  20. qcheck-alcotest >= "0.21.2"
  21. qcheck-lin
  22. qcheck-multicoretests-util
  23. qcheck-ounit >= "0.21.2"
  24. qcheck-stm
  25. tezos-proxy >= "17.1"
  26. tezos-shell-services-test-helpers < "12.0" | >= "13.0"
  27. tezos-webassembly-interpreter < "15.0"
  28. tiny_httpd >= "0.13"
  29. yuujinchou >= "3.0.0"

Conflicts (1)

  1. ounit < "2.0"