package qcheck-ounit
OUnit backend for qcheck
Install
Authors
Maintainers
Sources
0.13.tar.gz
md5=134c6b4ffc90076eef3041dbc01181f1
sha512=eab2f5a4ef79d061c2c708ea481b735f106752b1c7797b61d5d3c11e5003e57c103b0e3260e2797521d4faa6f4d9d6ce343b499d032fd65fd1bba4a94ab996eb
Description
Dependencies (6)
-
ocaml
>= "4.03.0"
-
ounit
>= "2.0"
-
qcheck-core
= version
- base-unix
- base-bytes
- dune
Dev Dependencies (1)
-
odoc
with-doc
Used by (4)
-
goblint
>= "2.0.0"
-
oseq
< "0.4"
- ppx_viewpattern
-
qcheck
= "0.13"
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page