model: add read-acquire/fence-release support

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 8d913c708e80677a4817ae297a5aa66153ff544e..bdfade358e60595d1157e94cd2fcd0b5a18d0b86 100644 (file)
--- 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("Data race", true);
+               model->switch_to_master(NULL);
 }
 
 /**