projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1f9c3f1
)
fix merge issue
author
Brian Demsky
<bdemsky@uci.edu>
Mon, 22 Jul 2019 23:35:21 +0000
(16:35 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Mon, 22 Jul 2019 23:35:21 +0000
(16:35 -0700)
datarace.h
patch
|
blob
|
history
model.cc
patch
|
blob
|
history
diff --git
a/datarace.h
b/datarace.h
index
c78f5a4
..
2de2a33
100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-46,7
+46,6
@@
void initRaceDetector();
void raceCheckWrite(thread_id_t thread, void *location);
void raceCheckRead(thread_id_t thread, const void *location);
void recordWrite(thread_id_t thread, void *location);
-bool checkDataRaces();
void assert_race(struct DataRace *race);
bool hasNonAtomicStore(const void *location);
void setAtomicStoreFlag(const void *location);
diff --git
a/model.cc
b/model.cc
index
17cba12
..
cfbc3b8
100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-266,7
+266,6
@@
bool ModelChecker::next_execution()
if (execution->is_deadlocked())
assert_bug("Deadlock detected");
- checkDataRaces();
run_trace_analyses();
}