model.h

   1 #ifndef __MODEL_H__
   2 #define __MODEL_H__
   3
   4 struct model_checker {
   5         struct scheduler *scheduler;
   6 };
   7
   8 #endif /* __MODEL_H__ */