* @brief Data race detection code.
*/
-#ifndef DATARACE_H
+#ifndef __DATARACE_H__
+#define __DATARACE_H__
+
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
-#include "stl-model.h"
/* Forward declaration */
-class ClockVector;
class ModelAction;
struct ShadowTable {
void raceCheckRead(thread_id_t thread, const void *location);
bool checkDataRaces();
void assert_race(struct DataRace *race);
-
-extern SnapVector<struct DataRace *> unrealizedraces;
+bool haveUnrealizedRaces();
/**
* @brief A record of information for detecting data races
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
-#endif
+
+#endif /* __DATARACE_H__ */