blob: 47e397d11b7e0232b82ecfc74f9d47afbe4df8cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#
# 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
|
