projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Implement timedwait
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 2aa31e9b596d9e46f5b147536134e3648bc9d498..4b2143dc36ab4e303840059dd9ed1f7f22cd2c43 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-385,7
+385,7
@@
Thread* ModelChecker::getNextThread(Thread *old)
}
ModelAction *act = thr->get_pending();
- if (act &&
execution
->is_enabled(tid)){
+ if (act &&
scheduler
->is_enabled(tid)){
/* Don't schedule threads which should be disabled */
if (!execution->check_action_enabled(act)) {
scheduler->sleep(thr);