datarace: change "Datarace" to "Data race"

[model-checker.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index ac364d79f83976196fb3ac14695bffbcb0c79433..448929b295641d7546cdcdbf7524ae69b206b43f 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. */
-       if (checkDataRaces()) {
-               model->set_assert();
-               model->switch_to_master(NULL);
-       }
+       if (checkDataRaces())
+               model->assert_bug("Data race", true);
 }
 
 /** This function goes through the list of unrealized data races,
@@ -138,7 +136,7 @@ bool checkDataRaces() {
 
 void printRace(struct DataRace *race)
 {
-       printf("Datarace detected @ address %p:\n", race->address);
+       printf("Data race detected @ address %p:\n", race->address);
        printf("    Access 1: %5s in thread %2d @ clock %3u\n",
                        race->isoldwrite ? "write" : "read",
                        id_to_int(race->oldthread), race->oldclock);