model: deadlock: print the culprit thread, when known
authorBrian Norris <banorris@uci.edu>
Thu, 4 Apr 2013 08:38:40 +0000 (01:38 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 5 Apr 2013 17:29:04 +0000 (10:29 -0700)
commit1ca9b05f504ed968eb922b12cddb0a8217d6fc50
treef4fc5659f5cfa406198ecf5c6b5e33f3d094571e
parentdab4897e809f77fa6d7574563a169f752dbef43d
model: deadlock: print the culprit thread, when known
model.cc