CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2004/04/08 02:02:33	1.44
+++ acats/docs/mod_list.txt	2005/01/08 03:35:12	1.45
@@ -1,14 +1,25 @@
 ACATS Test Modification List
 
-Version 2.5K
-April 7, 2004
+Version 2.5L
+January 7, 2005
 
 
 Changes from the last list:
 
-Since another quarter has passed, the status of some tests have changed. There
-are no changes to the test suite.
+C392014 includes an illegal discriminant constraint on line 181. Since the
+constraint is not used by the test, it has been removed.
 
+C92005B assumes that the storage size of a task will fit in the range of
+Integer; this is not guaranteed by the Standard.
+
+CXB3012 checks behavior modified by AI-242 (which was approved by WG9 in June
+2002). The test was modified to allow either behavior. (Ultimately, of course,
+only the new behavior will be allowed.)
+
+CXD4009 contains a race condition; the T tasks may make their second entry call
+before the Checker task finished processing the first set. The test was
+modified to use separate entries for the two subtests.
+
 Note that there is no version 2.5I of the list. As ISO requires with the Ada
 standard, we do not use the letters I and O in version numbers, to avoid
 confusion when reading.
@@ -19,15 +30,11 @@
 90 days notice of a new baseline test suite, as required by the ACAA
 procedures.
 
-New tests inserted between April 1, 2004 and July 1, 2004 will become
-required for conformity assessments on January 1, 2005. New tests inserted
-between January 1, 2004 and April 1, 2004 will become required for conformity
-assessments on October 1, 2004. New tests inserted between
-October 1, 2003 and January 1, 2004 will become required for conformity
-assessments on July 1, 2004. New tests inserted between July 1, 2003 and
-October 1, 2003 will become required for conformity assessments on April 1,
-2004. New tests added to the ACATS before July 1, 2003 are now required for
-conformity assessments. The effective dates of tests are marked in the lists.
+New tests inserted between January 1, 2005 and April 1, 2005 will become
+required for conformity assessments on October 1, 2005. No new tests were
+inserted between January 1, 2004 and January 1, 2005. New tests added to the
+ACATS before January 1, 2004 are now 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.
@@ -109,6 +116,11 @@
 	Pragma Elaborate_All (Report); was added @49 in order to ensure
 	Program_Error is not during elaboration.
 
+C392014 [Allowed Modification] New VCS Label: A2_5L Org VCS Label: A2_5
+			Required after 2005-07-01
+	Constraint @181 is not allowed as the type has unknown
+	discriminants by 3.7(26). It was removed.
+
 C3A2003 [Modified] VCS Label: A2_5B
 	Pragma Elaborate_All (Report); was added @92 in order to ensure
 	Program_Error is not during elaboration.
@@ -163,6 +175,11 @@
 	if it occurs before the subprogram is frozen. (Technical
 	Corrigendum 1, 8.5.4(5/1)).
 
+C92005B [Allowed Modification] New VCS Label: A2_5L Org VCS Label: A2_5
+			Required after 2005-07-01
+	Conversions @57 may raise C_E because Integer is not required to
+	be large enough to hold a storage size.
+
 C940004 [Modified] VCS Label: A2_5D
 	Task3 can legally be queued before Task2, leading to test failure.
 
@@ -260,11 +277,17 @@
 
 ===== Annex C =====
 
-[None]
+CXB3012 [Allowed Modification] New VCS Label: A2_5L Org VCS Label: A2_5
+			Required after 2005-07-01
+	Subtests 5 through 8 assume behavior changed by AI-242. The test
+	Was changed to allow the AI-242 results.
 
 ===== Annex D =====
 
-[None]
+CXD4009 [Allowed Modification] New VCS Label: A2_5L Org VCS Label: A2_5
+			Required after 2005-07-01
+	The T tasks may make their second call on the entries of Checker
+	before Checker finishes processing the first set.
 
 ===== Annex E =====
 
@@ -301,7 +324,7 @@
 (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_2_5K.Zip and Tar files on the ACAA web site.
+Mod_2_5L.Zip and Tar files on the ACAA web site.
 
 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.
@@ -333,7 +356,10 @@
 
 (Refer to the main list for details)
 
-[None.]
+C392014	2005-07-01
+C92005B	2005-07-01
+CXB3012	2005-07-01
+CXD4009	2005-07-01
 
 
 Modified Tests
@@ -396,3 +422,5 @@
 (Refer to the main list for details)
 
 [None.]
+
+

Questions? Ask the ACAA Technical Agent