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));
17 scheduler_init(model);
20 void model_checker_exit(void)
22 struct scheduler *sched = model->scheduler;