qcheck-ounit

OUnit backend for qcheck
Description
Install
Published
08 Jul 2022
Sources
v0.19.tar.gz
md5=6913306eb3065da1dee749d67732cb01
sha512=ab77384e64887c4c88d6e641f433709a83bafc7cd2d05d548fdfee3593beb3bc5c4345db03e324e033ecd4fd2ae600fa92cea3e5753d5e322d13a01ba787eeb6
Dependencies
Reverse Dependencies
goblint
>= "2.0.0"
oseq
= "0.3"
qcheck
>= "0.9" & < "0.11" | = "0.19"