CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2012/07/21 05:42:34	1.63
+++ acats/docs/mod_list.txt	2013/03/29 05:55:34	1.64
@@ -1,17 +1,17 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0M
-July 20, 2012
+Version 3.0N
+March 28, 2013
 
 
 What is this?
 
 This the ACATS test modification list for ACATS 3.0. This document includes test
 corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the test
-suite for the current version of Ada (often known as "Ada 2005") that became
-current with the approval and publication of Amendment 1 by ISO as ISO/IEC
-8652:1995/AMD 1:2007. (Tests for "Ada 2012" will not be added to the test suite
-until after that revised standard finishes standardization, expected in late
-2012 or early 2013.)
+suite for the version of Ada that became current with the approval and
+publication of Amendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007 (often known
+as "Ada 2005"). Tests for third edition of Ada, ISO/IEC 8652:2012 (usually known
+as "Ada 2012") will be added to a separate version of the test suite (to be
+created in the near future).
 
 ACATS Test Modification List version 2.6D for ACATS 2.6 is the current list for
 that test suite. ACATS 2.6 should be used for testing Ada 95 implementations,
@@ -19,30 +19,28 @@
 
 Changes from the last list:
 
-Support files ImpDef and ImpDefC have new constants to support other new and
-modified tests.
+A number of tests modified by previous lists are now required for conformity
+assessments (this means that their category is now "Modified").
 
-Test BXE2012 is corrected to remove an unintentional illegality. Test CXC6003 is
-modified to repair a test case that could be illegal; it now depends on a new
-constant in IMPDEFC. IMPDEF is repaired to remove a misleading comment. Test
-B954003 is modified so that it is not trying to requeue on entries of constants.
-Test B960001 is corrected so that the OK case is formatted properly with the
-expected parameters. Test B433001 is corrected so that the aggregates in
-subtests O15 through O18 have the correct number of elements for each dimension.
-
-New tests B950001 and B954005 test that target objects of protected entries and
-procedure calls, renames, requeues, and more are variables. New test CXC7006
-tests package Task_Termination.
-
-Tests CD2B11A and CD2B15C were withdrawn as they did not allow rounding up of a
-specified Storage_Size. They have been replaced by two new tests CDB0001 and
-CDB0002 which allow rounding up to an implementation-defined limit.
+Tests BC54002 and BC54003 have test cases that are marked as OK, but actually
+violate AI05-0288-1 (a binding interpretation). These cases are removed from
+these tests for ACATS 3.0.
+
+Test CD10001 specifies the Storage_Size for an access type, and then checks that
+the Storage_Size atttribute returns exactly that value. However, rounding up of
+the size is allowed, and the test should allow limited rounding based on the
+(recently added) Impdef constant Maximum_Adjustment_To_Specified_Storage_Size.
 
+Test B951002 is a new test that checks 9.5.1(2) is enforced. The ACAA has had
+occasional reports that compilers did not make this check properly.
+
 New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between July 1, 2012 and October
-1, 2012 will become required for conformity assessments on April 1, 2013. New
-tests inserted before January 1, 2012 are now required for conformity
-assessments. The effective dates of tests are marked in the lists.
+assessments using ACATS 3.0. New tests inserted between January 1, 2013 and
+April 1, 2013 will become required for conformity assessments on October 1,
+2013. New tests inserted between July 1, 2012 and October 1, 2012 will become
+required for conformity assessments on April 1, 2013. New tests inserted before
+July 1, 2012 are now 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.
@@ -50,15 +48,24 @@
 Ada 2012 compatibility:
 
 This test suite is designed for Ada 2005. In general, tests have not been
