This document defines the coverage for the mq_send() function.

ASSERTION	COVERED?
1		YES
2		YES
3		YES
4		YES
5		YES
6		WON'T - will not test as needs Priority Scheduling to finish
7		YES
8		YES
9		YES
10		YES
11		YES
12		YES
13		YES
14		YES
