diff options
Diffstat (limited to 'src/options/arith_options')
| -rw-r--r-- | src/options/arith_options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options/arith_options b/src/options/arith_options index e6f7fd6d0..722af1fa1 100644 --- a/src/options/arith_options +++ b/src/options/arith_options @@ -155,6 +155,8 @@ option ppAssertMaxSubSize --pp-assert-max-sub-size unsigned :default 2 option maxReplayTree --max-replay-tree int :default 512 threshold for attempting to replay a tree +option arithNoPartialFun --arith-no-partial-fun bool :default false + do not use partial function semantics for arithmetic (not SMT LIB compliant) option pbRewrites --pb-rewrites bool :default false apply pseudo boolean rewrites |