diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-06 22:15:56 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-06 22:15:56 +0000 |
| commit | 6935324f45bd7f2c735ca4120a9e800ef8903442 (patch) | |
| tree | 92c7cb16444d4cfdd1bfd524f6f38cb622c0b506 | |
| parent | 85a8d1bf09f91a041caa1723b30fe9f9ebf571f8 (diff) | |
allow SmtEngine::setOption() for trace and debug tags
| -rw-r--r-- | src/options/base_options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/base_options b/src/options/base_options index df8852cef..baaf03b50 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -96,9 +96,9 @@ common-option preprocessOnly preprocess-only --preprocess-only bool option segvNoSpin --segv-nospin bool don't spin on segfault waiting for gdb -option - -t --trace=TAG argument :handler CVC4::options::addTraceTag +option - trace -t --trace=TAG argument :handler CVC4::options::addTraceTag trace something (e.g. -t pushpop), can repeat -option - -d --debug=TAG argument :handler CVC4::options::addDebugTag +option - debug -d --debug=TAG argument :handler CVC4::options::addDebugTag debug something (e.g. -d arith), can repeat option printSuccess print-success --print-success bool :predicate CVC4::options::setPrintSuccess :predicate-include "options/base_options_handlers.h" |