package coq-quickchick
Randomized Property-Based Testing for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.2.0.tar.gz
sha512=264e7eb26f478f3c92f1f6d891276d212149bee88e7c1a17d871209b741731588b87c084d6bcd8a57f9a0505b98f003e84adac84883fbd36d354a2b933c92516
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
- 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