projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
threads: assert completion is only called once
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 9f692728aa916d820d3d9c38d80f8c591aee9396..444e1a82982535339f241d5eb203fddf1d00a15a 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-168,6
+168,7
@@
Thread * Scheduler::next_thread(Thread *t)
for (int i = 0; i < enabled_len; i++) {
thread_id_t tid = int_to_id(i);
if (n->has_priority(tid)) {
for (int i = 0; i < enabled_len; i++) {
thread_id_t tid = int_to_id(i);
if (n->has_priority(tid)) {
+ DEBUG("Node (tid %d) has priority\n", i);
//Have a thread with priority
if (enabled[i] != THREAD_DISABLED)
have_enabled_thread_with_priority = true;
//Have a thread with priority
if (enabled[i] != THREAD_DISABLED)
have_enabled_thread_with_priority = true;