projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
libthreads: perform 'model checking' when moving to next thread
[model-checker.git]
/
libthreads.cc
diff --git
a/libthreads.cc
b/libthreads.cc
index 07ce633e5d29277881ef213563dc5e4c3b8350a9..a8ce0faee1ef59a94191858d0e3f57baea41e43b 100644
(file)
--- a/
libthreads.cc
+++ b/
libthreads.cc
@@
-72,6
+72,7
@@
static int thread_system_next(void)
struct thread *curr, *next;
curr = thread_current();
+ model->check_current_action();
if (curr) {
if (curr->state == THREAD_READY)
model->scheduler->add_thread(curr);