1 This document defines the coverage for the pthread_mutex_unlock function: 2 3 Assertion Tested? 4 1 YES 5 2 YES * Because the default scheduling policy is implementation 6 dependent, the case only will only demo the scheduling 7 sequence instead of testing it. 8 3 YES 9 4 NO * The related error codes are all implementation dependent 10 * Keeping in mind it 'may' fail and not 'shall' fail, 11 so it will always return PASS, but will return a 12 PASS and print out a warning if it fails. 13 5 YES 14 15 NOTE: 16