boltzgenversion
Generate test 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 for unlabeled structure.
| 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/boltzgen-release0.9.tar.gz md5=1b5bddc43ca8b3d1697b739f37477066 sha512=cedbb5529135902b35775c98de6471e321bd7620c2ccea34dc8db80149c9c5150e9a3541838d2f8c20c05e425778f711f7e5074795a71ffeb19ef56b6549f6dc |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/boltzgen/boltzgen.0.9/opam |
No package is dependent
