package coq-quickchick

  1. Overview
  2. No Docs
Randomized Property-Based Testing for Coq

Install

Dune Dependency

github.com Edit opam file Versions (24)

Authors

  1. L
    Leonidas Lampropoulos
  2. Z
    Zoe Paraskevopoulou
  3. M
    Maxime Denes
  4. C
    Catalin Hritcu
  5. B
    Benjamin Pierce
  6. L
    Li-yao Xia
  7. A
    Arthur Azevedo de Amorim
  8. Y
    Yishuai Li
  9. A
    Antal Spector-Zabusky

Maintainers

  1. L
    leonidas@umd.edu

Sources

v2.0.5.tar.gz
md5=3fe1c7124122fdfd5817d8634c1e68a6
sha512=f05fd7404c5122a62afac504fab32839fe55858d1b4ba5037db52df1b55ae068298aae642561b1d5f2e93ab5bd1dd6608c1e6c73ef7978cb3b5438c04f874ff8

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: 05 Dec 2024

Dependencies (10)

  1. ocamlbuild
  2. ocamlfind
  3. coq-simple-io >= "1.6.0"
  4. coq-mathcomp-ssreflect
  5. coq-ext-lib
  6. coq >= "8.15~"
  7. cppo build & >= "1.6.8"
  8. menhir build
  9. ocaml >= "4.07"
  10. dune >= "3.12"

Dev Dependencies (1)

  1. odoc with-doc

Used by (3)

  1. coq-async-test
  2. coq-flocq-quickchick != "1.0.1"
  3. coq-http >= "0.1.2"

Conflicts

None