blob: 037d461691b26626181b80d6bc65e29f3042d117 (
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
|
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 = "printExprTypes"
category = "regular"
long = "print-expr-types"
type = "bool"
default = "false"
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 = "type check expressions"
|