1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
(lang dune 3.12)
(using coq 0.7)
(using menhir 2.0)
(name coq-quickchick)
(version dev)
(generate_opam_files true)
(source (github QuickChick/QuickChick))
(license MIT)
(authors
"Leonidas Lampropoulos"
"Zoe Paraskevopoulou"
"Maxime Denes"
"Catalin Hritcu"
"Benjamin Pierce"
"Li-yao Xia"
"Arthur Azevedo de Amorim"
"Yishuai Li"
"Antal Spector-Zabusky")
(maintainers "leonidas@umd.edu")
(package
(name coq-quickchick)
(synopsis "Randomized Property-Based Testing for Coq")
(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.")
(depends
(ocaml (>= 4.07))
(menhir :build)
(cppo (and :build (>= 1.6.8)))
(coq (>= 8.15~))
coq-ext-lib
coq-mathcomp-ssreflect
(coq-simple-io (>= 1.6.0))
ocamlfind
ocamlbuild)
)
|
