1This file defines the coverage for Semaphore functional tests. 2 3Assertion Covered? 41 YES 52 YES 63 YES 74 YES 85 YES 9