diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-26 00:08:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-26 00:08:20 -0800 |
commit | 50c31e61ab240ccd551a0aea732f8b9a88d7fb32 (patch) | |
tree | 30531d1f4813ed399209d198ca1eb75ac6f9dc30 /src/options | |
parent | b28ff31b6713791f27b4860f439aaa3f63aab9d7 (diff) |
Remove portfolio leftovers (#3821)
Commit 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 removed the portfolio
build but there were some leftovers. This commit removes them.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/main_options.toml | 28 | ||||
-rw-r--r-- | src/options/options.h | 3 | ||||
-rw-r--r-- | src/options/options_public_functions.cpp | 12 |
3 files changed, 0 insertions, 43 deletions
diff --git a/src/options/main_options.toml b/src/options/main_options.toml index 84ac7d955..f373e9836 100644 --- a/src/options/main_options.toml +++ b/src/options/main_options.toml @@ -79,25 +79,6 @@ header = "options/main_options.h" help = "do not run destructors at exit; default on except in debug builds" [[option]] - name = "fallbackSequential" - category = "regular" - long = "fallback-sequential" - type = "bool" - default = "false" - read_only = true - help = "Switch to sequential mode (instead of printing an error) if it can't be solved in portfolio mode" - -[[option]] - name = "incrementalParallel" - category = "regular" - long = "incremental-parallel" - type = "bool" - default = "false" - links = ["--incremental"] - read_only = true - help = "Use parallel solver even in incremental mode (may print 'unknown's at times)" - -[[option]] name = "interactive" category = "regular" long = "interactive" @@ -135,12 +116,3 @@ header = "options/main_options.h" default = "0" read_only = true help = "implement PUSH/POP/multi-query by destroying and recreating SmtEngine every N queries" - -[[option]] - name = "waitToJoin" - category = "expert" - long = "wait-to-join" - type = "bool" - default = "true" - read_only = true - help = "wait for other threads to join before quitting" diff --git a/src/options/options.h b/src/options/options.h index 1493ceac9..fcf99134d 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -205,11 +205,9 @@ public: bool getDumpSynth() const; bool getDumpUnsatCores() const; bool getEarlyExit() const; - bool getFallbackSequential() const; bool getFilesystemAccess() const; bool getForceNoLimitCpuWhileDump() const; bool getHelp() const; - bool getIncrementalParallel() const; bool getIncrementalSolving() const; bool getInteractive() const; bool getInteractivePrompt() const; @@ -226,7 +224,6 @@ public: bool getStrictParsing() const; int getTearDownIncremental() const; bool getVersion() const; - bool getWaitToJoin() const; const std::string& getForceLogicString() const; int getVerbosity() const; std::istream* getIn() const; diff --git a/src/options/options_public_functions.cpp b/src/options/options_public_functions.cpp index 6548150aa..a556f2152 100644 --- a/src/options/options_public_functions.cpp +++ b/src/options/options_public_functions.cpp @@ -82,10 +82,6 @@ bool Options::getEarlyExit() const{ return (*this)[options::earlyExit]; } -bool Options::getFallbackSequential() const{ - return (*this)[options::fallbackSequential]; -} - bool Options::getFilesystemAccess() const{ return (*this)[options::filesystemAccess]; } @@ -98,10 +94,6 @@ bool Options::getHelp() const{ return (*this)[options::help]; } -bool Options::getIncrementalParallel() const{ - return (*this)[options::incrementalParallel]; -} - bool Options::getIncrementalSolving() const{ return (*this)[options::incrementalSolving]; } @@ -166,10 +158,6 @@ bool Options::getVersion() const{ return (*this)[options::version]; } -bool Options::getWaitToJoin() const{ - return (*this)[options::waitToJoin]; -} - const std::string& Options::getForceLogicString() const{ return (*this)[options::forceLogicString]; } |