diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-29 09:09:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-29 07:09:34 +0000 |
commit | 0133367f9ed242aa01e42867364c7be74ffe5618 (patch) | |
tree | 993330d559b7d86f0b891792cde07dc1a4c8bc8c /src/options/options_handler.cpp | |
parent | f62b46414cc47762857a4e3241318733ca8c973d (diff) |
Remove `Options::set()` method (#6556)
This PR gets rid of the Options::set() method, replacing it by direct access to the options data.
This method was only used internally and did nothing except for resolving the options data from the option tag type via template specializations (via ref()), which is no longer necessary.
Diffstat (limited to 'src/options/options_handler.cpp')
-rw-r--r-- | src/options/options_handler.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 7d9fcffab..1178f205d 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -196,7 +196,7 @@ void OptionsHandler::setBitblastAig(std::string option, bool arg) } } else { options::BitblastMode mode = stringToBitblastMode("eager"); - Options::current().set(options::bitblastMode, mode); + d_options->bv.bitblastMode = mode; } } } @@ -231,13 +231,13 @@ InstFormatMode OptionsHandler::stringToInstFormatMode(std::string option, // decision/options_handlers.h void OptionsHandler::setDecisionModeStopOnly(std::string option, DecisionMode m) { - Options::current().set(options::decisionStopOnly, m == DecisionMode::RELEVANCY); + d_options->decision.decisionStopOnly = (m == DecisionMode::RELEVANCY); } void OptionsHandler::setProduceAssertions(std::string option, bool value) { - Options::current().set(options::produceAssertions, value); - Options::current().set(options::interactiveMode, value); + d_options->smt.produceAssertions = value; + d_options->smt.interactiveMode = value; } void OptionsHandler::setStats(const std::string& option, bool value) @@ -486,7 +486,7 @@ OutputLanguage OptionsHandler::stringToOutputLanguage(std::string option, std::string optarg) { if(optarg == "help") { - Options::current().set(options::languageHelp, true); + d_options->base.languageHelp = true; return language::output::LANG_AUTO; } @@ -504,7 +504,7 @@ InputLanguage OptionsHandler::stringToInputLanguage(std::string option, std::string optarg) { if(optarg == "help") { - Options::current().set(options::languageHelp, true); + d_options->base.languageHelp = true; return language::input::LANG_AUTO; } @@ -549,12 +549,12 @@ void OptionsHandler::setVerbosity(std::string option, int value) } void OptionsHandler::increaseVerbosity(std::string option) { - Options::current().set(options::verbosity, options::verbosity() + 1); + d_options->base.verbosity += 1; setVerbosity(option, options::verbosity()); } void OptionsHandler::decreaseVerbosity(std::string option) { - Options::current().set(options::verbosity, options::verbosity() - 1); + d_options->base.verbosity -= 1; setVerbosity(option, options::verbosity()); } |