diff options
Diffstat (limited to 'src/smt/options')
-rw-r--r-- | src/smt/options | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/options b/src/smt/options index 6b9944cdd..f3da7a0a7 100644 --- a/src/smt/options +++ b/src/smt/options @@ -63,10 +63,9 @@ option zombieHuntThreshold --simp-ite-hunt-zombies uint32_t :default 524288 option sortInference --sort-inference bool :read-write :default false calculate sort inference of input problem, convert the input based on monotonic sorts -common-option incrementalSolving incremental -i --incremental bool +common-option incrementalSolving incremental -i --incremental bool :default true enable incremental solving - option abstractValues abstract-values --abstract-values bool :default false in models, output arrays (and in future, maybe others) using abstract values, as required by the SMT-LIB standard option modelUninterpDtEnum --model-u-dt-enum bool :default false |