Lines Matching full:invariant
885 // (ie app launch) ping scenarios. The invariant is that each type of ping
