datarace: simplify raceCheck{Read,Write}() function interfaces

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index afb72b0aae490bda4a0464bb04837b380d81f4ca..c0f81ea077c25caf442a6c8117a29158f9adcc7a 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -199,11 +199,6 @@ modelclock_t ModelChecker::get_next_seq_num()
        return ++priv->used_sequence_numbers;
 }
 
-Node * ModelChecker::get_curr_node() const
-{
-       return node_stack->get_head();
-}
-
 /**
  * @brief Select the next thread to execute based on the curren action
  *
@@ -246,7 +241,7 @@ Thread * ModelChecker::get_next_thread()
         * scheduler decide
         */
        if (diverge == NULL)
-               return scheduler->select_next_thread();
+               return scheduler->select_next_thread(node_stack->get_head());
 
        /* Else, we are trying to replay an execution */
        ModelAction *next = node_stack->get_next()->get_action();