projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e2338d) | patch
schedule: refactor next_thread() for better debug printing
authorBrian Norris <banorris@uci.edu>
Mon, 23 Apr 2012 22:39:07 +0000 (15:39 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 23 Apr 2012 22:54:55 +0000 (15:54 -0700)
commitb2e1861247c00af280dafdfd79e855f0011dee2d
tree7cae7344ca1f7aab4a820b423b6ebd39de5dee3ftree | snapshot
parent5e2338d51de26e3ea875587f62b095c5d0111ae2commit | diff
schedule: refactor next_thread() for better debug printing

It makes more sense to call print() at the end of the the next_thread()
routine, to see consistent printing for all cases. So I refactor the control
flow to a single return statement.
schedule.cc diff | blob | history
C++11 memory model checker