diff options
Diffstat (limited to 'src/main/options')
| -rw-r--r-- | src/main/options | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/src/main/options b/src/main/options new file mode 100644 index 000000000..6defc8642 --- /dev/null +++ b/src/main/options @@ -0,0 +1,38 @@ +# +# Option specification file for CVC4 +# See src/options/base_options for a description of this file format +# + +module DRIVER "main/options.h" Driver + +common-option version -V --version/ bool + identify this CVC4 binary + +common-option help -h --help/ bool + full command line reference + +common-option - --show-config void :handler CVC4::main::showConfiguration :handler-include "main/options_handlers.h" + show CVC4 static configuration + +option - --show-debug-tags void :handler CVC4::main::showDebugTags :handler-include "main/options_handlers.h" + show all available tags for debugging +option - --show-trace-tags void :handler CVC4::main::showTraceTags :handler-include "main/options_handlers.h" + show all available tags for tracing + +# portfolio options +option printWinner bool + enable printing the winning thread (pcvc4 only) +option - --threadN=string void + configures thread N (0..#threads-1) +option threadArgv std::vector<std::string> +#:includes <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 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 + +endmodule |