From: Morgan Deters Date: Thu, 6 Sep 2012 22:15:56 +0000 (+0000) Subject: allow SmtEngine::setOption() for trace and debug tags X-Git-Tag: cvc5-1.0.0~7824 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6935324f45bd7f2c735ca4120a9e800ef8903442;p=cvc5.git allow SmtEngine::setOption() for trace and debug tags --- 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"