projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28617f0) | patch
refactor DBG_ENABLED() vs. verbose
authorBrian Norris <banorris@uci.edu>
Mon, 4 Mar 2013 05:08:38 +0000 (21:08 -0800)
committerBrian Norris <banorris@uci.edu>
Mon, 4 Mar 2013 05:13:15 +0000 (21:13 -0800)
commit491b379adcbd0897c6f9ab5660d4d23afde3abb9
tree85b4730795c58eddeacd765f4e2aa05f57be12b1tree | snapshot
parent28617f0ed2d16491c86d040b323bfe07dcdf2421commit | diff
refactor DBG_ENABLED() vs. verbose

Always set 'verbose' when we are compiling a DEBUG build.
main.cc diff | blob | history
model.cc diff | blob | history
C++11 memory model checker