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 YES May assertion 9 3 NO 10 4 NO 11 5 NO 12 6 NO Unspecified 13 7 YES 14 8 NO 15 9 YES 16 10 YES 17 11 YES May assertion 18 19
