Closed DavePearce closed 3 years ago
The QuickCheck functionality should be migrated over to https://github.com/Whiley/WhileyQuickCheck
QuickCheck
Proper testing should be setup for this as well, etc.
The
QuickCheckfunctionality should be migrated over to https://github.com/Whiley/WhileyQuickCheckProper testing should be setup for this as well, etc.