esbmc
esbmc copied to clipboard
Config revamp
Following the discussion from #755
The main idea is:
- Config will still be global
- Configt will hold: message state, command-line and architecture.
- Add support to a configuration file (#477)
- Options should be removed from config. Having global options would break k-parallel (@mikhailramalho can you confirm this?)