schedule: add replaceable scheduler struct

[model-checker.git] / model.h

#ifndef __MODEL_H__
#define __MODEL_H__

struct model_checker {
        struct scheduler *scheduler;
};

#endif /* __MODEL_H__ */