In specs involving multiple buffers assumed to be mutually disjoint, we should use ALLPAIRS nonoverlapping instead of explicitly spelling out the quadratic number of nonoverlapping cases. This expresses the intent more clearly and makes it easier to spot if there are some deviations (deliberate or not).
In specs involving multiple buffers assumed to be mutually disjoint, we should use
ALLPAIRS nonoverlappinginstead of explicitly spelling out the quadratic number ofnonoverlappingcases. This expresses the intent more clearly and makes it easier to spot if there are some deviations (deliberate or not).