package qcheck-core
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Core qcheck library
Install
Authors
Maintainers
Sources
v0.19.1.tar.gz
md5=c100c4912ef0cf863b0191e155aeddb1
sha512=f6af650381d4100ca019082c77f9aceda00b6158356f46a5bcb091ca1f56d41d9c819d3bae7736f1e70b3d1827c5a4af53cc80d94d66025dd52044438207a4c1
Description
Dependencies (4)
-
ocaml
>= "4.08.0" - base-unix
- base-bytes
-
dune
>= "2.2"
Used by (26)
- algaeff
-
bwd
>= "1.2.0" - colibri2
-
containers
>= "3.9" -
containers-data
>= "3.9" -
containers-thread
>= "3.9" -
goblint
>= "1.1.1" -
iter
>= "1.6" -
logtk
>= "1.5.1" -
lru
>= "0.3.0" -
moonpool
>= "0.3" - octez-libs
- octez-shell-libs
- ortac-qcheck-stm
-
osnap
>= "0.3.0" -
ppx_deriving_qcheck
>= "0.4.1" -
preface
>= "1.0.0" -
psq
>= "0.1.1" -
qcheck
= "0.19.1" -
qcheck-alcotest
= "0.19.1" -
qcheck-ounit
= "0.19.1" -
tezos-proxy
>= "17.1" -
tezos-shell-services-test-helpers
< "12.0" | >= "13.0" -
tezos-webassembly-interpreter
< "15.0" -
tiny_httpd
>= "0.13" -
yuujinchou
>= "3.0.0"
Conflicts (1)
-
ounit
< "2.0"