Home | History | Annotate | Download | only in phone

Lines Matching full:weaker

1535             // is the weaker precondition