blob: c26622fef70c52fb47e32d7abee3525879bd34c2 (
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
|
id = "EXPR"
name = "Expression package"
header = "options/expr_options.h"
[[option]]
name = "defaultExprDepth"
category = "regular"
long = "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)"
[[option]]
name = "defaultDagThresh"
smt_name = "dag-thresh"
category = "regular"
long = "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)"
[[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 = "typeChecking"
category = "regular"
long = "type-checking"
type = "bool"
default = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
read_only = true
help = "never type check expressions"
|