package boltzgen

  1. Overview
  2. Docs
Generate tests using boltzman sampling

Install

git.lacl.fr Readme GPL-3.0-or-later License Edit opam file

Authors

  1. B
    Benoît Barbot

Maintainers

  1. B
    barbot@lacl.fr

Sources

boltzgen-release-0.9.3.tar.gz
md5=8f8e5588602654ab7aa492910e4a9fd4
sha512=99c54502e2ca783b69ba4846a83b75f1e07cfb243cb83f98e9ee1cf39859d0ada844d79939e48719d7ba584bb6785b761339b173349d5ebf21db5ee091ba89e0

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 Boltzmann sampler.

Published: 31 May 2021

Dependencies (5)

  1. base-unix
  2. cmdliner >= "1.0.0"
  3. ocaml-compiler-libs
  4. ocaml >= "4.08.0"
  5. dune >= "2.7"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None