package qcheck-core

  1. Overview
  2. Docs
Core qcheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (5)

Authors

  1. S
    Simon Cruanes <simon.cruanes.2007@m4x.org>

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

0.17.tar.gz
md5=605165edc328ae144341a2d73c7fc5fc
sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea

Description

Tags

test property quickcheck

Published: 16 Feb 2021

Dependencies (4)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by (20)

  1. containers >= "3.9" & < "3.13"
  2. containers-data >= "3.9" & < "3.13"
  3. containers-thread >= "3.9"
  4. fast_bitvector >= "0.1.2.2"
  5. fungi
  6. goblint < "2.0.0"
  7. iter >= "1.6"
  8. logtk
  9. lru >= "0.3.0"
  10. octez-libs
  11. octez-shell-libs
  12. ortac-qcheck-stm < "0.6.1"
  13. osnap >= "0.3.0"
  14. preface < "1.0.0"
  15. psq >= "0.1.1"
  16. qcheck = "0.17"
  17. qcheck-ounit = "0.17"
  18. tezos-proxy >= "17.3"
  19. tezos-shell-services-test-helpers >= "16.0"
  20. tiny_httpd >= "0.13"

Conflicts (1)

  1. ounit < "2.0"