This file defines the coverage for sem_timedwait

ASSERTION	COVERED?
1		YES
2		YES
3		YES
4		YES
5		NO
6		YES
7		YES
8		WON'T  -- couldn't figure out away of doing it.
9		YES
10		YES
11		YES



~