8000 Config revamp · Issue #800 · esbmc/esbmc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Config revamp #800
Open
Open
@rafaelsamenezes

Description

@rafaelsamenezes

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 (Configuration File #477)
  4. Options should be removed from config. Having global options would break k-parallel (@mikhailramalho can you confirm this?)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0