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 Boltzman sampler.
| Author | Benoît Barbot |
|---|---|
| License | GPL-3.0-only |
| 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/release0.9.2/boltzgen-release0.9.2.tar.gz md5=3091645920aeb16a8c9dd4d8ebf13101 sha512=dfd48ece8603633c35b4adc12f4edc3aa604967a4383a2c1ed44825b104b788e8c7388190adc16465755392daa0c48abb28ffc9e7e2e1e4cd13597783c1ae3e4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/boltzgen/boltzgen.0.9.2/opam |
No package is dependent
