diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-07 15:28:20 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-07 15:28:20 -0500 |
| commit | c6c20b80eb836a3b44f15835f91d6d1d7af342df (patch) | |
| tree | 6f4667a4cac4f80271d0d2e7b0b9bb91f1eef969 /src/expr/options | |
| parent | 98eec3152a2b24dc0cc04cd1ea595e400cca203e (diff) | |
Make --default-dag-thresh apply to stringstreams
Diffstat (limited to 'src/expr/options')
| -rw-r--r-- | src/expr/options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/options b/src/expr/options index cd59e4875..223189d1b 100644 --- a/src/expr/options +++ b/src/expr/options @@ -5,9 +5,9 @@ module EXPR "expr/options.h" Expression package -option defaultExprDepth --default-expr-depth=N int :predicate CVC4::expr::setDefaultExprDepth :predicate-include "expr/options_handlers.h" +option defaultExprDepth --default-expr-depth=N int :default 0 :predicate CVC4::expr::setDefaultExprDepth :predicate-include "expr/options_handlers.h" print exprs to depth N (0 == default, -1 == no limit) -option - default-dag-thresh --default-dag-thresh=N argument :handler CVC4::expr::setDefaultDagThresh :handler-include "expr/options_handlers.h" +option defaultDagThresh default-dag-thresh --default-dag-thresh=N int :default 1 :predicate CVC4::expr::setDefaultDagThresh :predicate-include "expr/options_handlers.h" dagify common subexprs appearing > N times (1 == default, 0 == don't dagify) option - --print-expr-types void :handler CVC4::expr::setPrintExprTypes :handler-include "expr/options_handlers.h" print types with variables when printing exprs |