model: add RMW violation debug print
authorBrian Norris <banorris@uci.edu>
Thu, 27 Sep 2012 17:53:37 +0000 (10:53 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 27 Sep 2012 17:53:37 +0000 (10:53 -0700)
commita3f3df022fdfd22dd6a8e877610b4b82281926fd
treeac3d824c1e0126313d8e990a9b5ea1ce0b540016
parentd16112e0af1dbc6c74347d6979c4003f55e955e5
model: add RMW violation debug print
model.cc