CVS difference for acats/docs/mod_list.txt

Differences between 1.84 and version 1.85
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2017/04/01 03:32:04	1.84
+++ acats/docs/mod_list.txt	2017/08/10 03:16:13	1.85
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1D
-March 31, 2017
+Version 4.1E
+August  9, 2017
 
 
 What is this?
@@ -15,84 +15,32 @@
 Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
 continue to be maintained as necessary for the foreseeable future.
 
-ACATS Modification List version 2.6E for ACATS 2.6 is the current list for that
+ACATS Modification List version 2.6F for ACATS 2.6 is the current list for that
 test suite. ACATS 2.6 should be used for testing implementations of the second
 edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will
 continue to be maintained as necessary for the foreseeable future.
 
 Changes from the last list:
 
-The grading tool was corrected to properly count Annex C RQMT failures in their
-own category (they had accidentally been counted as “NA (Compile)”). The table
-sizes in GRD_DATA.A (part of the grading tool) were increased as the new tests
-added recently have caused them to be exceeded when the entire ACATS is graded
-at once.
-
-New test C350001 checks that the object form of attribute Image is implemented.
-
-Test C352001 had a Failed message that reflected Ada 95 requirements rather than
-the Ada 2005 requirements that are tested for. This is confusing, so it was
-corrected.
-
-New tests B354002 and C354004 test the basic requirements for the Mod attribute.
-
-New tests B35A001 and C35A001 checks that Small can be specified by an aspect
-specification and that the associated Legality Rules are checked.
-
-New test C452002 checks that overloading resolution works as expected for Ada
-2012 membership operations.
-
-New test C453001 checks that modular adding operators wrap around for various
-user-defined and language-defined types.
-
-New test C470001 checks that a qualified expression is a name and can be used in
-places that require a name. New test B470001 checks that a qualified expression
-is a constant view, regardless of what the expression is.
-
-Modified test C480001 so that it didn't have any in out parameters in functions,
-as it is supposed to be valid for both Ada 2005 and Ada 2012.
-
-Tests C611A04 and C611B03 (new last time) had a number of overlong lines
-corrected.
-
-New tests B651001, B651002, B651003, C651001, and C651002 check rules involving
-nonreturning procedures.
-
-Test B74203E used a number of attributes that are not defined in Ada 95, thus
-failing to test the objective. It was replaced by test B730013, which tests
-additional cases including attributes added by Ada 95.
-
-New test BA21005 checks that Pure and Preelaborate aspects are not specified
-late, with a nonstatic value, or with a non-Boolean type.
-
-A number of (very old) tests were withdrawn as their objectives and code are
-nearly identical to other tests. Such tests serve no purpose other than making
-the ACATS take longer to process. The tests in question are:
-     CD1009A has the same objective as one of the objectives of CD2A31C.
-     CD1009B has the same objective as one of the objectives of CD2A21C.
-     CD1009L has the same objective as CD2D13A.
-     CD1009M has the same objective and code layout as CD3014C.
-Tests CD2A21C and CD2A31C were also withdrawn to be replaced by new tests
-CD30011 and CD30012, respectively. The new tests ensure that none of the checks
-of the withdrawn tests are lost, while adding applicability criteria and modern
-formatting.
-
-New test CD30010 checks that aspect specifications can be used to specify
-Component_Size. New tests BD30001, BD30002, and BD30003 check that legality
-rules are enforced for the type forms of aspect Size, Alignment, and
-Component_Size.
-
-New test CXAC009 checks that Stream_IO.File_Type has
-Preelaborable_Initialization.
-
-New tests posted between January 1, 2017 and March 31, 2017 will become required
-for conformity assessments on October 1, 2017. New tests posted between October
-1, 2016 and December 31, 2016 will become required for conformity assessments on
-July 1, 2017. New tests posted between July 1, 2016 and September 30, 2016 will
-become required for conformity assessments on April 1, 2017. New tests posted
-before July 1, 2016 are required for conformity assessments. The effective dates
-of tests are marked in the lists.
+A number of tests changed status on July 1st; see the lists for the details.
 
