schedule: add replaceable scheduler struct

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 7116d54592575b804f2f90695840335410be4250..73c3d0c0f91ad0e5d246a9bb788adda0f8d76a91 100644 (file)
--- a/model.h
+++ b/model.h
@@ -2,6 +2,7 @@
 #define __MODEL_H__
 
 struct model_checker {
+       struct scheduler *scheduler;
 };
 
 #endif /* __MODEL_H__ */