diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 16:32:05 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 16:37:32 -0400 |
commit | ea22ebcbd69b24906d2214b7d294261578ce67a7 (patch) | |
tree | e64d46a849d4e40f544bbb9199fe08e3fce7ef58 /src/smt | |
parent | 5ca5dd42d95ce08a4ea456212fffcd2672e31fc1 (diff) |
Set dumping options from (set-option..) and API more directly.
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/options b/src/smt/options index 873aec6d1..f3429287f 100644 --- a/src/smt/options +++ b/src/smt/options @@ -5,9 +5,9 @@ module SMT "smt/options.h" SMT layer -common-option - --dump=MODE argument :handler CVC4::smt::dumpMode :handler-include "smt/options_handlers.h" +common-option - dump --dump=MODE argument :handler CVC4::smt::dumpMode :handler-include "smt/options_handlers.h" dump preprocessed assertions, etc., see --dump=help -common-option - --dump-to=FILE argument :handler CVC4::smt::dumpToFile :handler-include "smt/options_handlers.h" +common-option - dump-to --dump-to=FILE argument :handler CVC4::smt::dumpToFile :handler-include "smt/options_handlers.h" all dumping goes to FILE (instead of stdout) expert-option forceLogic force-logic --force-logic=LOGIC LogicInfo :include "theory/logic_info.h" :handler CVC4::smt::stringToLogicInfo :handler-include "smt/options_handlers.h" :default '""' |