package coq-quickchick
Randomized Property-Based Testing for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.1.0.tar.gz
sha512=d8077402192b95e9595f523e6dc499179062bc9a12718843dfef57ff6bdfe559f7d2276c2e0a33567fea2e10252f766851ae7f3bece33122920af2fc52510e76
Description
A library for property-based testing in Coq.
- Combinators for testable properties and random generators.
- QuickChick plugin for running tests in a Coq session.
- Includes a mutation testing tool.
Dependencies (10)
- ocamlbuild
- ocamlfind
-
coq-simple-io
>= "1.6.0" -
coq-mathcomp-ssreflect
< "2.5.0" - coq-ext-lib
-
coq
>= "8.15~" -
cppo
build & >= "1.6.8" -
menhir
build -
ocaml
>= "4.07" -
dune
>= "3.12"
Dev Dependencies (1)
-
odoc
with-doc
Used by (4)
- coq-async-test
-
coq-flocq-quickchick
!= "1.0.1" -
coq-http
>= "0.1.2" - rocq-concert
Conflicts
None
On This Page