enabled_len=threadid+1;
}
enabled[threadid]=enabled_status;
+ if (enabled_status == THREAD_DISABLED)
+ model->check_promises_thread_disabled();
}
/**
}
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) {