projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41862bf) | patch
Within node I added printAst(..) for general purpose debugging use throughout the...
authorTim King <taking@cs.nyu.edu>
Wed, 3 Feb 2010 19:23:45 +0000 (19:23 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 3 Feb 2010 19:23:45 +0000 (19:23 +0000)
commit480b791976b2916148ef95c48c00280b404c32e2
tree914a3f5a9d9c8f20ac1d1a0f04410dc3705a254ftree
parent41862bfee0f82649400db413a8d4a51dd82eb1b7commit | diff
Within node I added printAst(..) for general purpose debugging use throughout the code. I also added debugPrint() to Node for use within gdb.
src/expr/node.cpp diff | blob | history
src/expr/node.h diff | blob | history