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]
14install: [
15 [make "install"]
16]
17remove: [
18 ["ocamlfind" "remove" "qcheck"]
19]
20depends: [
21 "ocaml" {>= "4.00.0" & < "5.0.0"}
22 "ocamlfind"
23 "base-bytes"
24 "base-unix"
25 "ounit"
26 "ocamlbuild" {build}
27]
28dev-repo: "git+https://github.com/c-cube/qcheck.git"
29bug-reports: "https://github.com/c-cube/qcheck/issues"
30conflicts: [
31 "ounit" { < "2.0" }
32 "qcheck-core"
33]
34post-messages:"new release that fixes some problems with 0.5.1,
35including a better handling of backtraces, safe-string awareness,
36a mode for long tests, and reverting `small_int` to being an alias to `nat`.
37
38The latter point is important for not breaking code that would use `small_int`
39to pick the size of lists, strings, etc. The new `small_signed_int` can
40be used instead."
41synopsis: "QuickCheck inspired property-based testing for OCaml"
42description: """
43This module allows to check invariants (properties of some types) over
44randomly generated instances of the type. It provides combinators for
45generating instances and printing them."""
46authors: "Simon Cruanes <simon.cruanes@inria.fr>"
47flags: light-uninstall
48url {
49 src: "https://github.com/c-cube/qcheck/archive/0.5.2.tar.gz"
50 checksum: [
51 "sha256=4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316"
52 "md5=f7c7e3c45a46bcd5b5eb2b0c93c207d6"
53 ]
54}