Home | History | Annotate | Download | only in Analysis

Lines Matching full:precondition

1300   // 3. Loop precondition.