opam-version: "2.0"
maintainer: "simon.cruanes@inria.fr"
authors: [
  "Simon Cruanes <simon.cruanes@inria.fr>"
  "Gabriel Scherer <gabriel.scherer@gmail.com>"
]
homepage: "https://github.com/c-cube/qcheck/"
doc: ["http://cedeela.fr/~simon/software/qcheck/QCheck.html"]
tags: [
  "test"
  "property"
  "quickcheck"
]
build: ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
remove: [["ocamlfind" "remove" "qcheck"]]
depends: [
  "ocaml" {>= "4.00.0" & < "4.06.0"}
  "ocamlfind"
  "ocamlbuild" {build}
]
install: [
  [make "all" "install_file"]
  [make "install"]
]
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. Also contains Gabriel Scherer's
random value generator library, https://github.com/gasche/random-generator"""
flags: light-uninstall
url {
  src: "http://cedeela.fr/~simon/software/releases/qcheck-0.2.tar.gz"
  checksum: "md5=20cd905282925a476d0016f5b4578b5b"
}
