Home | History | Annotate | Download | only in phone

Lines Matching full:precondition

1434             // is the weaker precondition