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.

AuthorBenoƮt Barbot
LicenseGPLv3
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/release0.9.2/boltzgen-release0.9.2.tar.gz
md5=3091645920aeb16a8c9dd4d8ebf13101
sha512=dfd48ece8603633c35b4adc12f4edc3aa604967a4383a2c1ed44825b104b788e8c7388190adc16465755392daa0c48abb28ffc9e7e2e1e4cd13597783c1ae3e4
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/boltzgen/boltzgen.0.9.2/opam
No package is dependent