Package coq-quickchick.2.0.4 - Githubissues

coq / opam

Archive for all Coq related OPAM packages organized in various repositories

https://coq.inria.fr/opam/www/

GNU Lesser General Public License v2.1

127 stars 166 forks source link

Package coq-quickchick.2.0.4 #3159

Closed liyishuai closed 2 months ago

liyishuai commented 2 months ago

Close QuickChick/QuickChick#391

`coq-quickchick.2.0.4`

Randomized Property-Based Testing for Coq 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.

Homepage: https://github.com/QuickChick/QuickChick
Source repo: git+https://github.com/QuickChick/QuickChick.git
Bug tracker: https://github.com/QuickChick/QuickChick/issues

:camel: Pull-request generated by opam-publish v2.4.0