projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3f0567) | patch
snapshot: replace DumpIntoLog() with lighter-weight debugging
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:13:29 +0000 (23:13 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 06:17:20 +0000 (23:17 -0700)
commitf24d5521d1fcb0d710a2b8107aa5782e8ce430b6
tree8ee39f98b2a02622387fbc3b25e9d3c5a18d3874tree | snapshot
parenta3f05670b26d1b645b8d2d6649f70cc1d2a6733bcommit | diff
snapshot: replace DumpIntoLog() with lighter-weight debugging

This file I/O "debug" messaging gets in the way. Make the debugging code simple
and succinct, or don't put it in at all. Now, you can enabled SnapShot
debugging by adding this near the top of snapshot.cc:

 #define CONFIG_DEBUG
snapshot.cc diff | blob | history
C++11 memory model checker