CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2023/03/30 06:34:35	1.109
+++ acats/docs/mod_list.txt	2023/07/01 05:02:14	1.110
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1DD
-March 29, 2023
+Version 4.1EE
+June 30, 2023
 
 
 What is this?
@@ -22,13 +22,17 @@
 
 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 test B3A1011 checks that 3.10.1(10.1/5) from AI12-0155-1 is enforced.
+New test C961001 checks the operation of the Image and Value subprograms in
+Ada.Calendar.Formatting.
 
-New test B3A1A06 checks that illegal calls as defined by 3.10.1(10/3) (from
-AI05-0151-1) are enforced.
+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
 are tests that don't have substantive changes, but rather change comments
 (including error locations for B-Tests). For ACATS users that are using
@@ -38,13 +42,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, 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 between July 1, 2022 and September 30, 2022 will
-become required for conformity assessments on April 1, 2023. New tests posted
-before July 1, 2022 are required for conformity assessments. The effective dates
-of tests are marked in the lists.
+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
+effective dates of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
@@ -64,24 +68,19 @@
 
 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
@@ -120,9 +119,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
@@ -491,14 +490,12 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
-B433004 [Pending New] New VCS Label: A4_1BB
-			Required after 2023-04-01
+B433004 [New] VCS Label: A4_1BB
 	Check that an others choice is not allowed in an aggregate that
 	appears as the dependent expression of a conditional expression
 	in an unconstrained context.
 
-C433007 [Pending New] New VCS Label: A4_1BB
-			Required after 2023-04-01
+C433007 [New] VCS Label: A4_1BB
 	Check that an aggregate with an others choice can be assigned
 	into an array variable even if the nominal subtype of the variable
 	is unconstrained.
@@ -1347,6 +1344,11 @@
 	Check the overriding indicators work properly on task and
 	protected entries.
 
+C961001 [Pending New] New VCS Label: A4_1EE
+			Required after 2024-01-01
+	Check that the Image and Value subprograms of
+	Ada.Calendar.Formatting operate as intended.
+
 C97307A [Modified] VCS Label: A4_1M
 	Revised test to replace excessive delays with Impdef constants.
 
@@ -1425,6 +1427,19 @@
 	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
+	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
+	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.
+
 CC3601C [Modified] VCS Label: A4_1E
 	Moved “=” for type Rec in order that it not violate 4.5.2(9.8/4).
 
@@ -1972,7 +1987,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1DD.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1EE.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
@@ -2262,6 +2277,7 @@
 B431009
 B432002
 B432003
+B433004
 B440001
 B452001
 B452002
@@ -2357,6 +2373,7 @@
 C3A0030
 C431003
 C431004
+C433007
 C452002
 C452003
 C452004
@@ -2435,10 +2452,11 @@
 B3A1011	2023-10-01
 B3A1A06	2023-10-01
 B413005	2023-07-01
-B433004	2023-04-01
+BB50001	2024-01-01
 C413007	2023-07-01
-C433007	2023-04-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