model: fixup thread ID selection

diff --git a/model.cc b/model.cc
index f1bc320b417e7c7f0938a73d50eff20b2a6b7301..3d41a2eaee664208e19013df322336d03aa9b288 100644 (file)
--- 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 ? */
 }