Home | History | Annotate | Download | only in Analysis

Lines Matching full:precondition

1304   // 3. Loop precondition.