package qcheck-ounit
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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.91.tar.gz
md5=ac45753406af93cb77a3c173741e0fe8
sha512=3baa8c04a43db0497891394208c8a6184d603e4fe0ad9d15fddf666e7a628597210874ca85c96022b69c11a99fdd43bbbf0e6211e34ed7d1dea7b1c95bd54316
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.91"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page