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 Dependency
Authors
Maintainers
Sources
v0.25.tar.gz
md5=e1e928bf792c27de5c072f9123eeaec9
sha512=a0b5791cea09f98f1f17221e6289b87a7a1c16ae1c9af0c2e5bd6a170f2cf8727dba0759a7fd932d5d617e8c242562d69187c7e74eefd5262bc5fd75a322699e
Description
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.25"
Conflicts
None
On This Page