allow the fuzzer to continue if only a few data races are detected

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 22e473f50b981d41fc2cdcb3bf529b5ca30f4eef..ef9d679d56b3df6f937ec1243e92f95a344c2af6 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -158,7 +158,7 @@ bool checkDataRaces()
  */
 void assert_race(struct DataRace *race)
 {
-       model->assert_bug(
+       model->assert_race(
                "Data race detected @ address %p:\n"
                "    Access 1: %5s in thread %2d @ clock %3u\n"
                "    Access 2: %5s in thread %2d @ clock %3u",
@@ -169,7 +169,7 @@ void assert_race(struct DataRace *race)
                race->isnewwrite ? "write" : "read",
                id_to_int(race->newaction->get_tid()),
                race->newaction->get_seq_number()
-               );
+       );
 }
 
 /** This function does race detection for a write on an expanded record. */