opam-version: "2.0"
synopsis: "Generate tests using boltzman sampling"
description:
  "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."
maintainer: ["barbot@lacl.fr"]
authors: ["Benoît Barbot"]
license: "GPLv3"
homepage: "https://git.lacl.fr/barbot/boltzgen"
bug-reports: "https://git.lacl.fr/barbot/boltzgen/-/issues"
depends: [
  "dune" {>= "2.7"}
  "ocaml" {>= "4.08.0"}
  "ocaml-compiler-libs"
  "cmdliner"
  "base-unix"
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
url {
  src:
    "https://git.lacl.fr/barbot/boltzgen/-/archive/release0.9.2/boltzgen-release0.9.2.tar.gz"
  checksum: [
    "md5=3091645920aeb16a8c9dd4d8ebf13101"
    "sha512=dfd48ece8603633c35b4adc12f4edc3aa604967a4383a2c1ed44825b104b788e8c7388190adc16465755392daa0c48abb28ffc9e7e2e1e4cd13597783c1ae3e4"
  ]
}
