projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acc6533) | patch
This commit adds a debugTagIsOn() guard around some extremely verbose debugging state...
authorTim King <taking@cs.nyu.edu>
Tue, 1 Jun 2010 21:43:18 +0000 (21:43 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 1 Jun 2010 21:43:18 +0000 (21:43 +0000)
commit9c0b0f4c42619d1de116dc73f2c5111fd27ea85c
treef77147926a29683402a01c7032d7e6ca9d6e906ctree
parentacc653383ea5dbb3a4e9cffa5c2735a9d2f22dcacommit | diff
This commit adds a debugTagIsOn() guard around some extremely verbose debugging statements.  There is some evidence that these debugging statements were 20% of the running time for QF_LRA/miplib/fixnet-1000.smt in debug mode.
src/theory/arith/theory_arith.cpp diff | blob | history