package boltzgen
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Generate tests using boltzman sampling
Install
Dune Dependency
Authors
Maintainers
Sources
boltzgen-release0.9.2.tar.gz
md5=3091645920aeb16a8c9dd4d8ebf13101
sha512=dfd48ece8603633c35b4adc12f4edc3aa604967a4383a2c1ed44825b104b788e8c7388190adc16465755392daa0c48abb28ffc9e7e2e1e4cd13597783c1ae3e4
Description
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.
Published: 21 Jan 2021
On This Page