diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-08-28 01:10:16 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-08-28 01:10:16 +0000 |
| commit | cf287f593931a1c4fc141e18845b4c5d36879889 (patch) | |
| tree | 4dad0f555b7db01fbeedcd9eace394cd8f7a0fb4 /src/smt/options | |
| parent | b7b1c1d99ffa333704af2c8ecd60b1af8833a28b (diff) | |
Improved compatibility layer, now supports quantifiers. Also incorporates
numerous bugfixes, and the cvc3 system test is enabled.
Diffstat (limited to 'src/smt/options')
| -rw-r--r-- | src/smt/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/options b/src/smt/options index 13b3b51f3..fea609bb5 100644 --- a/src/smt/options +++ b/src/smt/options @@ -21,7 +21,7 @@ common-option - --dump-to=FILE argument :handler CVC4::smt::dumpToFile :handler- expert-option lazyDefinitionExpansion --lazy-definition-expansion bool expand define-funs/LAMBDAs lazily -option simplificationMode --simplification=MODE SimplificationMode :handler CVC4::smt::stringToSimplificationMode :default SIMPLIFICATION_MODE_BATCH :read-write :include "smt/simplification_mode.h" :handler-include "smt/options_handlers.h" +option simplificationMode simplification-mode --simplification=MODE SimplificationMode :handler CVC4::smt::stringToSimplificationMode :default SIMPLIFICATION_MODE_BATCH :read-write :include "smt/simplification_mode.h" :handler-include "smt/options_handlers.h" choose simplification mode, see --simplification=help alias --no-simplification = --simplification=none turn off all simplification (same as --simplification=none) |