this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Generate tests 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 Boltzmann sampler."
5maintainer: "barbot@lacl.fr"
6authors: "Benoît Barbot"
7license: "GPL-3.0-or-later"
8homepage: "https://git.lacl.fr/barbot/boltzgen"
9bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
10depends: [
11 "dune" {>= "2.7"}
12 "ocaml" {>= "4.08.0"}
13 "ocaml-compiler-libs"
14 "cmdliner" {>= "1.0.0" & < "2.0.0"}
15 "base-unix"
16 "odoc" {with-doc}
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "@install"
28 "@runtest" {with-test}
29 "@doc" {with-doc}
30 ]
31]
32dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
33url {
34 src:
35 "https://git.lacl.fr/barbot/boltzgen/-/archive/release-0.9.3/boltzgen-release-0.9.3.tar.gz"
36 checksum: [
37 "md5=8f8e5588602654ab7aa492910e4a9fd4"
38 "sha512=99c54502e2ca783b69ba4846a83b75f1e07cfb243cb83f98e9ee1cf39859d0ada844d79939e48719d7ba584bb6785b761339b173349d5ebf21db5ee091ba89e0"
39 ]
40}