projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4859705) | patch
Guard for expensive Debug trace
authorClark Barrett <barrett@cs.nyu.edu>
Fri, 4 May 2012 17:18:02 +0000 (17:18 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Fri, 4 May 2012 17:18:02 +0000 (17:18 +0000)
commitc4a96dc3a0ace41e5f746207847a57ce1c6d4d33
treef902b8bcd1d6fb6e387ebb80d7b04131d93369dbtree
parent48597056ca70a0e80c7ad097b728c274931cebc4commit | diff
Guard for expensive Debug trace
src/theory/term_registration_visitor.cpp diff | blob | history