blob: 368fb34e44535adb6b9120e4107110f7c56c0036 (
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
|
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"]
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"]
read_only = true
help = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
[[option]]
name = "typeChecking"
category = "regular"
long = "type-checking"
type = "bool"
default = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
read_only = true
help = "type check expressions"
|