blob: f373e9836451b5441ac42c2f4f1999fca9886746 (
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
id = "DRIVER"
name = "Driver"
header = "options/main_options.h"
[[option]]
name = "version"
category = "common"
short = "V"
long = "version"
type = "bool"
read_only = true
alternate = false
help = "identify this CVC4 binary"
[[alias]]
category = "undocumented"
long = "license"
links = ["--version"]
[[option]]
name = "help"
category = "common"
short = "h"
long = "help"
type = "bool"
read_only = true
alternate = false
help = "full command line reference"
[[option]]
category = "common"
long = "show-config"
type = "void"
handler = "showConfiguration"
read_only = true
help = "show CVC4 static configuration"
[[option]]
category = "common"
long = "copyright"
type = "void"
handler = "copyright"
read_only = true
help = "show CVC4 copyright information"
[[option]]
name = "seed"
category = "common"
short = "s"
long = "seed=N"
type = "uint64_t"
default = "0"
read_only = true
help = "seed for random number generator"
[[option]]
category = "regular"
long = "show-debug-tags"
type = "void"
handler = "showDebugTags"
read_only = true
help = "show all available tags for debugging"
[[option]]
category = "regular"
long = "show-trace-tags"
type = "void"
handler = "showTraceTags"
read_only = true
help = "show all available tags for tracing"
[[option]]
name = "earlyExit"
category = "expert"
long = "early-exit"
type = "bool"
default = "true"
read_only = true
help = "do not run destructors at exit; default on except in debug builds"
[[option]]
name = "interactive"
category = "regular"
long = "interactive"
type = "bool"
help = "force interactive/non-interactive mode"
[[option]]
name = "interactivePrompt"
category = "undocumented"
long = "interactive-prompt"
type = "bool"
default = "true"
read_only = true
help = "interactive prompting while in interactive mode"
[[option]]
name = "segvSpin"
category = "regular"
long = "segv-spin"
type = "bool"
default = "false"
read_only = true
help = "spin on segfault/other crash waiting for gdb"
[[alias]]
category = "undocumented"
long = "segv-nospin"
links = ["--no-segv-spin"]
[[option]]
name = "tearDownIncremental"
category = "expert"
long = "tear-down-incremental=N"
type = "int"
default = "0"
read_only = true
help = "implement PUSH/POP/multi-query by destroying and recreating SmtEngine every N queries"
|