diff options
Diffstat (limited to 'src/expr/options')
| -rw-r--r-- | src/expr/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/options b/src/expr/options index 223189d1b..cf893a7a5 100644 --- a/src/expr/options +++ b/src/expr/options @@ -21,5 +21,8 @@ option earlyTypeChecking --eager-type-checking/--lazy-type-checking bool :defaul option typeChecking /--no-type-checking bool :default DO_SEMANTIC_CHECKS_BY_DEFAULT :link /--lazy-type-checking never type check expressions +option biasedITERemoval --biased-ites bool :default false + try the new remove ite pass that is biased against term ites appearing + endmodule |