-checked for compatibility with Ada 2012 (the upcoming revision of the Ada
-Standard). As such, some tests may be incompatible with Ada 2012; please report
-any such such tests (other than those listed below) that you identify to the
-agent at agent@ada-auth.org. Tests that are known to be incompatible are listed
-below.
-
-It is known the tests B3A1A01 and B38105A are incompatible with AI05-0151-1
-which is part of Ada 2012. These tests will be withdrawn or replaced in the Ada
-2012 ACATS.
+checked for compatibility with Ada 2012 (the third edition of the Ada Standard).
+As such, some tests may be incompatible with Ada 2012; please report any such
+such tests (other than those listed below) that you identify to the agent at
+agent@ada-auth.org. Tests that are known to be incompatible are listed below.
+
+* Tests B3A1A01 and B38105A are incompatible with AI05-0151-1 which is part of
+  Ada 2012. These tests will be withdrawn or replaced in the Ada 2012 ACATS.
+
+* Test C452001 fails if record equality composes for untagged record types,
+  which is required by Ada 2012. This test will be replaced in the Ada 2012
+  ACATS.
+
+* Tests BC54002 and BC54003 have test cases that violate the binding
+  interpretation of AI05-0288-1 which is part of Ada 2012. These cases are
+  commented out in this test suite, but will be replaced as required errors in
+  the Ada 2012 ACATS.
+
+There also are commented out Ada 2012 cases in tests B950001 and B954005.
 
 Notice:
 
@@ -94,7 +101,7 @@
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
 These references are to the consolidated Ada standard as available at
-http://www.adaic.com/standards/05rm/html/RM-TOC.html.
+http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TOC.html.
 
 
 
@@ -105,22 +112,12 @@
 
 Name     Category  Version label  (effective date; old version label)
 	Short description.
