Home | History | Annotate | Download | only in phone

Lines Matching full:weaker

1434             // is the weaker precondition