diff options
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]; } |