X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=schedule.cc;h=1cd5b0f1a9f3db7410965a8afad7e67f27a360d3;hb=11270ed797bd19f432589cdc7b01688ef924dd34;hp=14e6475af1a781803647f7d3bd6fa56887ccf6d4;hpb=8c82e3813dcbe9f61197a45d0543abc5d131a0fa;p=model-checker.git

diff --git a/schedule.cc b/schedule.cc
index 14e6475..1cd5b0f 100644
--- a/schedule.cc
+++ b/schedule.cc
@@ -43,7 +43,9 @@ bool Scheduler::is_enabled(Thread *t) const
 }
 
 enabled_type_t Scheduler::get_enabled(Thread *t) {
-	return enabled[id_to_int(t->get_id())];
+	int id = id_to_int(t->get_id());
+	ASSERT(id<enabled_len);
+	return enabled[id];
 }
 
 void Scheduler::update_sleep_set(Node *n) {