EPRecord *join=(*joinvec)[i];
ExecPoint *jp=join->getEP();
if (jp->get_tid()==thr2 &&
- jp->compare(ep2)==CR_AFTER)
+ jp->compare(ep2)==CR_AFTER &&
+ join->getJoinThread() == thr1)
return true;
}
return false;
Constraint *l2=getRetValueEncoding(r, constval);
Constraint *functionimplication2=new Constraint(IMPLIES, outputtrue, l2);
ADDCONSTRAINT(functionimplication2,"equalsimpl");
+ return;
}
IntIterator *iit=record->getSet(VC_BASEINDEX)->iterator();