projects / c11tester.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
model: add stub model.[hc] files
[c11tester.git] / model.h
1 #ifndef __MODEL_H__
2 #define __MODEL_H__
3
4 struct model_checker {
5 };
6
7 #endif /* __MODEL_H__ */
C11 Tester Tool Public Repository