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
43
|
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "dev"
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."""
maintainer: ["leonidas@umd.edu"]
authors: [
"Leonidas Lampropoulos"
"Zoe Paraskevopoulou"
"Maxime Denes"
"Catalin Hritcu"
"Benjamin Pierce"
"Li-yao Xia"
"Arthur Azevedo de Amorim"
"Yishuai Li"
"Antal Spector-Zabusky"
]
license: "MIT"
homepage: "https://github.com/QuickChick/QuickChick"
bug-reports: "https://github.com/QuickChick/QuickChick/issues"
depends: [
"dune" {>= "3.12"}
"ocaml" {>= "4.07"}
"menhir" {build}
"cppo" {build & >= "1.6.8"}
"coq" {>= "8.15~"}
"coq-ext-lib"
"coq-mathcomp-ssreflect"
"coq-simple-io" {>= "1.6.0"}
"ocamlfind"
"ocamlbuild"
"odoc" {with-doc}
]
dev-repo: "git+https://github.com/QuickChick/QuickChick.git"
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs "@install" "@runtest" {with-test} "@doc" {with-doc} "--stop-on-first-error"]
]
|
