this file defines the coverage for the aio_read() function testing.

Assertion	Covered?
1		YES
2		NO
3		YES
4		YES
5		YES
6		YES
7		YES
8		YES
9		YES
10		YES
11		YES
12		NO
13		NO
14		NO
15		YES