bool ModelAction::has_synchronized_with(const ModelAction *act) const
{
- return cv->has_synchronized_with(act->cv);
+ return cv->synchronized_since(act);
}
/**
unsigned int hash=(unsigned int) this->type;
hash^=((unsigned int)this->order)<<3;
hash^=seq_number<<5;
- hash^=tid<<6;
+ hash ^= id_to_int(tid) << 6;
if (is_read()) {
if (reads_from)