model.h

   1 #ifndef __MODEL_H__
   2 #define __MODEL_H__
   3
   4 struct model_checker {
   5         struct scheduler *scheduler;
   6         struct thread *system_thread;
   7
   8         /* "Private" fields */
   9         int used_thread_id;
  10 };
  11
  12 extern struct model_checker *model;
  13
  14 void model_checker_init(void);
  15 void model_checker_add_system_thread(struct thread *t);
  16 void model_checker_assign_id(struct thread *t);
  17
  18 #endif /* __MODEL_H__ */