opam-version: "2.0"
maintainer: "simon.cruanes.2007@m4x.org"
authors: "Simon Cruanes <simon.cruanes.2007@m4x.orgr>"
tags: ["test" "property" "quickcheck"]
homepage: "https://github.com/c-cube/qcheck/"
doc: "http://c-cube.github.io/qcheck/"
bug-reports: "https://github.com/c-cube/qcheck/issues"
depends: [
  "dune"
  "ocaml" {>= "4.03.0"}
  "base-bytes"
  "base-unix"
  "qcheck-core" {>= "0.9"}
  "qcheck-ounit" {>= "0.9"}
  "odoc" {with-doc}
]
conflicts: [
  "ounit" {< "2.0"}
]
build: [
    ["dune" "build" "-p" name "-j" jobs]
    ["dune" "runtest" "-p" name] {with-test}
    ["dune" "build" "@doc" "-p" name] {with-doc}
]
dev-repo: "git+https://github.com/c-cube/qcheck.git"
synopsis: "QuickCheck inspired property-based testing for OCaml."
description: """
This module allows to check invariants (properties of some types) over
randomly generated instances of the type. It provides combinators for
generating instances and printing them."""
url {
  src: "https://github.com/c-cube/qcheck/archive/0.9.tar.gz"
  checksum: [
    "md5=7782c8cfce30a5fb766d933e99129ee7"
    "sha512=e1007b4a3be338406d855efcf8d13ac4961963a6c77b794ab83973950e21c777cb66ab6020a0a714f96866597bc8bf7a76a84243e5062dab5b41978e78422e0b"
  ]
}
