diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 20:09:26 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 20:09:26 +0000 |
| commit | c62cd21b1d10230a3d8d9ed52a6147fe7f0ed078 (patch) | |
| tree | 96067a34d12e8ec2364c059ba2b780776be4fc7a /src/main | |
| parent | 4e883ffc0b88256a966183ac6b87bb5767154cdf (diff) | |
* more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASS
* more minor cleanup/doc
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/options | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/options b/src/main/options index e78acf7d9..9fdef3865 100644 --- a/src/main/options +++ b/src/main/options @@ -26,9 +26,9 @@ expert-option earlyExit --early-exit bool :default true option printWinner bool enable printing the winning thread (pcvc4 only) option threads --threads=N unsigned :default 2 :predicate greater(0) - Total number of threads + Total number of threads for portfolio option - --threadN=string void :handler CVC4::main::threadN :handler-include "main/options_handlers.h" - configures thread N (0..#threads-1) + configures portfolio thread N (0..#threads-1) option threadArgv std::vector<std::string> :include <vector> <string> Thread configuration (a string to be passed to parseOptions) option thread_id int :default -1 @@ -36,7 +36,7 @@ option thread_id int :default -1 option separateOutput bool :default false In multi-threaded setting print output of each thread at the end of run, separated by a divider ("----"). option sharingFilterByLength --filter-lemma-length=N int :default -1 :read-write - don't share lemmas strictly longer than N + don't share (among portfolio threads) lemmas strictly longer than N expert-option waitToJoin --wait-to-join bool :default true wait for other threads to join before quitting |