projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd989c1) | patch
nodestack: print thread status info in Node::print
authorBrian Norris <banorris@uci.edu>
Mon, 4 Mar 2013 03:50:47 +0000 (19:50 -0800)
committerBrian Norris <banorris@uci.edu>
Mon, 4 Mar 2013 05:13:09 +0000 (21:13 -0800)
commit6153172f6df36b35080456c47ca7178fcb49bbb4
tree272a8b512792cc84c6d7e312c70cc9d8dcbfb7ebtree | snapshot
parentdd989c16bf4ede61142d79737a8f6568aa153fa2commit | diff
nodestack: print thread status info in Node::print

It's useful to have sleep-set information for debugging.
nodestack.cc diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker