package boltzgen
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Generate test using boltzman sampling
Install
Dune Dependency
Authors
Maintainers
Sources
boltzgen-release0.9.tar.gz
md5=1b5bddc43ca8b3d1697b739f37477066
sha512=cedbb5529135902b35775c98de6471e321bd7620c2ccea34dc8db80149c9c5150e9a3541838d2f8c20c05e425778f711f7e5074795a71ffeb19ef56b6549f6dc
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 for unlabeled structure.
Published: 20 Jan 2021
Dependencies (4)
-
cmdliner
< "2.0.0" - ocaml-compiler-libs
-
ocaml
>= "4.08.1" -
dune
>= "2.6"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page