X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.cc;h=41bfbe0eaa5679d77faa111502833205c936e540;hb=133e215362162a6146b51fe9ac4eec749cc3c6c5;hp=af70041b231fbccbba9f109a8c4b282267e4a022;hpb=3a4e118d45bf83a3b4c3a0a73d1071fa8fe5476d;p=model-checker.git

diff --git a/datarace.cc b/datarace.cc
index af70041..41bfbe0 100644
--- a/datarace.cc
+++ b/datarace.cc
@@ -8,9 +8,10 @@
 #include "config.h"
 #include "action.h"
 #include "execution.h"
+#include "stl-model.h"
 
 static struct ShadowTable *root;
-SnapVector<struct DataRace *> unrealizedraces;
+static SnapVector<DataRace *> unrealizedraces;
 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);
 }
+
+bool haveUnrealizedRaces()
+{
+	return !unrealizedraces.empty();
+}