projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Annotation Support
[model-checker.git]
/
datarace.h
diff --git
a/datarace.h
b/datarace.h
index 89db3335998db371dc3ecced1a840086ac4fa9e6..737a6d6e99a915a06d2f21d9f6a521a5ad126e03 100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-2,7
+2,9
@@
* @brief Data race detection code.
*/
* @brief Data race detection code.
*/
-#ifndef DATARACE_H
+#ifndef __DATARACE_H__
+#define __DATARACE_H__
+
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
@@
-88,4
+90,5
@@
struct RaceRecord {
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
-#endif
+
+#endif /* __DATARACE_H__ */