this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Generate test using boltzman sampling"
3description:
4 "BoltzGen is a tool to generate tests. Given a function signature it generates a random set of call of this function on generated random input. Inputs are generated using a Boltzman sampler for unlabeled structure."
5maintainer: ["barbot@lacl.fr"]
6authors: ["Benoît Barbot"]
7license: "GPL-3.0-only"
8homepage: "https://git.lacl.fr/barbot/boltzgen"
9bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
10depends: [
11 "dune" {>= "2.6"}
12 "ocaml" {>= "4.08.1"}
13 "ocaml-compiler-libs"
14 "cmdliner" {< "2.0.0"}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29]
30url {
31 src:
32 "https://git.lacl.fr/barbot/boltzgen/-/archive/release0.9/boltzgen-release0.9.tar.gz"
33 checksum: [
34 "md5=1b5bddc43ca8b3d1697b739f37477066"
35 "sha512=cedbb5529135902b35775c98de6471e321bd7620c2ccea34dc8db80149c9c5150e9a3541838d2f8c20c05e425778f711f7e5074795a71ffeb19ef56b6549f6dc"
36 ]
37}