| This document defines the coverage for the pthread_mutexattr_destroy function: | |
| Assertion Tested? | |
| 1 YES | |
| 2 YES | |
| 3 YES | |
| 4 YES ** Keeping in mind it 'may' fail and not 'shall' fail, | |
| so it will always return PASS, but will return a | |
| PASS and print out a warning if it fails. | |
| Note: |