package coq-quickchick
Randomized Property-Based Testing for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.1.1.tar.gz
md5=0ebb3428fe7a79a46c76ccda4705498c
sha512=444a23e3e3d6d496a59c55b5c9ee8c1dd16cea259b331d2e9126d45950df522e07037e3f075861bf5ba15d8247a5f545a97c9ee424d011d076b7721aa50d8b06
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.
Published: 02 Jul 2025
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 (3)
- coq-async-test
-
coq-flocq-quickchick
!= "1.0.1" -
coq-http
>= "0.1.2"
Conflicts
None
On This Page