CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2019/06/29 01:36:26	1.93
+++ acats/docs/mod_list.txt	2019/09/28 00:20:32	1.94
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1M
-June 28, 2019
+Version 4.1N
+September 27, 2019
 
 
 What is this?
@@ -10,7 +10,7 @@
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
-ACATS Modification List version 3.1W for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1X for ACATS 3.1 is the current list for that
 test suite. ACATS 3.1 should be used for testing implementations that support
 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.
@@ -22,31 +22,21 @@
 
 Changes from the last list:
 
-A handful of tests changed status on April 1st; see the lists for the details.
+A handful of tests changed status on July 1st; see the lists for the details.
 
-Corrected new test C452006 to avoid cases where the membership is illegal by
-AI12-0328-1.
+Test C415001 was corrected to eliminate an accessibility error in Fetch.
 
-Created new tests B940008, B940009, B940010, B940011,and B952005 to check
-various legality rules associated with “implementing” protected operations.
-Created new test C940017 to verify that dispatching works for protected
-interfaces.
-
-Revised tests C94001A, C94001B, C94001C, C94002A, C94004A, C94004B, C94004C,
-C94005A, C94005B, C94007A, C94010A, C95012A, and C97307A in order to replace
-excessively long delays with Impdef constants. This should reduce the runtime of
-the ACATS by about 27 minutes (using the default Impdef values).
-
-The reading of the manual grading file was made more resilient by discarding all
-trailing white space. This helps especially on Unix-like systems when reading a
-Windows-formatted file.
-
-New tests posted between April 1, 2019 and June 30, 2019 will become required
-for conformity assessments on January 1, 2020. New tests posted between January
-1, 2019 and March 31, 2019 will become required for conformity assessments on
-October 1, 2019. New tests posted between October 1, 2018 and December 31, 2018
-will become required for conformity assessments on July 1, 2019. New tests
-posted before October 1, 2018 are required for conformity assessments. The
+Test B551002 was modified to remove an unnecessary dependence on
+Ada.Iterator_Interfaces.
+
+Test B631001 was created to check that a prefixed view is intrinsic.
+
+New tests posted between July 1, 2019 and September 30, 2019 will become
+required for conformity assessments on April 1, 2020. New tests posted between
+April 1, 2019 and June 30, 2019 will become required for conformity assessments
+on January 1, 2020. New tests posted between January 1, 2019 and March 31, 2019
+will become required for conformity assessments on October 1, 2019. New tests
+posted before January 1, 2019 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
@@ -255,9 +245,12 @@
 B413004 [Modified] VCS Label: A4_1J
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
+
+C415001 [Allowed Modification] New VCS Label: A4_1N Org VCS Label: A4_1
+			Required after 2020-01-01
+	Return @119 fails an accessibility check unless C is aliased.
 
-B452001 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+B452001 [New] VCS Label: A4_1K
 	Check that a membership that contains choice expressions is
 	illegal for a limited type that does not have equality.
 
@@ -271,8 +264,7 @@
 	membership operations works as intended.
 	[VCS Label A4_1F] Fixed incorrect test number passed to Report.
 
-C452003 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+C452003 [New] VCS Label: A4_1K
 	Check that memberships of general access-to-object types work as
 	defined.
 
@@ -294,18 +286,15 @@
 	[VCS Label A4_1M] Corrected to remove cases made illegal by
 	AI12-0328-1.
 
-C452A01 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+C452A01 [New] VCS Label: A4_1K
 	Check that “=” for language-defined private types behaves as if it
 	is predefined. Part 1: core types.
 
-C452A02 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+C452A02 [New] VCS Label: A4_1K
 	Check that “=” for language-defined private types behaves as if it
 	is predefined. Part 2: types of the Ada.Strings subsystem.
 
-C452A03 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+C452A03 [New] VCS Label: A4_1K
 	Check that “=” for language-defined private types behaves as if it
 	is predefined. Part 3: Annex C types.
 
