projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 051a568) | patch
Some cleanup around trace and debug (#7792)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 10 Dec 2021 19:08:58 +0000 (11:08 -0800)
committerGitHub <noreply@github.com>
Fri, 10 Dec 2021 19:08:58 +0000 (19:08 +0000)
commit9ae093ec410f8dd224500113e3438bc748a19603
tree4fde24864071a02d0da9c727da843e1811fb5f31tree
parent051a568564958be1433ff64a98808398c1f6e238commit | diff
Some cleanup around trace and debug (#7792)

Some minor cleanup in our output routines. While ScopedDebug and ScopedTrace are never used at all (and don't seem to make much sense considering how we use Debug and Trace), IndentedScope may be useful in some more places.
src/base/output.h diff | blob | history