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 YES 8 2 YES 9 3 YES 10