bool ReversibleRaceCalculator::is_race_reversible_MutexWait(const Execution& E, Execution::EventHandle e1,
const Transition* /*e2*/)
{
- // TODO: for now we over approximate the reversibility
-
- return true;
+ // Only an Unlock can be dependent with a Wait
+ // and in this case, the Unlock enbaled the wait
+ // Not reversibled
+ return false;
}
bool ReversibleRaceCalculator::is_race_reversible_SemAsyncLock(const Execution&, Execution::EventHandle /*e1*/,