CVS difference for acats/docs/ug-2.htm

Differences between 1.5 and version 1.6
Log of other versions for file acats/docs/ug-2.htm

--- acats/docs/ug-2.htm	2014/08/29 05:17:04	1.5
+++ acats/docs/ug-2.htm	2016/05/27 03:52:20	1.6
@@ -2,7 +2,7 @@
 "http://www.w3.org/TR/html4/loose.dtd">
 <HTML>
 <HEAD>
-    <TITLE>Changes for ACATS 4.0</TITLE>
+    <TITLE>Changes for ACATS 4.1</TITLE>
     <META http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
     <META NAME="Author" CONTENT="JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor">
     <META NAME="GENERATOR" CONTENT="Arm_Form.Exe, Ada Reference Manual generator">
@@ -12,11 +12,13 @@
     SPAN.roman {font-family: "Times New Roman", Times, serif}
     TT {font-family: "Courier New", monospace}
     DT {display: compact}
+    A.Bar:link {font-family: Arial, Helvetica, sans-serif; font-style: normal; text-decoration: none; color: rgb(204,204,51)}
+    A.Bar:visited {font-family: Arial, Helvetica, sans-serif; font-style: normal; text-decoration: none; color: rgb(204,204,51)}
     DIV.Normal {font-family: "Times New Roman", Times, serif; line-height: 122%; margin-bottom: 0.6em}
     </STYLE>
 </HEAD>
 <BODY TEXT="#000000" BGCOLOR="#FFFFE8" LINK="#0000FF" VLINK="#800080" ALINK="#FF0000">
-<DIV><SPAN Style="font-size:200%; color: rgb(0,0,153)"><B>ACATS 4.0 User's Guide</B></SPAN></DIV>
+<DIV><SPAN Style="font-size:200%; color: rgb(0,0,153)"><B>ACATS 4.1 User's Guide</B></SPAN></DIV>
 <DIV Class="Normal"><I><B><A HREF="UG-TTL.HTM">Title Page</A></B></I></DIV>
 <div style="margin-top: 0.6em; margin-bottom: 0.0em"><A HREF="UG-TOC.HTM"><IMG SRC="CONT.GIF" ALT="Contents" BORDER=0></A>&nbsp;
 &nbsp;<A HREF="UG-02.HTM"><IMG SRC="INDEX.GIF" ALT="Index" BORDER=0></A>&nbsp;
@@ -25,18 +27,25 @@
 &nbsp;<A HREF="UG-3.HTM"><IMG SRC="NEXT.GIF" ALT="Next" BORDER=0></A>&nbsp;
 </div>
 <HR>
-<H1>Section 2: Changes for ACATS 4.0</H1>
-<div class="Normal">Version 4.0 of the ACATS updates version 3.1 with 
+<H1>Section 2: Changes for ACATS 4.1</H1>
+<div class="Normal">Version 4.1 of the ACATS updates version 4.0 with 
 additional tests for features defined in <A HREF="UG-01.HTM#Ada2012">[Ada2012]</A>. 
-It includes more than 110 new tests to check features including Ada.Containers, 
-aspect specification notation, conditional expressions, pre- and postconditions, 
-subtype predicates, new iterator forms, user-defined references and indexing, 
-and formal incomplete types.</div>
-<div class="Normal">In addition, 35 additional tests were corrected or 
+It includes 134 new tests to check features including type invariants, 
+subtype predicates, extended return statements, new iterator forms, array 
+aggregates, generalized indexing, conditional expressions, aspect specifications, 
+unchecked unions, Ada.Directories, Ada.Generic_Dispatching_Constructor, 
+Ada.Environment_Variables, Ada.Text_IO.Bounded_IO and Unbounded_IO, and 
+Ada.Containers.</div>
+<div class="Normal">In addition, 16 additional tests were corrected or 
 removed in to reflect changes in Ada reflected by <A HREF="UG-01.HTM#Ada2012">[Ada2012]</A>, 
 as well as in response to test disputes and ARG issue resolutions.</div>
+<div class="Normal">Finally, ACATS 4.1 introduces a tool to simplify 
+and mostly automate test grading (see <A HREF="UG-6.HTM">6</A>, &ldquo;<A HREF="UG-6.HTM">ACATS 
+Grading using the Grading Tool</A>&rdquo;). This tool and a supporting 
+tool are provided in 6 Ada source files.</div>
 <div class="Normal">See <A HREF="UG-A.HTM">Annex A</A>, &ldquo;<A HREF="UG-A.HTM">Version 
-Description</A>&rdquo; for lists of added, deleted and modified tests.</div>
+Description</A>&rdquo; for lists of added, deleted and modified tests, 
+documentation, and support files.</div>
 
 <HR>
 <div style="margin-top: 0.0em; margin-bottom: 0.6em"><A HREF="UG-TOC.HTM"><IMG SRC="CONT.GIF" ALT="Contents" BORDER=0></A>&nbsp;

Questions? Ask the ACAA Technical Agent