-
-IMPDEF  [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
-	Added constant Maximum_Adjustment_To_Specified_Storage_Size,
-	used in tests CDB0001 and CDB0002.
-
-IMPDEFC [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
-	Added constant Minimum_Atomic_Component_Size, used in test
-	CCX6003.
 
-C34008A [Modified] VCS Label:A3_0B
+C34008A [Modified] VCS Label: A3_0B
 	Revised to eliminate function V @73-76 and its uses, as it
 	attempts to return an existing object of a limited type.
 
-B371001 [New] VCS Label:A3_0D
+B371001 [New] VCS Label: A3_0D
 	Replaces the previous B371001 to include checks for the rule
 	improvements of AI05-0041-1.
 
@@ -136,62 +133,62 @@
 B38101C [Withdrawn] Org VCS Label: A3_0D
 	This test has been replaced by new test B3A1002.
 
-C393013 [New] VCS Label:A3_0D
+C393013 [New] VCS Label: A3_0D
 	Check that functions with controlling results are automatically
 	inherited correctly for null type extensions.
 
-B394A02 [Modified] VCS Label:A3_0D
+B394A02 [Modified] VCS Label: A3_0D
 	Revised to add "B394A02." @121 in front of Interf01 so that legal
 	type is used.
 
-B394A03 [Modified] VCS Label:A3_0G
+B394A03 [Modified] VCS Label: A3_0G
 	Decls @78,108 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
-B394A04 [Modified] VCS Label:A3_0G
+B394A04 [Modified] VCS Label: A3_0G
 	Decls @76,106 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
-B394A05 [Modified] VCS Label:A3_0G
+B394A05 [Modified] VCS Label: A3_0G
 	Decls @78,108 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
-B3A0005 [New] VCS Label:A3_0D
+B3A0005 [New] VCS Label: A3_0D
 	Check that a dereference of an anonymous access-to-constant type
 	is a constant.
 
-B3A0006 [New] VCS Label:A3_0D
+B3A0006 [New] VCS Label: A3_0D
 	Check that an anonymous access-to-variable type cannot designate
 	a constant.
 
-B3A0007 [New] VCS Label:A3_0D
+B3A0007 [New] VCS Label: A3_0D
 	Check that a null_exclusion cannot be given in a construct
 	if the subtype mark is not an access type or if it excludes
 	null.
 
-B3A0008 [New] VCS Label:A3_0D
+B3A0008 [New] VCS Label: A3_0D
 	Check that a null_exclusion cannot be given in a construct
 	if the subtype mark is a generic formal type that excludes
 	null.
 
-C3A0016 [New] VCS Label:A3_0C
+C3A0016 [New] VCS Label: A3_0C
 	Check that a constant access-to-variable value can be used to
 	modify the designated object. This test adds general access and
 	anonymous access test cases, and as such is no longer a legacy
 	test.
 
-C3A0017 [New] VCS Label:A3_0C
+C3A0017 [New] VCS Label: A3_0C
 	Check that anonymous access-to-subprograms can be used in many
 	contexts, and that the associated function can be called.
 
-C3A0018 [New] VCS Label:A3_0E
+C3A0018 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that anonymous access-to-protected
 	subprograms can be used in many contexts, and that the associated
 	subprogram can be called.
 	VCS Label A3_0E: The wrong routine is returned @126; "protected"
 	is missing @123; @307 needs a call of Set_Factor.
 
-C3A0019 [New] VCS Label:A3_0E
+C3A0019 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -199,7 +196,7 @@
 	type.
 	VCS Label A3_0E: @408 must be initialized with Aux'Access.
 
-C3A0020 [New] VCS Label:A3_0E
+C3A0020 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -207,7 +204,7 @@
 	type.
 	VCS Label A3_0E: @404 must be initialized with Aux'Access.
 
-C3A0021 [New] VCS Label:A3_0F
+C3A0021 [New] VCS Label: A3_0F
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -215,7 +212,7 @@
 	VCS Label A3_0E: @427 must be initialized with Aux'Access.
 	VCS Label A3_0F: @409 and 432 must be initialized with Aux'Access.
 
-C3A0022 [New] VCS Label:A3_0E
+C3A0022 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -223,7 +220,7 @@
 	access type.
 	VCS Label A3_0E: @407 must be initialized with Non_Null_Init.
 
-C3A0023 [New] VCS Label:A3_0E
+C3A0023 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -231,7 +228,7 @@
 	access type.
 	VCS Label A3_0E: @402 must be initialized with Non_Null_Init.
 
-C3A0024 [New] VCS Label:A3_0F
+C3A0024 [New] VCS Label: A3_0F
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -241,14 +238,14 @@
 	VCS Label A3_0F: @379 and 398 must be initialized with
 	Non_Null_Init.
 
-C3A0025 [New] VCS Label:A3_0G
+C3A0025 [New] VCS Label: A3_0G
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding anonymous
 	access-to-object type.
 	VCS Label A3_0E: @334 must be initialized with Aux'Access.
 	VCS Label A3_0G: Corrected a spelling error in the test objective.
 
-C3A0026 [New] VCS Label:A3_0G
+C3A0026 [New] VCS Label: A3_0G
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding anonymous
 	access-to-subprogram type.
@@ -256,7 +253,7 @@
 	check. @406 must be initialized with Double'Access.
 	VCS Label A3_0G: Corrected a spelling error in the test objective.
 
-C3A0027 [New] New VCS Label:A3_0G
+C3A0027 [New] New VCS Label: A3_0G
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding anonymous
 	access-to-protected-subprogram type.
@@ -264,39 +261,39 @@
 	check. @415 must be initialized with PO.Double'Access.
 	VCS Label A3_0G: Corrected a spelling error in the test objective.
 
-C3A0028 [New] VCS Label:A3_0E
+C3A0028 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access-to-subprogram type.
 	VCS Label A3_0E: @409 must be initialized with Double'Access.
 
-C3A0029 [New] VCS Label:A3_0E
+C3A0029 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access-to-protected-subprogram type.
 	VCS Label A3_0E: @420 must be initialized with PO.Double'Access.
 
-B3A1001 [New] VCS Label:A3_0D
+B3A1001 [New] VCS Label: A3_0D
 	Check that an incomplete type must be completed, and must be
 	completed in the same declaration list unless it is given
 	in the private part of a package.
 
-B3A1002 [New] VCS Label:A3_0D
+B3A1002 [New] VCS Label: A3_0D
 	Check that an incomplete type must be completed, and must be
 	completed in the same declaration list unless it is given
 	in the private part of a package  generic package cases.
 
-B3A1003 [New] VCS Label:A3_0E
+B3A1003 [New] VCS Label: A3_0E
 	VCS Label A3_0D: Check that an incomplete type cannot be
 	completed by another incomplete type, a private type, a
 	private extension, or a subtype.
 	VCS Label A3_0E: Allow errors @110 and @111.
 
-B3A1004 [New] VCS Label:A3_0D
+B3A1004 [New] VCS Label: A3_0D
 	Check that a tagged incomplete type cannot be completed with an
 	untagged type.
 
-B3A1005 [New] VCS Label:A3_0F
+B3A1005 [New] VCS Label: A3_0F
 	Check that a primitive operation of an incomplete type declared
 	in a private part cannot be given unless the completion of the
 	private type is also in the same private part.
@@ -305,7 +302,7 @@
 	Foundation providing types to be accessed as a limited view
 	in order to test the usage of incomplete views.
 
-B3A1A01 [New] VCS Label:A3_0F
+B3A1A01 [New] VCS Label: A3_0F
 	VCS Label A3_0D: Check that an untagged incomplete view cannot be
 	used as the subtype mark of a parameter, and that any incomplete
 	view cannot be used as the subtype mark of the result of a
@@ -314,23 +311,23 @@
 	Acc13; and @146 Acc14. @162-173 should be removed as they
 	violate 3.10.1(9.3/2).
 
-B3A1A02 [New] VCS Label:A3_0G
+B3A1A02 [New] VCS Label: A3_0G
 	VCS Label A3_0D: Check that an incomplete view cannot be used in
 	the subtype indication of an object declaration, component
 	declaration, or allocator.
 	VCS Label A3_0G: Corrected test objective.
 
-B3A1A03 [New] VCS Label:A3_0G
+B3A1A03 [New] VCS Label: A3_0G
 	VCS Label A2_0D: Check that an incomplete view cannot be used in
 	a use type clause.
 	VCS Label A3_0G: Corrected test objective.
 
-B3A1A04 [New] VCS Label:A3_0F
+B3A1A04 [New] VCS Label: A3_0F
 	Check that a tagged incomplete view cannot be used as the prefix
 	of the Class attribute used in a context that does not allow a
 	tagged incomplete view.
 
-C413006 [New] VCS Label:A3_0B
+C413006 [New] VCS Label: A3_0B
 	Created test from ashes of C41306A, including additional test
 	cases for completeness. A new test is needed as Ada 95 and Ada
 	2005 features must be used; the result is not a legacy test in
@@ -340,17 +337,16 @@
 	Deadlock: returns @75,83 call an entry on a task that will not be
 	activated until the return statement finishes.
 
-B431003 [Modified] VCS Label:A3_0K
+B431003 [Modified] VCS Label: A3_0K
 	Test cases were added to check that an aggregate that gives all
 	of the visible components (but not the hidden ones) is not
 	accepted.
 
-B433001 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+B433001 [Modified] VCS Label: A3_0M
 	Changed definition of Test_Array_2 and uses so aggregates are
 	have correct dimensionality.
 
-C433001 [Modified] VCS Label:A3_0J
+C433001 [Modified] VCS Label: A3_0J
 	Messages @85, 107 should refer to Second_Component and messages
 	@88, 110 should refer to Last_Component.
 
@@ -386,22 +382,21 @@
 	VCS Label A3_0E: Return statement @108 violates 3.9.2(9/1); remove
 	'Class from type PA_Class.
 
-B740003 [Modified] VCS Label:A3_0D
+B740003 [Modified] VCS Label: A3_0D
 	The error @f1-106 can also be reported @f1-104.
 
-C761006 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+C761006 [Modified] VCS Label: A3_0M
 	Rewrite test to not fail if the deallocated object is finalized
 	twice. (This is allowed by AI95-0179-1.)
 
-B831001 [Modified] VCS Label:A3_0F
+B831001 [Modified] VCS Label:A 3_0F
 	VCS Label A3_0D: The generic @f0-82 is illegal because of
 	AI05-0073-1. "abstract" was removed from @f0-81, @f1-755, and
 	@f1-846.
 	VCS Label A3_0F: The rename @f1-408-9 depends on a previously
 	incorrect declaration @f1-382.
 
-B831002 [Modified] VCS Label:A3_0D
+B831002 [Modified] VCS Label: A3_0D
 	The declaration @309 has the wrong name (should be G) and profile
 	(Gfu should have a Boolean parameter).
 
@@ -428,37 +423,39 @@
 	Check that the legality rules for renamings that include a
 	null_exclusion are enforced.
 
-B950001 [Pending New] New VCS Label:A3_0M
+B950001 [Pending New] New VCS Label: A3_0M
 			Required after 2013-04-01
 	Check that the target object of a call, renames, actual for a
 	formal subprogram, or prefix of 'Access to a protected entry or
 	procedure is a variable. (Tests 9.5(7.1/3)).
 
-B954003 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
-	Change parameters @64, @70, @88, @90, @97, @124 to have mode "in
- 	out" so that requeuing on the entry of a constant is not
+B951002 [Pending New] New VCS Label: A3_0N
+			Required after 2013-10-01
+	Check that the current instance of a protected type is a constant
+	inside of a protected function.
+
+B954003 [Modified] VCS Label: A3_0M
+	Change parameters @64, @70, @88, @90, @97, @124 to have mode "in 	out" so that requeuing on the entry of a constant is not
 	attempted.
 
-B954005 [Pending New] New VCS Label:A3_0M
+B954005 [Pending New] New VCS Label: A3_0M
 			Required after 2013-04-01
 	Check that the target object of a requeue is a variable.
 
-B960001 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+B960001 [Modified] VCS Label: A3_0M
 	Fixed formatting and parameters of OK call @82.
 
-C990001 [Modified] VCS Label:A3_0B
+C990001 [Modified] VCS Label: A3_0B
 	Added function returning a task as an attribute prefix case from
 	C34008A.
 
-CA11023 [Modified] VCS Label:A3_0J
+CA11023 [Modified] VCS Label: A3_0J
 	VCS Label A3_0C: @f2-190 should be Dept2 rather than Dept1.
 	"Return False;" should be added @f2-116.
 	VCS Label A3_0J: The main subprogram should be named CA110232
 	based on the conventions given in the ACATS User's Guide.
 
-CA12001 [Modified] VCS Label:A3_0J
+CA12001 [Modified] VCS Label: A3_0J
 	The main subprogram should be named CA120012
 	based on the conventions given in the ACATS User's Guide.
 
@@ -470,40 +467,53 @@
 	Check that a type derived from a generic formal tagged type
 	inherits primitives properly in an instance.
 
+BC54002 [Allowed Modification] New VCS Label: A3_0N Org VCS Label: A3_0
+			Required after 2013-07-01
+	Removed test cases Instance09 and Instance12 as they violate
+	Binding Interpretation AI05-0288-1.
+
+BC54003 [Allowed Modification] New VCS Label: A3_0N Org VCS Label: A3_0
+			Required after 2013-07-01
+	Removed test cases Instance07, Instance08, Instance12, and
+	Instance14 as they violate Binding Interpretation AI05-0288-1.
+
+CD10001 [Allowed Modification] New VCS Label: A3_0N Org VCS Label: A3_0
+			Required after 2013-07-01
+	Assertion @274 should allow rounding up of Storage_Size.
+
 CD2B11A [Withdrawn] Org VCS Label: A3_0M
 	This test has been replaced by new test CDB0002.
 
 CD2B15C [Withdrawn] Org VCS Label: A3_0M
 	This test has been replaced by new test CDB0001.
 
-CDB0001 [Pending New] New VCS Label:A3_0M
+CDB0001 [Pending New] New VCS Label: A3_0M
 			Required after 2013-04-01
 	If Storage_Size is specified for an access type, check that
 	Storage_Error is raised by an allocator when insufficient storage
 	is available. (Updated version of CD2B15C.)
 
-CDB0002 [Pending New] New VCS Label:A3_0M
+CDB0002 [Pending New] New VCS Label: A3_0M
 			Required after 2013-04-01
 	Check that operations on values of an access type are not affected
 	if Storage_Size is specified for the type. (Updated version of
 	CD2B11A.)
 
-CXB3006 [Modified] VCS Label:A3_0J
+CXB3006 [Modified] VCS Label: A3_0J
 	Calls @258, 264 are ambigiuous because of new routines added by
 	Ada 2005; the calls should be qualified with the wchar_array type.
 
 
 ===== Annex C =====
 
-BXC3002 [Modified] VCS Label:A3_0C
+BXC3002 [Modified] VCS Label: A3_0C
 	Declaration @103 is not illegal as Amendment repealed the relevant
 	rule.
 
-CXC6003 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+CXC6003 [Modified] VCS Label: A3_0M
 	Fixed potentially illegal test case. Now depends on ImpdefC.a.
 
-CXC7006 [Pending New] New VCS Label:A3_0M
+CXC7006 [Pending New] New VCS Label: A3_0M
 			Required after 2013-04-01
 	Check that package Task_Termination operates as expected.
 
@@ -515,12 +525,11 @@
 
 ===== Annex E =====
 
-BXE2009 [Modified] VCS Label:A3_0C
+BXE2009 [Modified] VCS Label: A3_0C
 	Type Is_Limited_With_Attrs @80 does not have available stream
 	attributes, but is assumed to have them.
 
-BXE2012 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+BXE2012 [Modified] VCS Label: A3_0M
 	Move stream attribute definitions to line 145 in the visible part
 	so that Good_Private_Type supports external streaming, as
 	intended.
@@ -540,13 +549,11 @@
 
 ===== Support =====
 
-IMPDEF [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+IMPDEF [Modified] VCS Label: A3_0M
 	Removed misleading comment @196; the following constant is not a
 	named number.
 
-IMPDEFC [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
-			Required after 2013-01-01
+IMPDEFC [Modified] VCS Label: A3_0M
 	Added Minimum_Atomic_Component_Size for CXC6003.
 
 
@@ -558,7 +565,7 @@
 (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_3_0M.Zip and Tar files on the ACAA web site.
+Mod_3_0N.Zip and Tar files on the ACAA web site.
 
 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.
@@ -594,13 +601,9 @@
 
 (Refer to the main list for details)
 
-B433001	2013-01-01
-B954003	2013-01-01
-B960001	2013-01-01
-BXE2012	2013-01-01
-CXC6003	2013-01-01
-IMPDEF	2013-01-01
-IMPDEFC	2013-01-01
+BC54002	2013-07-01
+BC54003	2013-07-01
+CD10001	2013-07-01
 
 
 Modified Tests
@@ -612,12 +615,16 @@
 B394A04
 B394A05
 B431003
+B433001
 B740003
 B831001
 B831002
+B954003
+B960001
 BA12010
 BXC3002
 BXE2009
+BXE2012
 C34008A
 C433001
 C650003
@@ -625,6 +632,9 @@
 CA11023
 CA12001
 CXB3006
+CXC6003
+IMPDEF
+IMPDEFC
 
 
 
@@ -683,6 +693,7 @@
 (Refer to the main list for details)
 
 B950001	2013-04-01
+B951002	2013-10-01
 B954005	2013-04-01
 CDB0001	2013-04-01
 CDB0002	2013-04-01

Questions? Ask the ACAA Technical Agent