projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
check in insane test case...
[model-checker.git]
/
datarace.h
diff --git
a/datarace.h
b/datarace.h
index d1f91b2057e2f98834f633766a71963dfa632187..7c24b6d56c1b400a311b0eaae5ef32e9ad0e8c31 100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-5,8
+5,8
@@
#ifndef DATARACE_H
#include "config.h"
#include <stdint.h>
#ifndef DATARACE_H
#include "config.h"
#include <stdint.h>
-#include <vector>
#include "modeltypes.h"
#include "modeltypes.h"
+#include "stl-model.h"
/* Forward declaration */
class ClockVector;
/* Forward declaration */
class ClockVector;
@@
-47,7
+47,7
@@
void raceCheckRead(thread_id_t thread, const void *location, ClockVector *currCl
bool checkDataRaces();
void assert_race(struct DataRace *race);
bool checkDataRaces();
void assert_race(struct DataRace *race);
-extern
std::v
ector<struct DataRace *> unrealizedraces;
+extern
SnapV
ector<struct DataRace *> unrealizedraces;
/** Basic encoding idea:
* (void *) Either:
/** Basic encoding idea:
* (void *) Either: