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