Home | History | Annotate | Download | only in lib

Lines Matching full:precondition

2687 /* Precondition: all arguments must be non-NULL;