158     uint32_t           t;  in TestTrickleTimerTrickleMode()  local
178     t = timer.GetTimeInInterval();  in TestTrickleTimerTrickleMode()
179     VerifyOrQuit((interval / 2 <= t) && (t <= interval));  in TestTrickleTimerTrickleMode()
189     t = timer.GetTimeInInterval();  in TestTrickleTimerTrickleMode()
190     VerifyOrQuit((interval / 2 <= t) && (t <= interval));  in TestTrickleTimerTrickleMode()
199         AdvanceTime(t);  in TestTrickleTimerTrickleMode()
210         AdvanceTime(interval - t);  in TestTrickleTimerTrickleMode()
219         t        = timer.GetTimeInInterval();  in TestTrickleTimerTrickleMode()
220         VerifyOrQuit((interval / 2 <= t) && (t <= interval));  in TestTrickleTimerTrickleMode()
223     AdvanceTime(t);  in TestTrickleTimerTrickleMode()
242     uint32_t           t;  in TestTrickleTimerMinMaxIntervalChange()  local
262     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
266     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
277     VerifyOrQuit(t == timer.GetTimeInInterval());  in TestTrickleTimerMinMaxIntervalChange()
280     AdvanceTime(t);  in TestTrickleTimerMinMaxIntervalChange()
293     VerifyOrQuit(t == timer.GetTimeInInterval());  in TestTrickleTimerMinMaxIntervalChange()
303     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
307     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
318     VerifyOrQuit(t == timer.GetTimeInInterval());  in TestTrickleTimerMinMaxIntervalChange()
321     AdvanceTime(t);  in TestTrickleTimerMinMaxIntervalChange()
334     VerifyOrQuit(t == timer.GetTimeInInterval());  in TestTrickleTimerMinMaxIntervalChange()
345     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
349     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
359     VerifyOrQuit(t == timer.GetTimeInInterval());  in TestTrickleTimerMinMaxIntervalChange()
362     AdvanceTime(t);  in TestTrickleTimerMinMaxIntervalChange()
373     VerifyOrQuit(t == timer.GetTimeInInterval());  in TestTrickleTimerMinMaxIntervalChange()
392     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
396     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
421     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
425     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
451     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
454     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
460     timer.SetIntervalMax(t + 1);  in TestTrickleTimerMinMaxIntervalChange()
462     VerifyOrQuit(timer.GetInterval() == t + 1);  in TestTrickleTimerMinMaxIntervalChange()
481     t        = timer.GetTimeInInterval();  in TestTrickleTimerMinMaxIntervalChange()
484     VerifyOrQuit((interval / 2 <= t) && (t < interval));  in TestTrickleTimerMinMaxIntervalChange()
487     AdvanceTime(t);  in TestTrickleTimerMinMaxIntervalChange()
490     timer.SetIntervalMax(t + 1);  in TestTrickleTimerMinMaxIntervalChange()
492     VerifyOrQuit(timer.GetInterval() == t + 1);  in TestTrickleTimerMinMaxIntervalChange()