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