opam-version: "2.0"
synopsis: "Generate test 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 for unlabeled structure."
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.6"}
  "ocaml" {>= "4.08.1"}
  "ocaml-compiler-libs"
  "cmdliner"
]
build: [
  ["dune" "subst"] {pinned}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
url {
  src:
    "https://git.lacl.fr/barbot/boltzgen/-/archive/release0.9/boltzgen-release0.9.tar.gz"
  checksum: [
    "md5=1b5bddc43ca8b3d1697b739f37477066"
    "sha512=cedbb5529135902b35775c98de6471e321bd7620c2ccea34dc8db80149c9c5150e9a3541838d2f8c20c05e425778f711f7e5074795a71ffeb19ef56b6549f6dc"
  ]
}
