package qcheck-ounit
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
OUnit backend for QCheck
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.26.tar.gz
md5=3eba3b3b47ccfa48afd1ce7dbdd463f7
sha512=6f4749df32629b2a64034f7a8d07079b8d3d628cc402c52bbdbd7e287ca20adf8e8133f91d79e75d8402100715a1138d62904b2d9c1d1595602d5206e0862305
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.26"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page