boltzgenversion
Generate random tests using boltzmann sampling
BoltzGen is a tool to generate Ocaml values. Given a type it generates a random value of this type using Boltzmann sampling BoltzGen can also generate tests, given a function, a set of call of this function on generated random input is generated.
| 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.5/boltzgen-release-0.9.5.tar.gz md5=4a1533435c557fb19665bb0cffa8cfa6 sha512=8ec7d426663125b4a5ceca895252ebf7afc3c44034730e25ee994a152a049a221a8c3a6472777ec91980c7ceea70abbaf1fd20ff0ac61ca5855b0d600df64b22 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/boltzgen/boltzgen.0.9.5/opam |
No package is dependent
