From: Morgan Deters <mdeters@gmail.com>
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"