projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7a6b3c) | patch
model: make scheduler private
authorBrian Norris <banorris@uci.edu>
Fri, 10 Aug 2012 21:29:06 +0000 (14:29 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 16 Aug 2012 17:30:25 +0000 (10:30 -0700)
commit0cb167b8fb332e4d9726badd0aa58e943bb4b459
tree7e285d5be057a7f05a27c81637532a966c072a5atree | snapshot
parentb7a6b3c7fb66628a4b14af804418dbfff4072e95commit | diff
model: make scheduler private

To accomplish this, I needed to add one accessor method for
'get_current_thread()'.
model.h diff | blob | history
threads.cc diff | blob | history
C11 Tester Tool Public Repository