projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: deaf5b4) | patch
main, threads: improve comments regarding thread stepping
authorBrian Norris <banorris@uci.edu>
Wed, 8 Aug 2012 00:59:44 +0000 (17:59 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 8 Aug 2012 01:01:27 +0000 (18:01 -0700)
commit08b08df583f48064ec920b56162526f38b1db481
treecb518f4275dc950dc88e12b8f3d115fd9b153cc9tree | snapshot
parentdeaf5b4143c9f294eedbebb43d2156586fbdb2e2commit | diff
main, threads: improve comments regarding thread stepping

The comment in thread_system_next was incorrect:
"Returns the 1 if there is another step and 0 otherwise."

Add a few comments throughout to help clarify this behavior.
main.cc diff | blob | history
threads.cc diff | blob | history
C++11 memory model checker