From 3796989e962917277d76de4bf0ef9dc9d2bc0ff2 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 14 Feb 2013 12:23:48 -0800
Subject: [PATCH] schedule: assert that model-checker thread doesn't enter
 scheduler

---
 schedule.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/schedule.cc b/schedule.cc
index 915bbc90..e75e7eca 100644
--- 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());
-- 
2.34.1