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 Boltzman sampler."
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.7"}
12 "ocaml" {>= "4.08.0"}
13 "ocaml-compiler-libs"
14 "cmdliner" {< "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/release0.9.2/boltzgen-release0.9.2.tar.gz"
36 checksum: [
37 "md5=3091645920aeb16a8c9dd4d8ebf13101"
38 "sha512=dfd48ece8603633c35b4adc12f4edc3aa604967a4383a2c1ed44825b104b788e8c7388190adc16465755392daa0c48abb28ffc9e7e2e1e4cd13597783c1ae3e4"
39 ]
40}