package qcheck-ounit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
OUnit backend for QCheck
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.27.tar.gz
md5=dd6df3f9b934567e4b1292a183af0554
sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac
Description
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck-ounit library provides an integration layer for QCheck onto
https://github.com/gildor478/ounit[OUnit], allowing to run property-based
tests in OUnit.
Dependencies (5)
-
ocaml
>= "4.08.0" - ounit2
-
qcheck-core
= version - base-unix
-
dune
>= "2.8.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by (4)
-
goblint
>= "2.0.0" -
oseq
= "0.3" - ppx_viewpattern
-
qcheck
>= "0.27"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page