issues
search
Whiley
/
WhileyCompiler
The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217
stars
36
forks
source link
Remove Verbose (non-brief) Mode
#1123
Closed
DavePearce
closed
2 years ago
DavePearce
commented
2 years ago
Non-brief mode is not required, other than for testing.
Non-brief mode is not required, other than for testing.