projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe8423c) | patch
schedule: reset scheduler when thread is removed
authorBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:09:45 +0000 (20:09 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 24 Apr 2012 03:09:45 +0000 (20:09 -0700)
commitd48c1867f8e5b2a3f9695a6bc8f1b5394dcda8e7
treef30739f1625f6b3792497fc9458a075febceab5ctree | snapshot
parentfe8423ca853f5d614e618fe49d37d0943d416809commit | diff
schedule: reset scheduler when thread is removed

Ensure that the 'current' thread reference is removed properly.
model.cc diff | blob | history
model.h diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
C11 Tester Tool Public Repository