package qcheck-ounit
OUnit backend for qcheck
Install
Authors
Maintainers
Sources
v0.21.2.tar.gz
md5=b8e3728fc1b534ee01e3c2b7e2b30bb3
sha512=67ff77a66ccf046dfede9123a322002f232a0a65b8ce1890795a4a4ba247bc5413f988e7cfd53412418036c2b907e4cbcd7dcd39d7f1fd2481aee60107b075cc
Description
Dependencies (6)
-
ocaml
>= "4.08.0"
- ounit2
-
qcheck-core
= version
- base-unix
- base-bytes
-
dune
>= "2.8.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (4)
-
goblint
>= "2.0.0"
-
oseq
= "0.3"
- ppx_viewpattern
-
qcheck
>= "0.21.2"
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page