Lines Matching full:precondition
1143 tl_assert(VG_(sizeUniqueBag)(lk->heldBy) == 1); /* from precondition */
