From 6935324f45bd7f2c735ca4120a9e800ef8903442 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 6 Sep 2012 22:15:56 +0000 Subject: [PATCH] allow SmtEngine::setOption() for trace and debug tags --- src/options/base_options | 4 ++-- 1 file 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" -- 2.30.2