this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3license: "BSD-2-Clause"
4authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"
5tags: ["test" "property" "quickcheck"]
6homepage: "https://github.com/c-cube/qcheck/"
7doc: "http://c-cube.github.io/qcheck/"
8bug-reports: "https://github.com/c-cube/qcheck/issues"
9depends: [
10 "dune"
11 "ocaml" {>= "4.03.0" & < "5.0.0"}
12 "base-bytes"
13 "base-unix"
14 "odoc" {with-doc}
15]
16conflicts: [
17 "ounit" {< "2.0"}
18]
19build: [
20 ["dune" "build" "-p" name "-j" jobs]
21 ["dune" "runtest" "-p" name] {with-test}
22 ["dune" "build" "@doc" "-p" name] {with-doc}
23]
24dev-repo: "git+https://github.com/c-cube/qcheck.git"
25synopsis: "QuickCheck inspired property-based testing for OCaml"
26description: """
27This module allows to check invariants (properties of some types) over
28randomly generated instances of the type. It provides combinators for
29generating instances and printing them."""
30url {
31 src: "https://github.com/c-cube/qcheck/archive/0.9.tar.gz"
32 checksum: [
33 "md5=7782c8cfce30a5fb766d933e99129ee7"
34 "sha512=e1007b4a3be338406d855efcf8d13ac4961963a6c77b794ab83973950e21c777cb66ab6020a0a714f96866597bc8bf7a76a84243e5062dab5b41978e78422e0b"
35 ]
36}