Closed DavePearce closed 2 years ago
This adds a Main class for driving the WhileyCompiler in a standalone fashion.
Main
This adds a
Main
class for driving the WhileyCompiler in a standalone fashion.