Whiley / WhileyCompiler

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

Bug with TestUtils #1119

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

Doesn't write WyilFiles to disk, and this subsequently breaks the valid tests.