boltzgenversion

Generate tests using boltzman sampling

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.

AuthorBenoƮt Barbot
LicenseGPL-3.0-or-later
Published
Homepagehttps://git.lacl.fr/barbot/boltzgen
Issue Trackerhttps://git.lacl.fr/barbot/boltzgen/-/issues
Maintainerbarbot@lacl.fr
Dependencies
Source [http] https://git.lacl.fr/barbot/boltzgen/-/archive/release-0.9.3/boltzgen-release-0.9.3.tar.gz
md5=8f8e5588602654ab7aa492910e4a9fd4
sha512=99c54502e2ca783b69ba4846a83b75f1e07cfb243cb83f98e9ee1cf39859d0ada844d79939e48719d7ba584bb6785b761339b173349d5ebf21db5ee091ba89e0
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/boltzgen/boltzgen.0.9.3/opam
No package is dependent