projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
datarace: don't export unrealized race vector
[model-checker.git]
/
datarace.cc
diff --git
a/datarace.cc
b/datarace.cc
index af70041b231fbccbba9f109a8c4b282267e4a022..41bfbe0eaa5679d77faa111502833205c936e540 100644
(file)
--- a/
datarace.cc
+++ b/
datarace.cc
@@
-8,9
+8,10
@@
#include "config.h"
#include "action.h"
#include "execution.h"
#include "config.h"
#include "action.h"
#include "execution.h"
+#include "stl-model.h"
static struct ShadowTable *root;
static struct ShadowTable *root;
-
SnapVector<struct
DataRace *> unrealizedraces;
+
static SnapVector<
DataRace *> unrealizedraces;
static void *memory_base;
static void *memory_top;
static void *memory_base;
static void *memory_top;
@@
-354,3
+355,8
@@
void raceCheckRead(thread_id_t thread, const void *location)
*shadow = ENCODEOP(threadid, ourClock, id_to_int(writeThread), writeClock);
}
*shadow = ENCODEOP(threadid, ourClock, id_to_int(writeThread), writeClock);
}
+
+bool haveUnrealizedRaces()
+{
+ return !unrealizedraces.empty();
+}