1 This file defines the coverage for Semaphore functional tests. 2 3 Assertion Covered? 4 1 YES 5 2 YES 6 3 YES 7 4 YES 8 5 YES 9