This document defines the coverage for the pthread_condattr_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:
