projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
schedule: rename get_enabled() -> get_enabled_array()
[c11tester.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index da68074240d9ea2b416b40665ef7843d2c7df7ae..700f25c017b1d44aa310eee2f4518c7e051abf1c 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-1000,7
+1000,7
@@
bool ModelChecker::initialize_curr_action(ModelAction **curr)
(*curr)->set_seq_number(get_next_seq_num());
(*curr)->set_seq_number(get_next_seq_num());
- newcurr = node_stack->explore_action(*curr, scheduler->get_enabled());
+ newcurr = node_stack->explore_action(*curr, scheduler->get_enabled
_array
());
if (newcurr) {
/* First restore type and order in case of RMW operation */
if ((*curr)->is_rmwr())
if (newcurr) {
/* First restore type and order in case of RMW operation */
if ((*curr)->is_rmwr())