model.h

   1 #ifndef __MODEL_H__
   2 #define __MODEL_H__
   3
   4 struct model_checker {
   5         struct scheduler *scheduler;
   6 };
   7
   8 extern struct model_checker *model;
   9
  10 void model_checker_init(void);
  11
  12 #endif /* __MODEL_H__ */