projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
schedule: assert that model-checker thread doesn't enter scheduler
[c11tester.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 */
+ ASSERT(false);
t = NULL;
} else {
curr_thread_index = id_to_int(t->get_id());