This file defines the coverage for the kill() function testing.

Assertion	Status
1		YES
2		YES
3		YES
4		IMPLICITLY tested by assertions 6 and 7.
5		IMPLICITLY tested by assertions 6 and 7.
7		YES
8		WON'T test. No way to interrupt the pthread_kill() call.