this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Generate random tests using boltzmann sampling"
3description: """
4BoltzGen is a tool to generate Ocaml values. Given a type it generates a random value of this type using Boltzmann sampling
5 BoltzGen can also generate tests, given a function, a set of call of this function on generated random input is generated."""
6maintainer: ["barbot@lacl.fr"]
7authors: ["Benoît Barbot"]
8license: "GPL-3.0-or-later"
9homepage: "https://git.lacl.fr/barbot/boltzgen"
10bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
11depends: [
12 "ocaml" {>= "5.0.0"}
13 "dune" {>= "3.15" & >= "3.15"}
14 "ocaml-compiler-libs"
15 "cmdliner" {>= "1.1.0"}
16 "base-unix"
17 "odoc" {with-doc}
18]
19build: [
20 ["dune" "subst"] {dev}
21 [
22 "dune"
23 "build"
24 "-p"
25 name
26 "-j"
27 jobs
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32]
33dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
34url {
35 src:
36 "https://git.lacl.fr/barbot/boltzgen/-/archive/release-0.9.5/boltzgen-release-0.9.5.tar.gz"
37 checksum: [
38 "md5=4a1533435c557fb19665bb0cffa8cfa6"
39 "sha512=8ec7d426663125b4a5ceca895252ebf7afc3c44034730e25ee994a152a049a221a8c3a6472777ec91980c7ceea70abbaf1fd20ff0ac61ca5855b0d600df64b22"
40 ]
41}