Home | History | Annotate | Download | only in phone

Lines Matching full:precondition

1535             // is the weaker precondition