Home | History | Annotate | Download | only in Utils

Lines Matching full:precondition

2232       // only given the branch precondition.