ecification. The results are broken into two parts: those for which automated testing has been implemented, and
      those for which it has not and manual testing and reporting was necessary.
    </p>
    <p>The headers for these tables are described as follows:</p>
    <ul>
      <li>
        The <b>ID</b> column uniquely identifies the assertion. and links to the assertion in the context of the
        specification.
      </li>
      <li>The <b>Category</b> column groups assertions by function.</li>
   