@@ -402,6 +391,10 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
+B551002 [Allowed Modification] New VCS Label: A4_1N Org VCS Label: A4_1
+			Required after 2020-01-01
+	Revised test to remove dependence on Ada.Iterator_Interfaces.
+
 B552A01 [Modified] VCS Label: A4_1G
 	Added additional error locations to directly support common error
 	reporting strategies. Fixed an overlong line.
@@ -560,6 +553,11 @@
 	required (and the comment that only one error need be detected is
 	bogus).
 
+B631001 [Pending New] New VCS Label: A4_1N
+			Required after 2020-04-01
+	Check that Resolution and Legality Rules for the universal access
+	equality operator are enforced.
+
 B65005A [Modified] VCS Label: A4_1D
 	Added additional error locations to directly support common error
 	reporting strategies.
@@ -687,8 +685,7 @@
 B83027D [Modified] VCS Label: A4_1G
 	Corrected bad error tag, and added error location indicators.
 
-B831006 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+B831006 [New] VCS Label: A4_1K
 	Checks that overriding indicators cannot be given on any
 	subprogram declaration in a protected body.
 
@@ -721,8 +718,7 @@
 	Checks that “known to be constrained” is properly enforced for
 	renames. Part 2: Access cases.
 
-B851007 [Pending New] New VCS Label: A4_1K
-			Required after 2019-07-01
+B851007 [New] VCS Label: A4_1K
 	[VCS Label A4_1H] Checks that “known to be constrained” is
 	properly enforced for renames. Part 3: Generic cases.
 	[VCS Label A4_1K] Corrected types of declaration @198 and @214,
@@ -1183,24 +1179,14 @@
 
 How to get new and modified tests:
 
-The official home of the ACATS test suite is the ACAA web site. The site can be
-accessed at www.ada-auth.org.
+The official home of the ACATS test suite is the ACAA web site. The site can be accessed at www.ada-auth.org.
 
-The complete set of official new and modified tests are available in the
-Mod_4_1M.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 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.]
+The complete set of official new and modified tests are available in the Mod_4_1N.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.
 
-If you cannot get the files from the official site or you cannot get the files
-in a format appropriate for your processor, please contact your ACAL.
+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 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 con
sidered the 'official' versions.]
 
+If you cannot get the files from the official site or you cannot get the files in a format appropriate for your processor, please contact your ACAL.
+
 The baseline ACATS 4.1 is available in various formats on the ACAA web site.
 
 Summary lists:
@@ -1229,6 +1215,8 @@
 
 (Refer to the main list for details)
 
+B551002	2020-01-01
+C415001	2020-01-01
 C94001A	2019-10-01
 C94001B	2019-10-01
 C94001C	2019-10-01
@@ -1362,6 +1350,7 @@
 B354002
 B35A001
 B3A2018
+B452001
 B458001
 B480004
 B611001
@@ -1390,8 +1379,10 @@
 B730012
 B730013
 B750A07
+B831006
 B851005
 B851006
+B851007
 B853001
 B854002
 B854003
@@ -1416,6 +1407,10 @@
 C35A001
 C3A0030
 C452002
+C452003
+C452A01
+C452A02
+C452A03
 C453001
 C460014
 C460015
@@ -1454,21 +1449,16 @@
 
 (Refer to the main list for details)
 
-B452001	2019-07-01
 B452002	2019-10-01
-B831006	2019-07-01
-B851007	2019-07-01
+B631001	2020-04-01
 B940008	2020-01-01
 B940009	2020-01-01
 B940010	2020-01-01
 B940011	2020-01-01
 B952005	2020-01-01
-C452003	2019-07-01
 C452004	2019-10-01
 C452005	2019-10-01
 C452006	2020-01-01
-C452A01	2019-07-01
-C452A02	2019-07-01
-C452A03	2019-07-01
 C940017	2020-01-01
+
 

Questions? Ask the ACAA Technical Agent