This document defines the coverage for the pthread_rwlock_rdlock() function:

Assertion	Tested?
1		YES
2		YES ** Need support of Threads Execution Scheduling
3		NO: ** Need support of SCHED_SPORADIC
4		YES
5		YES
6		YES

NOTE: