This file defines the coverage for Semaphore stress tests.

Assertion	Covered?
1		YES