CVS difference for acats/docs/ug-614.htm
--- acats/docs/ug-614.htm 2016/05/27 03:52:21 1.1
+++ acats/docs/ug-614.htm 2016/06/30 05:29:50 1.2
@@ -67,7 +67,7 @@
<div class="Indented4MediumHanging-Term">-Specs_Optional</div><div class="Indented4MediumHanging-Body"><br clear="left">
Compiling of specifications is optional. Use for source-based compilers
(such as the commonly used GNAT compiler) that don't compile specifications
-in normal operation.) Compilation of bodies, instances, and so on are
+in normal operation. Compilation of bodies, instances, and so on are
checked.</div>
<div class="Indented4MediumHanging-Term">-Check_All_Compiles</div><div class="Indented4MediumHanging-Body"><br clear="left">
All compilations are checked and must be present (unless processing the
@@ -88,14 +88,14 @@
detected. This is the default.</div>
<div class="Indented4MediumHanging-Term">-No_Positions</div><div class="Indented4MediumHanging-Body"><br clear="left">
Use only line information when checking whether errors are appropriately
-detected. Use this optionif the event trace doesn't have position information.
+detected. Use this option if the event trace doesn't have position information.
It is acceptable to use this option for formal conformity assessments.</div>
<div class="Indented4MediumHanging-Term">-Quiet</div><div class="Indented4MediumHanging-Body">
Produce minimal information: a list of failed tests and the summary report.</div>
<div class="Indented4MediumHanging-Term">-Verbose</div><div class="Indented4MediumHanging-Body">
Produce information about every test processed (including passed tests),
-along with the summary report. In this mode, we also produce a warning
-for multiple messages for one error tag.</div>
+along with the summary report. In this mode, the grading tool also produces
+a warning for multiple messages for one error tag.</div>
<div class="Indented4MediumHanging-Term">-Normal</div><div class="Indented4MediumHanging-Body">
Produce details about each failed test, along with the summary report.
This is the default. </div>
@@ -106,7 +106,7 @@
-No_Time_Stamps can be given.</div>
<div class="Normal">An annotated example using the grading tool is given
in subclause <A HREF="UG-612.HTM">6.1.2</A>, “<A HREF="UG-612.HTM">Annotated
-Grading Tool Example</A>”. This example explains the output of
+Grading Tool Example</A>”. That example explains the output of
the grading tool.</div>
<HR>
Questions? Ask the ACAA Technical Agent