From 21f8ca7067d5d6810ea819a183ea50f863c17752 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 19 Nov 2012 20:40:30 -0800 Subject: [PATCH] schedule: rename get_enabled() -> get_enabled_array() This function actually returns the array, not a single "enabled" status. (There's a separate get_enabled() method for getting a single status.) --- model.cc | 2 +- schedule.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/model.cc b/model.cc index da680742..700f25c0 100644 --- 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()); - 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()) diff --git a/schedule.h b/schedule.h index da91fddf..98aef1a7 100644 --- a/schedule.h +++ b/schedule.h @@ -30,7 +30,7 @@ public: Thread * next_thread(Thread *t); Thread * get_current_thread() const; void print() const; - enabled_type_t * get_enabled() { return enabled; }; + enabled_type_t * get_enabled_array() { return enabled; }; void remove_sleep(Thread *t); void add_sleep(Thread *t); enabled_type_t get_enabled(Thread *t); -- 2.34.1