projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b378641) | patch
model: pull scheduler's thread selection into get_next_thread()
authorBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 23:42:14 +0000 (15:42 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 23:59:27 +0000 (15:59 -0800)
commitef4cc3b6f1e19e873509877b8e0d096bbac31e53
tree7810ef9152fc1f80b4dc511d23df92c04cb4209ftree | snapshot
parentb3786419ac8bbc47f33038b1d6c595a70490e634commit | diff
model: pull scheduler's thread selection into get_next_thread()

The code makes more logical sense if ModelChecker::get_next_thread()
handles all of the thread selection decisions.
model.cc diff | blob | history
C11 Tester Tool Public Repository