This document explains why certain assertions were not tested.

Assertions not listed here should be covered by the tests in this directory.


Assertions     Tested ?	   Remarks
1	       NO
2	       YES
3	       NO	   Only page mapped by mmap() are tested
4	       NO
5	       NO	   Implementation-defined
6	       NO
7	       YES
8	       YES
9	       YES
10	       NO
11	       NO	   Unspecified
12	       NO
13	       YES
14	       YES	   May assertion
15	       YES	   May assertion