projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1857316) | patch
model: improve get_next_thread() comments
authorBrian Norris <banorris@uci.edu>
Sat, 16 Feb 2013 02:08:09 +0000 (18:08 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 16 Feb 2013 02:08:09 +0000 (18:08 -0800)
commit0a0177d3795ceb0eea9e0e803148df36038776a4
treed54596006fe069615a7dfb4a45653f2d4dfccae9tree | snapshot
parent1857316e6637ac144952a274ff020629abe83807commit | diff
model: improve get_next_thread() comments

It's curious that get_next_thread() needs the current ModelAction as a
parameter. It helps to clarify that this argument is somwhat "optional."
model.cc diff | blob | history
C++11 memory model checker