qcheck-core

Core qcheck library
Description
Install
Published
16 Feb 2021
Sources
0.17.tar.gz
md5=605165edc328ae144341a2d73c7fc5fc
sha512=647c1beefba8fce32daac91bd42976ddf2926cff2e78e43ac3afb6e59ec660f0f6e684f5954d6b1fab6d11328690b236e40c30980a22a999c4b826ae2a0dcaea
Dependencies
Reverse Dependencies
containers
>= "3.9"
goblint
>= "1.1.1"
logtk
>= "1.5.1"
lru
>= "0.3.0"
osnap
>= "0.3.0"
psq
>= "0.1.1"
qcheck
>= "0.9" & < "0.11" | = "0.17"