1This document defines the coverage for the pthread_cond_wait function:
2
3Assertion	Tested?
41		YES
52		YES
63		YES
74		NO   * When it specifies it 'may' fail and not 'shall' fail,
8		       it will always return PASS, but will return a 
9		       PASS and print out a warning if it fails.
10NOTE:
11