search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Support QuickCheck Context Configuration #1136

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

Whilst quick check has been reenabled, it currently does not support configuration of the context (e.g. min / max integer values, etc). These should be passed in the command-line from WhileyBuildTool.