From 8fecd5d2f3d65a38efd01f537948a717171d7e08 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 26 Apr 2012 23:35:44 -0700 Subject: [PATCH] model: fixup thread ID selection --- model.cc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/model.cc b/model.cc index f1bc320..3d41a2e 100644 --- a/model.cc +++ b/model.cc @@ -4,12 +4,14 @@ #include "schedule.h" #include "common.h" +#define INITIAL_THREAD_ID 0 + ModelChecker *model; ModelChecker::ModelChecker() { - /* First thread created (system_thread) will have id 1 */ - this->used_thread_id = 0; + /* First thread created will have id (INITIAL_THREAD_ID + 1) */ + this->used_thread_id = INITIAL_THREAD_ID; /* Initialize default scheduler */ this->scheduler = new Scheduler(); @@ -41,7 +43,7 @@ void ModelChecker::reset_to_initial_state() action_trace = new action_list_t(); currentNode = rootNode; current_action = NULL; - used_thread_id = 1; // ? + used_thread_id = INITIAL_THREAD_ID; /* scheduler reset ? */ } -- 2.34.1