CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2022/03/31 08:05:53	1.105
+++ acats/docs/mod_list.txt	2022/07/01 06:43:23	1.106
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1Z
-March 31, 2022
+Version 4.1AA
+June 30, 2022
 
 
 What is this?
@@ -22,15 +22,18 @@
 
 Changes from the last list:
 
-A handful of tests changed status on January 1st; see the lists for the details.
+A handful of tests changed status on April 1st; see the lists for the details.
 
-New tests B431008, B431009, C431003, C431004 check that discriminants can or
-cannot be specified (as appropropriate) with a <> in record and extension
-aggregates. (Thanks to Jeff Cousins for the outline of these tests.)
+New tests C458002, C458003, C458A01, and C458A02 (as well as the associated
+founcation F458A00) test that quantified expressions containing all types of
+iterators operate as expected. Thanks to Brad Moore for these tests.
+
+New tests CXA4038 and CXA4039 check that the operations Slice,
+(Un)bounded_Slice, and To_(Wide_)String have the correct behavior for
+Bounded_Strings, Bounded_Wide_Strings, Unbounded_Strings, and
+Unbounded_Wide_Strings. The first of these tests replaces CXA4034 (which only
+checked exception cases for Slice).
 
-New test B490004 checks that a static expression that fails a static predicate
-check is illegal.
-
 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
@@ -40,13 +43,13 @@
 tests until the time when the next ACATS version (ACATS 4.2) is issued (most
 likely in the next quarter).
 
-New tests posted between January 1, 2022 and March 31, 2022 will become required
-for conformity assessments on October 1, 2022. New tests posted between October
-1, 2021 and December 31, 2021 will become required for conformity assessments on
-July 1, 2022. New tests posted between July 1, 2021 and September 30, 2021 will
-become required for conformity assessments on April 1, 2022. New tests posted
-before July 1, 2021 are required for conformity assessments. The effective dates
-of tests are marked in the lists.
+New tests posted between April 1, 2022 and June 30, 2022 will become required
+for conformity assessments on January 1, 2023. New tests posted between January
+1, 2022 and March 31, 2022 will become required for conformity assessments on
+October 1, 2022. New tests posted between October 1, 2021 and December 31, 2021
+will become required for conformity assessments on July 1, 2022. New tests
+posted before October 1, 2021 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.
@@ -66,6 +69,7 @@
 
 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);
 
@@ -121,9 +125,9 @@
 label to retrieve the test from the ACATS VCS. See “How to get new and modified
 tests”.
 
-In citations, line numbers are given relative to the start of a test file in
-the format of '@<line#,line#,...>'; if a test program comprises more than one
-file, then the particular file will be indicated by "fn", where "n" is the
+In citations, line numbers are given relative to the start of a test file in the
+format of '@<line#,line#,...>'; if a test program comprises more than one file,
+then the particular file will be indicated by "fn", where "n" is the
 test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... "
 denotes test file b38103e1.ada. In cases where there are two or more rationales
 for different errors in a test program, these different rationales with their
@@ -558,6 +562,27 @@
 	Check that a quantified expression has to be surrounded in
 	parentheses if it is not already surrounded by them.
 
