X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.cc;h=bdfade358e60595d1157e94cd2fcd0b5a18d0b86;hb=f3ad375fcfeb5e6d091029f15112f9d713f522d0;hp=8d913c708e80677a4817ae297a5aa66153ff544e;hpb=122aad1259a2df612ad39c640551be8da9cb26b9;p=c11tester.git

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