projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
assert bugs through common interface
[c11tester.git]
/
datarace.cc
diff --git
a/datarace.cc
b/datarace.cc
index ac364d79f83976196fb3ac14695bffbcb0c79433..c29213308cf2713ba3c1dd2d39c5c751bce31a2b 100644
(file)
--- a/
datarace.cc
+++ b/
datarace.cc
@@
-102,10
+102,8
@@
static void reportDataRace(thread_id_t oldthread, modelclock_t oldclock, bool is
unrealizedraces.push_back(race);
/* If the race is realized, bail out now. */
unrealizedraces.push_back(race);
/* If the race is realized, bail out now. */
- if (checkDataRaces()) {
- model->set_assert();
- model->switch_to_master(NULL);
- }
+ if (checkDataRaces())
+ model->assert_bug("Datarace", true);
}
/** This function goes through the list of unrealized data races,
}
/** This function goes through the list of unrealized data races,