projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove read_only from options. (#6513)
[cvc5.git]
/
src
/
options
/
expr_options.toml
diff --git
a/src/options/expr_options.toml
b/src/options/expr_options.toml
index 368fb34e44535adb6b9120e4107110f7c56c0036..34a4fb979982537b8a79faf2a8bb787c394be0b8 100644
(file)
--- a/
src/options/expr_options.toml
+++ b/
src/options/expr_options.toml
@@
-9,7
+9,6
@@
header = "options/expr_options.h"
type = "int"
default = "0"
predicates = ["setDefaultExprDepthPredicate"]
type = "int"
default = "0"
predicates = ["setDefaultExprDepthPredicate"]
- read_only = true
help = "print exprs to depth N (0 == default, -1 == no limit)"
[[option]]
help = "print exprs to depth N (0 == default, -1 == no limit)"
[[option]]
@@
-20,7
+19,6
@@
header = "options/expr_options.h"
type = "int"
default = "1"
predicates = ["setDefaultDagThreshPredicate"]
type = "int"
default = "1"
predicates = ["setDefaultDagThreshPredicate"]
- read_only = true
help = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
[[option]]
help = "dagify common subexprs appearing > N times (1 == default, 0 == don't dagify)"
[[option]]
@@
-29,5
+27,4
@@
header = "options/expr_options.h"
long = "type-checking"
type = "bool"
default = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
long = "type-checking"
type = "bool"
default = "DO_SEMANTIC_CHECKS_BY_DEFAULT"
- read_only = true
help = "type check expressions"
help = "type check expressions"