diff options
Diffstat (limited to 'src/options/main_options')
| -rw-r--r-- | src/options/main_options | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/options/main_options b/src/options/main_options index 8b161e5df..7ec4fedb3 100644 --- a/src/options/main_options +++ b/src/options/main_options @@ -12,21 +12,21 @@ undocumented-alias --license = --version common-option help -h --help/ bool full command line reference -common-option - --show-config void :handler CVC4::options::showConfiguration :handler-include "options/options_handler_interface.h" +common-option - --show-config void :handler showConfiguration show CVC4 static configuration -option - --show-debug-tags void :handler CVC4::options::showDebugTags :handler-include "options/options_handler_interface.h" +option - --show-debug-tags void :handler showDebugTags show all available tags for debugging -option - --show-trace-tags void :handler CVC4::options::showTraceTags :handler-include "options/options_handler_interface.h" +option - --show-trace-tags void :handler showTraceTags show all available tags for tracing expert-option earlyExit --early-exit bool :default true do not run destructors at exit; default on except in debug builds # portfolio options -option threads --threads=N unsigned :default 2 :predicate options::greater(0) +option threads --threads=N unsigned :default 2 :predicate unsignedGreater0 Total number of threads for portfolio -option - --threadN=string void :handler CVC4::options::threadN :handler-include "options/options_handler_interface.h" +option - --threadN=string void :handler threadN configures portfolio thread N (0..#threads-1) option threadStackSize --thread-stack=N unsigned :default 0 stack size for worker threads in MB (0 means use Boost/thread lib default) @@ -38,16 +38,16 @@ option sharingFilterByLength --filter-lemma-length=N int :default -1 :read-write don't share (among portfolio threads) lemmas strictly longer than N option fallbackSequential --fallback-sequential bool :default false Switch to sequential mode (instead of printing an error) if it can't be solved in portfolio mode -option incrementalParallel --incremental-parallel bool :default false :link --incremental +option incrementalParallel --incremental-parallel bool :default false :link --incremental :link-smt incremental Use parallel solver even in incremental mode (may print 'unknown's at times) option interactive : --interactive bool :read-write force interactive/non-interactive mode -undocumented-option interactivePrompt /--no-interactive-prompt bool :default true - turn off interactive prompting while in interactive mode +undocumented-option interactivePrompt --interactive-prompt bool :default true + interactive prompting while in interactive mode # error behaviors (--immediate-exit is default in cases we support, thus no options) -option continuedExecution --continued-execution/ bool :default false :link "--interactive --no-interactive-prompt"/ +option continuedExecution --continued-execution/ bool :default false :link "--interactive --no-interactive-prompt"/ :link-smt interactive :link-smt interactivePrompt \"false\" continue executing commands, even on error option segvSpin --segv-spin bool :default false |