projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c77d1d9) | patch
common: disable debugging
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:32:34 +0000 (10:32 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:32:34 +0000 (10:32 -0700)
commita0ee9069035c3824307fd9004b53238d70c05882
tree81b3285d161d450aad42458ae4c71e9bcdef5e60tree | snapshot
parentc77d1d922ed975933eab0b527c2c2e2951b64174commit | diff
common: disable debugging

Note to others: do not enable debugging in the checked-in code. It is for
testint purposes only.
common.h diff | blob | history
C++11 memory model checker