package boltzgen
Generate random tests using boltzmann sampling
Install
Dune Dependency
Authors
Maintainers
Sources
boltzgen-release-0.9.5.tar.gz
md5=4a1533435c557fb19665bb0cffa8cfa6
sha512=8ec7d426663125b4a5ceca895252ebf7afc3c44034730e25ee994a152a049a221a8c3a6472777ec91980c7ceea70abbaf1fd20ff0ac61ca5855b0d600df64b22
Description
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.
Published: 21 Mar 2025
On This Page