CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2005/01/08 03:35:12	1.45
+++ acats/docs/mod_list.txt	2005/12/21 23:34:56	1.46
@@ -1,25 +1,16 @@
 ACATS Test Modification List
 
-Version 2.5L
-January 7, 2005
+Version 2.5M
+December 21, 2005
 
 
 Changes from the last list:
 
-C392014 includes an illegal discriminant constraint on line 181. Since the
-constraint is not used by the test, it has been removed.
+A junk comment was removed from CC3016F.
 
-C92005B assumes that the storage size of a task will fit in the range of
-Integer; this is not guaranteed by the Standard.
+The second alignment check in CD90001 should be "/=" rather than "=". A similar
+error was corrected in the first alignment check in 1997.
 
-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.
@@ -30,9 +21,9 @@
 90 days notice of a new baseline test suite, as required by the ACAA
 procedures.
 
-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
+New tests inserted between January 1, 2006 and April 1, 2006 will become
+required for conformity assessments on October 1, 2006. No new tests were
+inserted between January 1, 2004 and January 1, 2006. 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.
 
@@ -116,8 +107,7 @@
 	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
+C392014 [Modified] VCS Label: A2_5L
 	Constraint @181 is not allowed as the type has unknown
 	discriminants by 3.7(26). It was removed.
 
@@ -175,8 +165,7 @@
 	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
+C92005B [Modified] New VCS Label: A2_5L
 	Conversions @57 may raise C_E because Integer is not required to
 	be large enough to hold a storage size.
 
@@ -219,6 +208,10 @@
 BC3009C [Modified] VCS Label: A2_5C
 	Test cases checking a post-compilation rule were removed.
 
+CC3016F [Allowed Modification] New VCS Label: A2_5M Org VCS Label: A2_5
+			Required after 2006-04-01
+	A junk comment line @25 was removed.
+
 CC51008 [New] New VCS Label: A2_5B
 	Check that operations are inherited for a formal derived type
 	whose ancestor is also a formal type as described in the
@@ -236,6 +229,11 @@
 CD72A02 [Modified] VCS Label: A2_5A
 	The test description @37-38 refers to a non-existent test.
 
+CD90001 [Allowed Modification] New VCS Label: A2_5M Org VCS Label: A2_5
+			Required after 2006-04-01
+	Compare @216 should be "/=", as described in the comment. A
+	similar error @191 was fixed in 1997.
+
 BDD2002 [New] New VCS Label: A2_5A
 	Check that a limited type extension is illegal if the parent type
 	has user defined Read or Write attributes, and a limited extension
@@ -275,17 +273,17 @@
 	Check that implicit_dereferences, object names, and implicit
 	conversions are freezing.
 
+CXB3012 [Modified] VCS Label: A2_5L
+	Subtests 5 through 8 assume behavior changed by AI-242. The test
+	was changed to allow the AI-242 results.
+
 ===== Annex C =====
 
-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.
+[None]
 
 ===== Annex D =====
 
-CXD4009 [Allowed Modification] New VCS Label: A2_5L Org VCS Label: A2_5
-			Required after 2005-07-01
+CXD4009 [Modified] VCS Label: A2_5L
 	The T tasks may make their second call on the entries of Checker
 	before Checker finishes processing the first set.
 
@@ -324,7 +322,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_5L.Zip and Tar files on the ACAA web site.
+Mod_2_5M.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.
@@ -356,10 +354,8 @@
 
 (Refer to the main list for details)
 
-C392014	2005-07-01
-C92005B	2005-07-01
-CXB3012	2005-07-01
-CXD4009	2005-07-01
+CC3016F	2006-04-01
+CD90001	2006-04-01
 
 
 Modified Tests
@@ -369,6 +365,7 @@
 B34005Q
 B34005V
 B36201A
+C392014
 B3A2009
 BC3009C
 BXH4003
@@ -379,10 +376,13 @@
 C460002
 C761010
 C854002
+C92005B
 C940004
 C954012
 CD10002
 CD72A02
+CXB3012
+CXD4009
 CXG2018
 LA20001
 LC30001

Questions? Ask the ACAA Technical Agent