Home | History | Annotate | Download | only in Utils

Lines Matching full:precondition

2209       // only given the branch precondition.