-
- ModelChecker *model;
-
- struct model_params * params;
-
- /** The scheduler to use: tracks the running/ready Threads */
- Scheduler * const scheduler;
-
- bool mo_may_allow(const ModelAction *writer, const ModelAction *reader);
- void set_bad_synchronization();
- bool should_wake_up(const ModelAction *curr, const Thread *thread) const;
- void wake_up_sleeping_actions(ModelAction *curr);