esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard

Config revamp

Open rafaelsamenezes opened this issue 2 years ago • 0 comments

Following the discussion from #755

The main idea is:

  1. Config will still be global
  2. Configt will hold: message state, command-line and architecture.
  3. Add support to a configuration file (#477)
  4. Options should be removed from config. Having global options would break k-parallel (@mikhailramalho can you confirm this?)

rafaelsamenezes avatar Jul 08 '22 13:07 rafaelsamenezes