projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8362b1e) | patch
threads: fixup THREAD_READY comment
authorBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:47:12 +0000 (13:47 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:48:11 +0000 (13:48 -0700)
commite7cda140158c3d1b54d10241348a096848d55cfb
tree634305bc775e6b091a02723ade904bd1aa7f5b9etree | snapshot
parent8362b1efa92635ab49bd937edf451e3b2e0981bccommit | diff
threads: fixup THREAD_READY comment

This state will be used for more than just a context switch, so reword the
comment.
threads.h diff | blob | history
C++11 memory model checker