+Test CDE0002 was modified to use Storage_Size, an aspect that does not have to
+be a static expression. If the aspect requires a static expression, the second
+sentence of 13.14(7.2/3) necessarily applies, so X is illegal as it is frozen
+before it is fully defined.
+
+Test CC3601C was modified to move the declaration of “=” for type Rec directly
+after the type. Otherwise, it violates 4.5.2(9.8/4) by being declared after the
+type is frozen.
+
+New tests posted between July 1, 2017 and September 30, 2017 will become
+required for conformity assessments on April 1, 2018. New tests posted between
+April 1, 2017 and June 30, 2017 will become required for conformity assessments
+on January 1, 2018. New tests posted between January 1, 2017 and March 31, 2017
+will become required for conformity assessments on October 1, 2017. New tests
+posted before January 1, 2017 are required for conformity assessments. The
+effective dates of tests are marked in the lists.
+
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
 
@@ -108,14 +56,32 @@
 acceptable in the days of common formal testing, as the formal testers would
 enforce a common grading standard (even if no one could describe what that was),
 but in an age of self-testing, it reduces the value of the ACATS.
+
+As such, we're introducing a long-overdue set of automated grading tools. These
+tools are intended to:
 
-As such, we're introducing a long-overdue set of automated grading tools. These tools are intended to:
-Greatly reduce the effort to grade an ACATS test run (and, hopefully to reduce the cost of formal testing to make it a more practical option);
-Ensure that all users of the ACATS grade tests in the same way, thus making it more valid to compare ACATS results between different implementations and different testers;
-Give implementers certainty as to whether a particular test result is passing (whether the location of an error is “close enough” to the canonical position);
-Be able to detect process errors (especially errors of omission) – that is, tests improperly run (for instance, files compiled in the wrong order where the ACATS requires an order), or not run at all (if one is checking off lines in a listing, it's hard t
o notice that some test or portion of a test is missing).
-The tools also will optionally give feedback to implementers about quality of error message positioning and of error cascades (does one error generate multiple messages?). (Since “goodness of an implementation” is not something that the ACATS tests for, t
his is not an official goal for the tools.)
+* Greatly reduce the effort to grade an ACATS test run (and, hopefully to reduce
+  the cost of formal testing to make it a more practical option);
 
+* Ensure that all users of the ACATS grade tests in the same way, thus making it
+  more valid to compare ACATS results between different implementations and
+  different testers;
+
+* Give implementers certainty as to whether a particular test result is passing
+  (whether the location of an error is “close enough” to the canonical
+  position);
+
+* Be able to detect process errors (especially errors of omission) – that is,
+  tests improperly run (for instance, files compiled in the wrong order where
+  the ACATS requires an order), or not run at all (if one is checking off lines
+  in a listing, it's hard to notice that some test or portion of a test is
+  missing).
+
+The tools also will optionally give feedback to implementers about quality of
+error message positioning and of error cascades (does one error generate
+multiple messages?). (Since “goodness of an implementation” is not something
+that the ACATS tests for, this is not an official goal for the tools.)
+
 This is an ambitious set of goals. It's unlikely that they'll be completely met
 by the initial versions of the tools. As such, their use will be completely
 optional (but encouraged!) for ACATS 4.1. The tools will be updated periodically
@@ -160,8 +126,8 @@
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the Ada standard as available at
-http://www.adaic.org/resources/add-content/standards/12rm/html/RM-TOC.html.
+These references are to the consolidated Ada standard as available at
+http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TOC.html.
 
 
 
@@ -177,8 +143,7 @@
 			Required after 2017-10-01
 	Check that the object form of the Image attribute is implemented.
 
-C352001 [Allowed Modification] New VCS Label: A4_1D Org VCS Label: A4_1
-			Required after 2017-07-01
+C352001 [Modified] VCS Label: A4_1D
 	Corrected Failed message @267 to reflect intended result.
 
 B354002 [Pending New] New VCS Label: A4_1D
@@ -247,15 +212,13 @@
 	Check that qualified expressions are a name, and thus can be used
 	as a prefix and other places a name is required.
 
