CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2023/07/01 05:02:14	1.110
+++ acats/docs/mod_list.txt	2024/01/11 05:34:15	1.111
@@ -1,12 +1,12 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1EE
-June 30, 2023
+Version 4.1FF
+January 10, 2024
 
 
 What is this?
 
-This is the ACATS modification list for ACATS 4.1. This document includes test
-corrections, test removals, and new tests for ACATS 4.1. ACATS 4.1 is the
+This is is the ACATS modification list for ACATS 4.1. This document includes
+test corrections, test removals, and new tests for ACATS 4.1. ACATS 4.1 is the
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
@@ -22,18 +22,12 @@
 
 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, October 1st, and January 1st; see
+the lists for the details.
 
-New test C961001 checks the operation of the Image and Value subprograms in
-Ada.Calendar.Formatting.
+There are no new or modified tests in this list.
 
-New test BB50001 checks that the Legality Rules associated with checking pragmas
-are enforced.
-
-New test CB50001 checks that checks are made in the scope of a pragma Unsuppress
-even if the entire unit has checks suppressed.
-
-Note: Some Allowed Modification tests have a required date of “ACATS 4.2”. These
+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
 traditional results comparison rather than the ACATS grading tools, changing
@@ -42,12 +36,8 @@
 tests until the time when the next ACATS version (ACATS 4.2) is issued (most
 likely in the next quarter).
 
-New tests posted between April 1, 2023 and June 30, 2023 will become required
-for conformity assessments on January 1, 2024. New tests posted between January
-1, 2023 and March 31, 2023 will become required for conformity assessments on
-October 1, 2023. New tests posted between October 1, 2022 and December 31, 2022
-will become required for conformity assessments on July 1, 2023. New tests
-posted before October 1, 2022 are required for conformity assessments. The
+No new tests were posted between July 1, 2023 and December 31, 2023. New tests
+posted before July 1, 2023 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
@@ -68,19 +58,24 @@
 
 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 to notice that some test or
-      portion of a test is missing).
+      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
@@ -119,9 +114,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
@@ -130,8 +125,7 @@
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the consolidated Ada standard as available at
-http://www.ada-auth.org/standards/rm12_w_tc1/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.
 
 
 
@@ -367,13 +361,11 @@
 	Split Pack6 so possible error sets don't intersect; fixed
 	overlong lines.
 
-B3A1011 [Pending New] New VCS Label: A4_1DD
-			Required after 2023-10-01
+B3A1011 [New] VCS Label: A4_1DD
 	Check that dynamically tagged dispatching calls of incomplete
 	views are illegal.
 
-B3A1A06 [Pending New] New VCS Label: A4_1DD
-			Required after 2023-10-01
+B3A1A06 [New] VCS Label: A4_1DD
 	Check that calls with actual parameters of untagged incomplete
 	views are illegal. Check that calls returning an incomplete view
 	are illegal.
@@ -414,12 +406,10 @@
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
 
-B413005 [Pending New] New VCS Label: A4_1CC
-			Required after 2023-07-01
+B413005 [New] VCS Label: A4_1CC
 	Check that various incorrect prefixed views are not allowed.
 
-C413007 [Pending New] New VCS Label: A4_1CC
-			Required after 2023-07-01
+C413007 [New] VCS Label: A4_1CC
 	Check that when the prefix of a prefixed view is an access object,
 	evaluation of the prefixed view raises Constraint_Error when the
 	value of the prefix is null.
@@ -500,8 +490,7 @@
 	into an array variable even if the nominal subtype of the variable
 	is unconstrained.
 
-C433008 [Pending New] New VCS Label: A4_1CC
-			Required after 2023-07-01
+C433008 [New] VCS Label: A4_1CC
 	Check that aggregate with others choices can be used inside a
 	conditional expression so long as the context of the conditional
 	expression provides a constraint.
@@ -1344,8 +1333,7 @@
 	Check the overriding indicators work properly on task and
 	protected entries.
 
-C961001 [Pending New] New VCS Label: A4_1EE
-			Required after 2024-01-01
+C961001 [New] VCS Label: A4_1EE
 	Check that the Image and Value subprograms of
 	Ada.Calendar.Formatting operate as intended.
 
@@ -1427,15 +1415,13 @@
 	Check that procedure Ada.Assertions.Assert evaluates its arguments
 	and raises Assertion_Error regardless of the assertion policy.
 
-BB50001 [Pending New] New VCS Label: A4_1EE
-			Required after 2024-01-01
+BB50001 [New] VCS Label: A4_1EE
 	Check that checking pragmas are only allowed in package
 	specifications, declarative parts, and as configuration pragmas.
 	Also, check that the identifier given in a checking pragma has to
 	be the name of a check.
 
-CB50001 [Pending New] New VCS Label: A4_1EE
-			Required after 2024-01-01
+CB50001 [New] VCS Label: A4_1EE
 	Check that checks are still made in the scope of a pragma
 	Unsuppress even if the entire unit is in the scope of a pragma
 	Suppress for those checks.
@@ -1987,7 +1973,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1EE.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1FF.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
@@ -2271,7 +2257,10 @@
 B360001
 B393012
 B393013
+B3A1011
+B3A1A06
 B3A2018
+B413005
 B431007
 B431008
 B431009
@@ -2342,6 +2331,7 @@
 BB42001
 BB42002
 BB42003
+BB50001
 BC10001
 BC40003
 BC54004
@@ -2371,9 +2361,11 @@
 C360B01
 C360B02
 C3A0030
+C413007
 C431003
 C431004
 C433007
+C433008
 C452002
 C452003
 C452004
@@ -2407,9 +2399,11 @@
 C760A02
 C760A03
 C940017
+C961001
 CB42001
 CB42002
 CB42003
+CB50001
 CD11001
 CD30010
 CD30011
@@ -2449,14 +2443,6 @@
 
 (Refer to the main list for details)
 
-B3A1011	2023-10-01
-B3A1A06	2023-10-01
-B413005	2023-07-01
-BB50001	2024-01-01
-C413007	2023-07-01
-C433008	2023-07-01
-C961001	2024-01-01
-CB50001	2024-01-01
 REPORT	ACATS 4.2
 VERSION	ACATS 4.2
 

Questions? Ask the ACAA Technical Agent