Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getPredecessor

1012     if (!alreadyExecutedAtLeastOneLoopIteration(C.getPredecessor(), FCS))
1023     C.generateSink(C.getState(), C.getPredecessor());