-C480001 [New] VCS Label: A4_1A
-	Check that an initialized allocator for a class-wide type does
-	an accessibility check on the tag of the initializing object.
-
-C480001 [Allowed Modification] New VCS Label: A4_1D Org VCS Label: A4_1A
-			Required after 2017-07-01
-	Changed mode to “in” (instead of “in out”) @103 & 144 as those
-	parameters are used in functions, making that an Ada 2012 feature,
-	and this is an Ada 2005 test.
+C480001 [New] VCS Label: A4_1D
+	[VCS Label A4_1A] Check that an initialized allocator for a
+	class-wide type does an accessibility check on the tag of the
+	initializing object.
+	[VCS Label A4_1D] Changed mode to “in” (instead of “in out”) @103
+	& 144 as those parameters are used in functions, making that an
+	Ada 2012 feature, and this is an Ada 2005 test.
 
 C52101A [Modified] VCS Label: A4_1A
 	Corrected comment @49 not to have the form of an error tag.
@@ -264,14 +227,11 @@
 	Check that Pre and Post are only allowed on
 	subprograms and entries (and not on subprogram instances).
 
-B611002 [New] VCS Label: A4_1A
-	Check that Pre and Post are not allowed on
+B611002 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that Pre and Post are not allowed on
 	subprograms acting as completions.
+	[VCS Label A4_1C] Corrected several error location codes.
 
-B611002 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	Corrected several error location codes.
-
 B611003 [New] VCS Label: A4_1A
 	Check that Pre'Class and Post'Class are only allowed on primitive
 	subprograms of tagged types. (Normal tagged types and interfaces.)
@@ -284,14 +244,12 @@
 	Check that Pre and Post are not allowed on
 	abstract subprograms and null procedures.
 
-B611006 [New] VCS Label: A4_1A
-	Check that the restrictions on Pre'Class and
+B611006 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that the restrictions on Pre'Class and
 	Post'Class expressions added by AI12-0113-1 are enforced.
-
-B611006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	Clarified error @208; changed error @233 & @247 to OK (as the
-	inherited Proc4 routine is abstract and thus is not subject to	the new rule).
+	[VCS Label A4_1C] Clarified error @208; changed error @233 & @247
+	to OK (as the inherited Proc4 routine is abstract and thus is not
+	subject to	the new rule).
 
 B611007 [New] VCS Label: A4_1A
 	Check that Pre'Class and Post'Class are not allowed on entries
@@ -327,15 +285,13 @@
 	must statically denote an object.
 	[VCS Label A4_1C] Corrected error location codes @240 and @252.
 
-B611015 [Pending New] New VCS Label: A4_1B
-			Required after 2017-07-01
+B611015 [New] VCS Label: A4_1B
 	Check that the prefix of an Old attribute cannot have a limited
 	type.
 
-B611016 [Pending New] New VCS Label: A4_1B
-			Required after 2017-07-01
+B611016 [New] VCS Label: A4_1B
 	Check that tagged task and tagged protected types do not allow
-	Pre'Class and Post'Class, nor are they allow on operations of
+	Pre'Class and Post'Class, nor are they allowed on operations of
 	those types.
 
 B611017 [Pending New] New VCS Label: A4_1C
@@ -366,25 +322,19 @@
 	Check that preconditions and postconditions where both specific
 	and class-wide contracts apply are checked properly.
 
-C611A02 [New] VCS Label: A4_1A
-	Check that the correct expressions are evaluated for specific
-	preconditions and postconditions, and that they are evaluated
-	at the correct point.
-
-C611A02 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	The main subprogram name was corrected to follow the rules
-	of the ACATS User's Guide, clause 4.3.3.
-
-C611A03 [New] VCS Label: A4_1A
-	Check that the correct expressions are evaluated for class-wide
-	preconditions and postconditions, and that they are evaluated
-	at the correct point.
-
-C611A03 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	The main subprogram name was corrected to follow the rules
-	of the ACATS User's Guide, clause 4.3.3.
+C611A02 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that the correct expressions are evaluated
+	for specific preconditions and postconditions, and that they are
+	evaluated at the correct point.
+	[VCS Label A4_1C] The main subprogram name was corrected to follow
+	the rules of the ACATS User's Guide, clause 4.3.3.
+
+C611A03 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that the correct expressions are evaluated
+	for class-wide preconditions and postconditions, and that they are
+	evaluated at the correct point.
+	[VCS Label A4_1C] The main subprogram name was corrected to follow
+	the rules of the ACATS User's Guide, clause 4.3.3.
 
 C611A04 [Pending New] New VCS Label: A4_1D
 			Required after 2017-10-01
