Remove default (compile-only) mode

termite2 / Termite

The Termite driver synthesis tool

32 stars 7 forks source link

Closed ryzhyk closed 10 years ago

ryzhyk commented 10 years ago

Running termite without the -s option is confusing. It is safer to always require an option. Add -c option for compilation-only.