6 struct model_checker *model;
8 void model_checker_add_system_thread(struct thread *t)
10 model->system_thread = t;
13 void model_checker_init(void)
15 model = malloc(sizeof(*model));
16 memset(model, 0, sizeof(*model));
18 /* First thread created (system_thread) will have id 1 */
19 model->used_thread_id = 0;
21 scheduler_init(model);
24 void model_checker_exit(void)
26 struct scheduler *sched = model->scheduler;
34 void model_checker_assign_id(struct thread *t)
36 t->id = ++model->used_thread_id;