projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
threads: don't make direct call into scheduler
[model-checker.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index 1f13de7f1e5ac4c74cea012bc096f0a23d666cfe..f50b0f9a60777557429c33ab7fc4b3236ef1cb6f 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-201,6
+201,7
@@
void ModelChecker::print_trace(void)
int ModelChecker::add_thread(Thread *t)
{
thread_map[t->get_id()] = t;
+ scheduler->add_thread(t);
return 0;
}