+C458002 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	Check the operation of quantified expressions using array element
+	iterators.
+
+C458003 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	Check boundary conditions for quantified expressions using
+	discrete iterators. (This test is a companion to the existing
+	C458001.)
+
+C458A01 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	Check the operation of quantified expressions using generalized
+	iterators.
+
+C458A02 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	Check the operation of quantified expressions using container
+	iterators.
+
 B460002 [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
 			Required in ACATS 4.2
 	Added error location indicators.
@@ -866,13 +891,10 @@
 	object unless the type of the object is related and has a
 	specified Default_Value.
 
-C641003 [New] VCS Label: A4_1V
+C641003 [New] VCS Label: A4_1Y
 	[VCS Label A4_1V] Check that for an out parameter of a scalar type
 	with a specified Default_Value, the value of the actual parameter
 	is passed in without any predicate check.
-
-C641003 [Allowed Modification] New VCS Label: A4_1Y Org VCS Label: A4_1V
-			Required after 2022-04-01
 	[VCS Label A4_1Y] Corrected comments to talk about predicates and
 	Assertion_Error.
 
@@ -1566,16 +1588,13 @@
 	Check that the object for a pool that supports subpools is
 	declared in the same scope as the access type that uses it.
 
-BDC1001 [Pending New] New VCS Label: A4_1X
-			Required after 2021-04-01
+BDC1001 [New] VCS Label: A4_1X
 	Check that restriction No_Use_of_Attribute is implemented.
 
-BDC1002 [Pending New] New VCS Label: A4_1X
-			Required after 2021-04-01
+BDC1002 [New] VCS Label: A4_1X
 	Check that restriction No_Specification_of_Aspect is implemented.
 
-BDC1003 [Pending New] New VCS Label: A4_1X
-			Required after 2021-04-01
+BDC1003 [New] VCS Label: A4_1X
 	Check that restriction No_Use_of_Pragma is implemented.
 
 BDD2003 [Modified] VCS Label: A4_1G
@@ -1610,6 +1629,21 @@
 			Required in ACATS 4.2
 	Added error location indicators; stripped SAIC development junk.
 
+CXA4034 [Withdrawn] VCS Label: A4_1AA
+	Replaced by CXA4038.
+
+CXA4038 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	Check that the operations Slice, Bounded_Slice, and
+	To_(Wide_)String have the correct results, bounds, and exceptions
+	for Bounded_Strings and Bounded_Wide_Strings.
+
+CXA4039 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	Check that the operations Slice, Unbounded_Slice, and
+	To_(Wide_)String have the correct results, bounds, and exceptions
+	for Unbounded_Strings and Unbounded_Wide_Strings.
+
 CXAC009 [New] VCS Label: A4_1D
 	Check that Stream_IO.File_Type has Preelaborable_Initialization.
 
@@ -1839,6 +1873,11 @@
 F360B00 [New] VCS Label: A4_1S
 	A foundation for real specified Default_Component_Value tests.
 
+F458A00 [Pending New] New VCS Label: A4_1AA
+			Required after 2023-01-01
+	A foundation containing a sparse array container, used in
+	quantified expression tests.
+
 F611A00 [New] VCS Label: A4_1C
 	[VCS Label A4_1A] Foundation for tests C611A01, C611A02, and
 	C611A03.
@@ -1907,7 +1946,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1Z.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1AA.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
@@ -1949,6 +1988,7 @@
 CD1009M
 CD2A21C
 CD2A31C
+CXA4034
 
 
 
@@ -2040,7 +2080,6 @@
 BXAI008	ACATS 4.2
 BXAIA03	ACATS 4.2
 BXAIA04	ACATS 4.2
-C641003	2022-04-01 [VCS Label A4_1Y]
 REPORT	ACATS 4.2
 
 Modified Tests
@@ -2265,6 +2304,9 @@
 BD30003
 BDB2001
 BDB4001
+BDC1001
+BDC1002
+BDC1003
 BDD2006
 BDD2007
 C324006
@@ -2302,7 +2344,7 @@
 C611B03
 C620002
 C641002
-C641003 [VCS Label A4_1V]
+C641003
 C650B04
 C651001
 C651002
@@ -2350,13 +2392,16 @@
 B440001	2022-07-01
 B490004	2022-10-01
 B650007	2022-07-01
-BDC1001	2022-04-01
-BDC1002	2022-04-01
-BDC1003	2022-04-01
 C431003	2022-10-01
 C431004	2022-10-01
+C458002	2023-01-01
+C458003	2023-01-01
+C458A01	2023-01-01
+C458A02	2023-01-01
 CD30013	2022-07-01
 CD30014	2022-07-01
+CXA4038	2023-01-01
+CXA4039	2023-01-01
+F458A00	2023-01-01
 REPORT	ACATS 4.2
 VERSION	ACATS 4.2
-

Questions? Ask the ACAA Technical Agent