qcheck-core

Core qcheck library
Description
Install
Published
08 Jul 2022
Sources
v0.19.tar.gz
md5=6913306eb3065da1dee749d67732cb01
sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6
Dependencies
ocaml
>= "4.08.0"
odoc
with-doc
alcotest
with-test
dune
>= "2.2"
Reverse Dependencies
bwd
>= "1.2.0"
containers
>= "3.9"
goblint
>= "1.1.1"
iter
>= "1.6"
logtk
>= "1.5.1"
lru
>= "0.3.0"
osnap
>= "0.3.0"
preface
>= "1.0.0"
psq
>= "0.1.1"
qcheck
>= "0.9" & < "0.11" | = "0.19"
yuujinchou
>= "3.0.0"