projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
previous synchronization was weird...
[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) {
}
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) {
}
void Scheduler::update_sleep_set(Node *n) {