This file defines the coverage for Semaphore functional tests.

Assertion	Covered?
1		YES
2		YES
3		YES
4	        YES
5		YES