From 3133d403d1abd0ac735b4d4662708fcef1cb5d5f Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 16 Nov 2012 13:59:03 -0800 Subject: [PATCH] datarace: change "Datarace" to "Data race" --- datarace.cc | 4 ++-- model.cc | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/datarace.cc b/datarace.cc index c292133..448929b 100644 --- a/datarace.cc +++ b/datarace.cc @@ -103,7 +103,7 @@ static void reportDataRace(thread_id_t oldthread, modelclock_t oldclock, bool is /* If the race is realized, bail out now. */ if (checkDataRaces()) - model->assert_bug("Datarace", true); + model->assert_bug("Data race", true); } /** This function goes through the list of unrealized data races, @@ -136,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); diff --git a/model.cc b/model.cc index a6804b6..ab16bf8 100644 --- a/model.cc +++ b/model.cc @@ -918,7 +918,7 @@ void ModelChecker::process_relseq_fixup(ModelAction *curr, work_queue_t *work_qu /* See if we have realized a data race */ if (checkDataRaces()) - assert_bug("Datarace"); + assert_bug("Data race"); } /** @@ -1850,7 +1850,7 @@ bool ModelChecker::resolve_release_sequences(void *location, work_queue_t *work_ // If we resolved promises or data races, see if we have realized a data race. if (checkDataRaces()) - assert_bug("Datarace"); + assert_bug("Data race"); return updated; } -- 2.34.1