remove another field

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index e9f34da5afb6efee11813ace8ba17d099e8d1c58..9bf9764184c553bdda9a83e983734cf04325b3d6 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -103,22 +103,6 @@ Thread * ModelChecker::get_next_thread()
        return scheduler->select_next_thread(node_stack->get_head());
 }
 
        return scheduler->select_next_thread(node_stack->get_head());
 }
 

-/**
- * We need to know what the next actions of all threads in the sleep
- * set will be.  This method computes them and stores the actions at
- * the corresponding thread object's pending action.
- */
-void ModelChecker::execute_sleep_set()
-{
-       for (unsigned int i = 0; i < get_num_threads(); i++) {
-               thread_id_t tid = int_to_id(i);
-               Thread *thr = get_thread(tid);
-               if (scheduler->is_sleep_set(thr) && thr->get_pending()) {
-                       thr->get_pending()->set_sleep_flag();
-               }
-       }
-}
-

 /**
  * @brief Assert a bug in the executing program.
  *
 /**
  * @brief Assert a bug in the executing program.
  *