blob: 3791da7141be41fb811aa4213f6dd573ab58f075 (
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
|
id = "EXPR"
name = "Expression package"
header = "options/expr_options.h"
[[option]]
name = "defaultExprDepth"
category = "regular"
long = "default-expr-depth=N"
type = "int"
default = "0"
predicates = ["setDefaultExprDepthPredicate"]
notifies = ["notifySetDefaultExprDepth"]
read_only = true
help = "print exprs to depth N (0 == default, -1 == no limit)"
[[alias]]
category = "undocumented"
long = "expr-depth=N"
links = ["--default-expr-depth=N"]
[[option]]
name = "defaultDagThresh"
smt_name = "default-dag-thresh"
category = "regular"
long = "default-dag-thresh=N"
type = "int"
default = "1"
predicates = ["setDefaultDagThreshPredicate"]
notifies = ["notifySetDefaultDagThresh"]
read_only = true
help = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
[[alias]]
category = "undocumented"
long = "dag-thresh=N"
links = ["--default-dag-thresh=N"]
[[alias]]
category = "undocumented"
long = "dag-threshold=N"
links = ["--default-dag-thresh=N"]
[[option]]
name = "printExprTypes"
category = "regular"
long = "print-expr-types"
type = "bool"
default = "false"
notifies = ["notifySetPrintExprTypes"]
read_only = true
help = "print types with variables when printing exprs"
[[option]]
name = "earlyTypeChecking"
category = "regular"
long = "eager-type-checking"
type = "bool"
default = "USE_EARLY_TYPE_CHECKING_BY_DEFAULT"
read_only = true
help = "type check expressions immediately on creation (debug builds only)"
[[option]]
name = "typeChecking"
category = "regular"
long = "type-checking"
type = "bool"
default = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
read_only = true
help = "never type check expressions"
[[alias]]
category = "undocumented"
long = "no-type-checking"
links = ["--no-eager-type-checking"]
|
