schedule: assert that model-checker thread doesn't enter scheduler
authorBrian Norris <banorris@uci.edu>
Thu, 14 Feb 2013 20:23:48 +0000 (12:23 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Feb 2013 20:23:48 +0000 (12:23 -0800)
schedule.cc

index 915bbc9..e75e7ec 100644 (file)
@@ -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());