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.
| Author | Benoît Barbot |
|---|---|
| License | GPL-3.0-or-later |
| Published | |
| Homepage | https://git.lacl.fr/barbot/boltzgen |
| Issue Tracker | https://git.lacl.fr/barbot/boltzgen/-/issues |
| Maintainer | barbot@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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/boltzgen/boltzgen.0.9.3/opam |
No package is dependent
