This document defines the coverage for function timer_getoverrun().

Assertion	Covered?
1		YES
2		YES
3		WON'T
4		YES
5		YES

WON'T TEST
3-1 - This test does not appear to be possible to test in a reasonable
      amount of time (= a few minutes) due to the large size of
      DELAYTIMER_MAX.  [Note to self:  DELAYTIMER_MAX is defined in
      limits.h.]

