8 ModelChecker::ModelChecker()
10 /* First thread created (system_thread) will have id 1 */
11 this->used_thread_id = 0;
16 ModelChecker::~ModelChecker()
18 struct scheduler *sched = model->scheduler;
25 void ModelChecker::assign_id(struct thread *t)
27 t->id = ++this->used_thread_id;
30 void ModelChecker::add_system_thread(struct thread *t)
32 model->system_thread = t;