projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: privatize ModelChecker::get_num_threads()
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index bfcf11ff6dafb0f525b92b202e5401b5f3ce046f..80bf5c41bf1d1721e20ad7d6d38fe7f141ed869f 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-803,7
+803,7
@@
ModelAction * NodeStack::explore_action(ModelAction *act, enabled_type_t *is_ena
prevfairness = node_list[head_idx - model->params.fairwindow];
}
prevfairness = node_list[head_idx - model->params.fairwindow];
}
- int next_threads =
model
->get_num_threads();
+ int next_threads =
execution
->get_num_threads();
if (act->get_type() == THREAD_CREATE)
next_threads++;
node_list.push_back(new Node(act, head, next_threads, prevfairness));
if (act->get_type() == THREAD_CREATE)
next_threads++;
node_list.push_back(new Node(act, head, next_threads, prevfairness));