diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-22 01:10:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-22 01:10:58 +0000 |
commit | 65fa7fd4d674e00624657255c24748e580ef50d6 (patch) | |
tree | 1a5591fca4c3a9ab24d576c282f36607cb81a7f5 /src/expr/node.cpp | |
parent | 7697b5218118d71800318472a7423a5b42bee469 (diff) |
fix bug 22 (remove tracing from non-trace builds; remove all output
from muzzled builds)
add public-facing CVC4::Configuration class that gives CVC4's (static)
configuration (whether debugging is enabled, assertions, version
information, etc...)
add some whitebox tests for assertions, output classes, and new
CVC4::Configuration class
main driver now gets about() information from CVC4::Configuration.
configure.ac now more flexible at specifying major/minor/release
versions of CVC4
add --show-config option that dumps CVC4's static configuration
commented option processing strings in src/main/getopt.cpp
fixed some compilation problems for muzzled builds.
fixed some test code for non-assertion builds (where no assertions are expected)
Diffstat (limited to 'src/expr/node.cpp')
-rw-r--r-- | src/expr/node.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index f3115b17e..644570b24 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -133,7 +133,7 @@ static void indent(ostream & o, int indent){ o << ' '; } -void Node::printAst(ostream & o, int ind) const{ +void Node::printAst(ostream & o, int ind) const { indent(o, ind); o << '('; o << getKind(); @@ -143,17 +143,19 @@ void Node::printAst(ostream & o, int ind) const{ }else if(getNumChildren() >= 1){ for(Node::iterator child = begin(); child != end(); ++child){ o << endl; - (*child).printAst(o, ind+1); + (*child).printAst(o, ind + 1); } o << endl; indent(o, ind); } o << ')'; } - -void Node::debugPrint(){ + +void Node::debugPrint() { +#ifndef CVC4_MUZZLE printAst(Warning(), 0); Warning().flush(); +#endif /* ! CVC4_MUZZLE */ } }/* CVC4 namespace */ |