unrealizedraces.push_back(race);
/* If the race is realized, bail out now. */
- if (checkDataRaces()) {
- model->set_assert();
- model->switch_to_master(NULL);
- }
+ if (checkDataRaces())
+ model->assert_bug("Datarace", true);
}
/** This function goes through the list of unrealized data races,