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.
6		Testing method not yet figured out.
7		YES
8		WON'T test. No way to interrupt the pthread_kill() call.
