this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes@inria.fr"
3homepage: "https://github.com/c-cube/qcheck/"
4doc: ["http://cedeela.fr/~simon/software/qcheck/QCheck.html"]
5tags: [
6 "test"
7 "property"
8 "quickcheck"
9]
10build: [
11 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
12 [make "build"]
13 ["./configure" "--enable-tests"] {with-test}
14 [make "test"] {with-test}
15 ["./configure" "--enable-docs" "--docdir" "%{doc}%"] {with-doc}
16 [make "doc"] {with-doc}
17]
18install: [
19 [make "install"]
20]
21remove: [
22 ["ocamlfind" "remove" "qcheck"]
23]
24depends: [
25 "ocaml" {>= "4.00.0" & < "5.0.0"}
26 "ocamlfind"
27 "base-bytes"
28 "base-unix"
29 "ounit"
30 "ocamlbuild" {build}
31]
32dev-repo: "git+https://github.com/c-cube/qcheck.git"
33bug-reports: "https://github.com/c-cube/qcheck/issues"
34conflicts: [
35 "ounit" { < "2.0" }
36 "qcheck-core"
37]
38synopsis: "QuickCheck inspired property-based testing for OCaml"
39description: """
40This module allows to check invariants (properties of some types) over
41randomly generated instances of the type. It provides combinators for
42generating instances and printing them."""
43authors: "Simon Cruanes <simon.cruanes@inria.fr>"
44flags: light-uninstall
45url {
46 src: "https://github.com/c-cube/qcheck/archive/0.5.3.1.tar.gz"
47 checksum: [
48 "sha256=46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff"
49 "md5=9e79548354aea199a521b3c3986f1702"
50 ]
51}