if (is_deadlocked())
assert_bug("Deadlock detected");
- print_bugs();
checkDataRaces();
+ print_bugs();
printf("\n");
print_stats();
print_summary();
}
/* See if we have realized a data race */
- if (checkDataRaces())
- assert_bug("Data race");
+ checkDataRaces();
}
/**
}
// If we resolved promises or data races, see if we have realized a data race.
- if (checkDataRaces())
- assert_bug("Data race");
+ checkDataRaces();
return updated;
}