@@ -393,23 +343,17 @@
 	type, and that they are evaluated at the correct point.
 	[VCS Label A4_1D] Fixed too long lines.
 
-C611B01 [New] VCS Label: A4_1A
-	Check that X'Old has the tag of X and not the tag of the nominal
-	subtype of X (for Post).
-
-C611B01 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	The main subprogram name was corrected to follow the rules
-	of the ACATS User's Guide, clause 4.3.3.
-
-C611B02 [New] VCS Label: A4_1A
-	Check that X'Old has the tag of X and not the tag of the nominal
-	subtype of X (for Post'Class).
-
-C611B02 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	The main subprogram name was corrected to follow the rules
-	of the ACATS User's Guide, clause 4.3.3.
+C611B01 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that X'Old has the tag of X and not the
+	tag of the nominal subtype of X (for Post).
+	[VCS Label A4_1C] The main subprogram name was corrected to follow
+	the rules of the ACATS User's Guide, clause 4.3.3.
+
+C611B02 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that X'Old has the tag of X and not the
+	tag of the nominal subtype of X (for Post'Class).
+	[VCS Label A4_1C] The main subprogram name was corrected to follow
+	the rules of the ACATS User's Guide, clause 4.3.3.
 
 C611B03 [Pending New] New  VCS Label: A4_1D
 			Required after 2017-10-01
@@ -428,13 +372,11 @@
 	required (and the comment that only one error need be detected is
 	bogus).
 
-B65005A [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1
-			Required after 2017-07-01
+B65005A [Modified] VCS Label: A4_1D
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B65005B [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1
-			Required after 2017-07-01
+B65005B [Modified] VCS Label: A4_1D
 	Added additional error locations to directly support common error
 	reporting strategies.
 
@@ -471,8 +413,7 @@
 	generic procedure, that the expression has to be nonstatic, and
 	that the aspect is not given on an instance or null procedure.
 
-B730006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B730006 [Modified] VCS Label: A4_1C
 	Corrected format of error tags; added location indicators.
 
 B730011 [Pending New] New VCS Label: A4_1C
@@ -490,43 +431,35 @@
 	Test operations available for a private type; replaces test
 	B74203E.
 
-B73001A [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001A [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001B [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001B [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001C [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001C [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001D [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001D [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001E [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001E [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001F [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001F [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001G [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001G [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B73001H [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B73001H [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
@@ -540,7 +473,7 @@
 B74001B [Withdrawn] VCS Label: A4_1C
 	Replaced by B730012.
 
-B74203B [Withdrawn] VCS Label: A4_1D
+B74203E [Withdrawn] VCS Label: A4_1D
 	Replaced by B730013.
 
 B750A07 [New] VCS Label: A4_1A
@@ -551,33 +484,27 @@
 B83F02C [Modified] VCS Label: A4_1A
 	Updated many optional error markers to match ACATS standards.
 
-B91003A [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B91003A [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B91003B [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B91003B [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B91003C [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B91003C [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B91003D [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B91003D [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B940003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B940003 [Modified] VCS Label: A4_1C
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B940004 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+B940004 [Modified] VCS Label: A4_1C
 	Split into 8 files; added location indicators.
 
 B95007B [Modified] VCS Label: A4_1A
@@ -589,13 +516,10 @@
 	with a nonstatic expression, or an expression of a type other than
 	Boolean.
 
-BB42001 [New] VCS Label: A4_1A
-	Check that the arguments of a pragma Assert
+BB42001 [New] VCS Label: A4_1C
+	[VCS Label A4_1A] Check that the arguments of a pragma Assert
 	have to have the correct types.
-
-BB42001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	Corrected two incorrect error location codes.
+	[VCS Label A4_1C] Corrected two incorrect error location codes.
 
 CB42001 [New] VCS Label: A4_1A
 	Check the usual operation of pragma Assert, including the optional
@@ -618,6 +542,10 @@
 	Check that procedure Ada.Assertions.Assert evaluates its arguments
 	and raises Assertion_Error regardless of the assertion policy.
 
+CC3601C [Allowed Modification] New VCS Label: A4_1E Org VCS Label: A4_1
+			Required after 2018-01-01
+	Moved “=” for type Rec in order that it not violate 4.5.2(9.8/4).
+
 CD1009A [Withdrawn] VCS Label: A4_1D
 	Has one of the objectives of, and thus redundant with, test
 	CD2A31C (now CD30012).
@@ -680,6 +608,11 @@
 	Moved error marker from @66 to @67 so it is on the incorrect
 	construct.
 
+CDE0002 [Allowed Modification] New VCS Label: A4_1E Org VCS Label: A4_1
+			Required after 2018-01-01
+	Changed to use Storage_Size rather than Size so that the static
+	expression rule of 13.14(7.2/3) is not triggered.
+
 CXAC009 [Pending New] New VCS Label: A4_1D
 			Required after 2017-10-01
 	Check that Stream_IO.File_Type has Preelaborable_Initialization.
@@ -699,56 +632,43 @@
 
 ===== Annex D =====
 
-CXD2007 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+CXD2007 [Modified] VCS Label: A4_1C
 	Added missing N/A => Error tag.
 
-LXD7001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7001 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7003 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7004 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7004 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7005 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7005 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7006 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7007 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7007 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7008 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7008 [Modified] VCS Label: A4_1C
 	Added missing error tag.
 
-LXD7009 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXD7009 [Modified] VCS Label: A4_1C
 	Added location indicators.
 
-CXDB001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+CXDB001 [Modified] VCS Label: A4_1C
 	Added missing N/A => Error tag.
 
-CXDB002 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+CXDB002 [Modified] VCS Label: A4_1C
 	Added missing N/A => Error tag.
 
-CXDB003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+CXDB003 [Modified] VCS Label: A4_1C
 	Added missing N/A => Error tag.
 
-CXDB004 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+CXDB004 [Modified] VCS Label: A4_1C
 	Added missing N/A => Error tag.
 
 ===== Annex E =====
@@ -765,45 +685,36 @@
 
 ===== Annex H =====
 
-LXH4001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXH4001 [Modified] VCS Label: A4_1C
 	Corrected format of error tag; added location indicators.
 
-LXH4003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXH4003 [Modified] VCS Label: A4_1C
 	Corrected format of error tag; added location indicators.
 
-LXH4006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXH4006 [Modified] VCS Label: A4_1C
 	Added missing error tags.
 
-LXH4009 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXH4009 [Modified] VCS Label: A4_1C
 	Added missing error tags.
 
-LXH4013 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXH4013 [Modified] VCS Label: A4_1C
 	Added missing error tags.
 
-LXH4014 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+LXH4014 [Modified] VCS Label: A4_1C
 	Added missing error tags.
 
 ===== Support =====
 
 F611A00 [New] VCS Label: A4_1A
-	Foundation for tests C611A01, C611A02, and C611A03.
-
-F611A00 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A
-			Required after 2017-07-01
-	Added additional data for test C611A04. The changes are only
-	needed for that test.
+	[VCS Label A4_1A] Foundation for tests C611A01, C611A02, and
+	C611A03.
+	[VCS Label A4_1C] Added additional data for test C611A04. The
+	changes are only needed for that test.
 
 F611B00 [New] VCS Label: A4_1A
 	Foundation for tests C611B01, C611B02, and C611B03.
 
-GRADE.A [Allowed Modification] New VCS Label: A4_1D Org VCS Label: A4_1
-			Required after 2017-07-01
+GRADE.A [Modified] VCS Label: A4_1D
 	[VCS Label A4_1C] Allowed manual grading for tests that are
 	missing execution or linking (with no earlier errors). Corrected
 	the result for binder crashes. Added category totals to the
@@ -811,17 +722,14 @@
 	[VCS Label A4_1D] Corrected so that Annex C RQMT failures are
 	properly counted in their own category.
 
-GRD_DATA.A [Allowed Modification] New VCS Label: A4_1D Org VCS Label: A4_1
-			Required after 2017-07-01
+GRD_DATA.A [Modified] VCS Label: A4_1D
 	Increased table sizes as the new tests have caused grading the
 	entire ACATS to exceed the old limits.
 
-SPECIAL.A [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+SPECIAL.A [Modified] VCS Label: A4_1C
 	Added test BA21005 to the list of optional main subprograms.
 
-SUMMARY.A [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1
-			Required after 2017-07-01
+SUMMARY.A [Modified] VCS Label: A4_1C
 	Corrected identification of main subprograms in modern tests.
 	Changed the unit name for subunits to be the full expanded name
 	including the parent name.
@@ -834,13 +742,13 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1D.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1E.Zip and Tar files on the ACAA web site. As always, when a multi-file
 test is modified, we provide all of the files, including the unmodified files.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
 navigate to the appropriate directory (folder), and select the test you want.
 Select the revision you want (usually the most recent) and it will be retrieved
-for you. Tests are stored in directories that correspond to the test’s prefix.
+for you. Tests are stored in directories that correspond to the test's prefix.
 For instance, the test CD92001.A will be found in the CD directory. You can also
 browse the differences between versions of a test. [In case of a conflict, the
 files in the ACATS VCS should be considered the 'official' versions.]
@@ -872,56 +780,8 @@
 
 (Refer to the main list for details)
 
-B611006	2017-07-01
-B63005A	2017-07-01
-B65005B	2017-07-01
-B730006	2017-07-01
-B73001A	2017-07-01
-B73001B	2017-07-01
-B73001C	2017-07-01
-B73001D	2017-07-01
-B73001E	2017-07-01
-B73001F	2017-07-01
-B73001G	2017-07-01
-B73001H	2017-07-01
-B732C02	2017-07-01
-B91003A	2017-07-01
-B91003B	2017-07-01
-B91003C	2017-07-01
-B91003D	2017-07-01
-B940003	2017-07-01
-B940004	2017-07-01
-BB42001	2017-07-01
-C352001	2017-07-01
-C480001	2017-07-01
-C611A02	2017-07-01
-C611A03	2017-07-01
-C611B01	2017-07-01
-C611B02	2017-07-01
-CXD2007	2017-07-01
-CXDB001	2017-07-01
-CXDB002	2017-07-01
-CXDB003	2017-07-01
-CXDB004	2017-07-01
-F611A00	2017-07-01
-LXD7001	2017-07-01
-LXD7003	2017-07-01
-LXD7004	2017-07-01
-LXD7005	2017-07-01
-LXD7006	2017-07-01
-LXD7007	2017-07-01
-LXD7008	2017-07-01
-LXD7009	2017-07-01
-LXH4001	2017-07-01
-LXH4003	2017-07-01
-LXH4006	2017-07-01
-LXH4009	2017-07-01
-LXH4013	2017-07-01
-LXH4014	2017-07-01
-GRADE  	2017-07-01
-GRD_DATA	2017-07-01
-SPECIAL	2017-07-01
-SUMMARY	2017-07-01
+CC3601C	2018-01-01
+CDE0002	2018-01-01
 
 
 
@@ -935,12 +795,54 @@
 B455002
 B62001C
 B62001D
+B63005A
+B65005B
+B730006
+B73001A
+B73001B
+B73001C
+B73001D
+B73001E
+B73001F
+B73001G
+B73001H
+B732C02
 B740003
 B83F02C
 B95007B
+B91003A
+B91003B
+B91003C
+B91003D
+B940003
+B940004
+BB42001
 BD4003A
+C352001
 C52101A
-
+CXD2007
+CXDB001
+CXDB002
+CXDB003
+CXDB004
+LXD7001
+LXD7003
+LXD7004
+LXD7005
+LXD7006
+LXD7007
+LXD7008
+LXD7009
+LXH4001
+LXH4003
+LXH4006
+LXH4009
+LXH4013
+LXH4014
+GRADE
+GRD_DATA
+SPECIAL
+SUMMARY
 
 
 New Tests
@@ -960,6 +862,8 @@
 B611011
 B611012
 B611013
+B611015
+B611016
 B750A07
 BB42001
 BB42002
@@ -989,8 +893,6 @@
 B354002	2017-10-01
 B35A001	2017-10-01
 B611014	2017-10-01
-B611015	2017-07-01
-B611016	2017-07-01
 B611017	2017-10-01
 B611018	2017-10-01
 B611019	2017-10-01
@@ -1019,5 +921,4 @@
 CD30011	2017-10-01
 CD30012	2017-10-01
 CXAC009	2017-10-01
-
 

Questions? Ask the ACAA Technical Agent