Open sadrabt opened 4 months ago
pred is returning procedure b instead of pred(b)
From final def pred(b: Procedure): Set[Procedure] = b.incomingCalls().map(_.target).toSet to final def pred(b: Procedure): Set[Procedure] = b.incomingCalls().map(_.parent.parent).toSet
final def pred(b: Procedure): Set[Procedure] = b.incomingCalls().map(_.target).toSet
final def pred(b: Procedure): Set[Procedure] = b.incomingCalls().map(_.parent.parent).toSet
pred is returning procedure b instead of pred(b)
From
final def pred(b: Procedure): Set[Procedure] = b.incomingCalls().map(_.target).toSet
tofinal def pred(b: Procedure): Set[Procedure] = b.incomingCalls().map(_.parent.parent).toSet