projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model/threads: add documentation comments
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 915bbc90fb3daa8d5985decdf9e1641a93e59993..e75e7eca7f8bda92295493f8f48bfa1f9056743c 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-217,6
+217,7
@@
Thread * Scheduler::next_thread(Thread *t)
}
} else if (t->is_model_thread()) {
/* model-checker threads never run */
}
} else if (t->is_model_thread()) {
/* model-checker threads never run */
+ ASSERT(false);
t = NULL;
} else {
curr_thread_index = id_to_int(t->get_id());
t = NULL;
} else {
curr_thread_index = id_to_int(t->get_id());