This document defines the coverage for the pthread_mutex_timedlock function: Assertion Tested? 1 YES 2 YES 3 NO 4 YES 5 YES NOTE: