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