changes to fix at least a bug

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 14e6475af1a781803647f7d3bd6fa56887ccf6d4..1cd5b0f1a9f3db7410965a8afad7e67f27a360d3 100644 (file)
--- 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) {