fix scheduling stuff to get nice round robin scheduler behavior...

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index ae3788945c7756881178b1657bb215cf5a71901a..7fdc824669588e216017846490751e14d69337eb 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -282,6 +282,8 @@ Thread * ModelChecker::get_next_thread(ModelAction *curr)
                                earliest_diverge = prevnode->get_action();
                        }
                }
                                earliest_diverge = prevnode->get_action();
                        }
                }

+               /* Start the round robin scheduler from this thread id */
+               scheduler->set_scheduler_thread(tid);

                /* The correct sleep set is in the parent node. */
                execute_sleep_set();
 
                /* The correct sleep set is in the parent node. */
                execute_sleep_set();