qcheck-core

Core qcheck library
Description
Install
Published
03 Feb 2022
Sources
v0.18.1.tar.gz
md5=e207362d67387d6dbb8dcd4ba7238b39
sha512=6fd5fd4348ed6a48a8f64a466fedd07374eaf23d516b3c250ebad2a32ddbca3ae4ad9c84fe1112858075df46c119cd6550205a4228a553b014d135581f024ded
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"
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.18.1"
qcheck-ounit
= "0.18.1"
yuujinchou
>= "3.0.0"