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
   9 extern struct model_checker *model;
  10
  11 void model_checker_init(void);
  12 void model_checker_add_system_thread(struct thread *t);
  13
  14 #endif /* __MODEL_H__ */