fix norris bugs

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 7181f86977688054159da03d0c3a7921ce23c958..2fa54d6e9ba1e76be577ec0625f6138ee7d1c5d4 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -383,6 +383,10 @@ void ModelChecker::set_backtracking(ModelAction *act)
        for(int i = low_tid; i < high_tid; i++) {
                thread_id_t tid = int_to_id(i);
 
+               /* Make sure this thread can be enabled here. */
+               if (i >= node->get_num_threads())
+                       break;
+
                /* Don't backtrack into a point where the thread is disabled or sleeping. */
                if (node->get_enabled_array()[i]!=THREAD_ENABLED)
                        continue;