Why do we want to print races, etc., when exiting due to execution
length bound? If you want that, just enable debug prints.
pending_rel_seqs->size());
pending_rel_seqs->size());
- if (isfinalfeasible() || (params.bound != 0 && priv->used_sequence_numbers > params.bound ) || DBG_ENABLED() ) {
+ if (isfinalfeasible() || DBG_ENABLED()) {
checkDataRaces();
print_summary();
}
checkDataRaces();
print_summary();
}