1 This document explains why certain assertions were not tested. 2 3 Assertions not listed here should be covered by the tests in this directory. 4 5 6 Assertions Tested ? Remarks 7 1 NO 8 2 NO 9 3 NO 10 4 NO Unspecified 11 5 YES 12 6 YES 13 14
