search

Whiley / WhileyCompiler

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

Apply QuickCheck During Testing #1140

Open DavePearce opened 2 years ago

DavePearce commented 2 years ago

At this time, QuickCheck has not been used in testing. The goal here is to enable that.