CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2020/12/29 02:44:30	1.99
+++ acats/docs/mod_list.txt	2021/01/01 02:03:27	1.100
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1T
-December 28, 2020
+Version 4.1U
+December 31, 2020
 
 
 What is this?
@@ -22,15 +22,9 @@
 
 Changes from the last list:
 
-A handful of tests changed status on October 1st; see the lists for the details.
+Tests CXAIB01, CXAIB02, CXAIB03, and CXAIB04 had an error corrected – some of
+the Insert calls had a parameter with the wrong instance prefixing No_Element.
 
-B3A2018 was corrected to not be affected by AI12-0345-1, AI12-0390-1, and
-AI12-0402-1.
-
-New tests CXAIB01, CXAIB02, CXAIB03, CXAIB04, CXAIB05, CXAIB06, CXAIB07, and
-CXAIB08 check that (some) containers are preelaborated, and that the types they
-declare have preelaborable initialization. FXAIB00 is the associated foundation.
-
 Note: Some Allowed Modification tests have a required date of “ACATS 4.2”. These
 are tests that don't have substantive changes, but rather change comments
 (including error locations for B-Tests). For ACATS users that are using
@@ -69,7 +63,7 @@
 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);
+    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
@@ -1269,29 +1263,41 @@
 	reflects the handling of file names.
 	[VCS Label A4_1H] Added “return;” @171; if the file can't be
 	opened, the Read_File trial is complete.
-
-CXAIB01 [Pending New] VCS Label: A4_1T
-			Required after 2021-07-01
-	Check that Ada.Containers.Vectors is preelaborated, and it and
-	types declared in it can be used in preelaborated packages.
 
-CXAIB02 [Pending New] VCS Label: A4_1T
+CXAIB01 [Pending New] VCS Label: A4_1U
 			Required after 2021-07-01
-	Check that Ada.Containers.Bounded_Vectors is preelaborated, and it
-	and types declared in it can be used in preelaborated packages.
+	[VCS Label A4_1T] Check that Ada.Containers.Vectors is
+	preelaborated, and it and types declared in it can be used in
+	preelaborated packages.
+	[VCS Label A4_1U] Corrected instance prefix of No_Element in
+	some Insert calls. Qualified aggregates to avoid issues for Ada
+	202x.
 
-CXAIB03 [Pending New] VCS Label: A4_1T
+CXAIB02 [Pending New] VCS Label: A4_1U
 			Required after 2021-07-01
-	Check that Ada.Containers.Doubly_Linked_Lists is preelaborated,
-	and it and types declared in it can be used in preelaborated
-	packages.
+	[VCS Label A4_1T] Check that Ada.Containers.Bounded_Vectors is
+	preelaborated, and it and types declared in it can be used in
+	preelaborated packages.
+	[VCS Label A4_1U] Corrected instance prefix of No_Element in
+	some Insert calls. Qualified aggregates to avoid issues for Ada
+	202x.
 
-CXAIB04 [Pending New] VCS Label: A4_1T
+CXAIB03 [Pending New] VCS Label: A4_1U
 			Required after 2021-07-01
-	Check that Ada.Containers.Bounded_Doubly_Linked_Lists is
+	[VCS Label A4_1T] Check that Ada.Containers.Doubly_Linked_Lists is
 	preelaborated, and it and types declared in it can be used in
 	preelaborated packages.
+	[VCS Label A4_1U] Corrected instance prefix of No_Element in
+	some Insert calls.
 
+CXAIB04 [Pending New] VCS Label: A4_1U
+			Required after 2021-07-01
+	[VCS Label A4_1T] Check that
+	Ada.Containers.Bounded_Doubly_Linked_Lists is preelaborated, and
+	it and types declared in it can be used in preelaborated packages.
+	[VCS Label A4_1U] Corrected instance prefix of No_Element in
+	some Insert calls.
+
 CXAIB05 [Pending New] VCS Label: A4_1T
 			Required after 2021-07-01
 	Check that Ada.Containers.Ordered_Maps is preelaborated,
@@ -1502,7 +1508,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1T.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1U.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
@@ -1856,3 +1862,4 @@
 F360A00	2021-04-01
 F360B00	2021-04-01
 FXAIB00	2021-07-01
+

Questions? Ask the ACAA Technical Agent