Home | History | Annotate | Download | only in Scalar

Lines Matching full:precondition

97       // one function changed, we know that the precondition is satisfied.
2576          "precondition!");