diff options
Diffstat (limited to 'src/options/main_options')
-rw-r--r-- | src/options/main_options | 69 |
1 files changed, 0 insertions, 69 deletions
diff --git a/src/options/main_options b/src/options/main_options deleted file mode 100644 index 1793cae2d..000000000 --- a/src/options/main_options +++ /dev/null @@ -1,69 +0,0 @@ -# -# Option specification file for CVC4 -# See src/options/base_options for a description of this file format -# - -module DRIVER "options/main_options.h" Driver - -common-option version -V --version/ bool - identify this CVC4 binary -undocumented-alias --license = --version - -common-option help -h --help/ bool - full command line reference - -common-option - --show-config void :handler showConfiguration - show CVC4 static configuration - -common-option - --copyright void :handler copyright - show CVC4 copyright information - -common-option seed -s --seed uint64_t :default 0 - seed for random number generator - -option - --show-debug-tags void :handler showDebugTags - show all available tags for debugging -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 unsignedGreater0 - Total number of threads for portfolio -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) -option threadArgv std::vector<std::string> :include <vector> <string> - Thread configuration (a string to be passed to parseOptions) -option thread_id int :default -1 - Thread ID, for internal use in case of multi-threaded run -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 :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 --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"/ :link-smt interactive :link-smt interactivePrompt \"false\" - continue executing commands, even on error - -option segvSpin --segv-spin bool :default false - spin on segfault/other crash waiting for gdb -undocumented-alias --segv-nospin = --no-segv-spin - -expert-option tearDownIncremental : --tear-down-incremental=N int :default 0 - implement PUSH/POP/multi-query by destroying and recreating SmtEngine every N queries - -expert-option waitToJoin --wait-to-join bool :default true - wait for other threads to join before quitting - -endmodule |