X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=datarace.cc;h=bdfade358e60595d1157e94cd2fcd0b5a18d0b86;hb=2ada1a461101f16a0be8ba75200c8ae4f9ff9d84;hp=8d913c708e80677a4817ae297a5aa66153ff544e;hpb=122aad1259a2df612ad39c640551be8da9cb26b9;p=model-checker.git

diff --git a/datarace.cc b/datarace.cc
index 8d913c7..bdfade3 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);
 }
 
 /**