CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2001/01/05 22:05:27	1.24
+++ acats/docs/mod_list.txt	2001/01/26 20:35:43	1.25
@@ -1,11 +1,26 @@
 ACATS Test Modification List
 
-Version 2.3G
-January 5, 2001
+Version 2.3H
+January 26, 2001
 
 
 Changes from the last list:
 
+Test CDB0A02 was modified to check only the conditions imposed by the RM: that
+is, there is no defined maximum value for Max_Size_in_Storage_Elements, only
+that it be larger than any request to Allocate.
+
+Test CXB3010 was modified to better check the objective: if the function
+Interfaces.C.Strings.Value returns a string with the wrong bounds,
+Constraint_Error would be raised anyway. This might allow a non- conforming
+implementation to pass the test.
+
+Tests CXE4002, CXE4004, and CXE4005 were modified to remove a race condition
+identical to one removed from test CXE4006 about a year ago. Because of the
+original design of the tests, it is possible for Report.Result to be called
+before Report.Test, which will cause a Failed result, irrespective of the actual
+test result.
+
 Tests modified before October 1, 2000 are now required.
 
 New tests inserted between January 1, 2001 and April 1, 2001 will become
@@ -102,6 +117,16 @@
 	Removed subtest for Exception_Identity pending resolution of
 	AI-00241.
 
+CDB0A02 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+			Required after 2001-07-01
+	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
+	are not justified by 13.11.1:3.
+
+CXB3010 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+			Required after 2001-07-01
+	Assignment @287 might raise Constraint_Error, obscuring the
+	subtest objective.
+
 CXB3015 [Modified]  VCS Label: A2_2J
 	Modified the component of Array_of_Arrays to have static bounds.
 
@@ -117,7 +142,20 @@
 
 ===== Annex E =====
 
-[None]
+CXE4002 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+			Required after 2001-07-01
+	A race condition at start time might cause the test to fail
+	unnecessarily.
+
+CXE4004 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+			Required after 2001-07-01
+	A race condition at start time might cause the test to fail
+	unnecessarily.
+
+CXE4005 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+			Required after 2001-07-01
+	A race condition at start time might cause the test to fail
+	unnecessarily.
 
 ===== Annex F =====
 
@@ -141,11 +179,10 @@
 
 The official home of the ACATS test suite is the ACAA web site. The site can be
 accessed from the Compilers and Conformance section of the Ada IC web site
-(www.adaic.org). It also can be accessed directly at www.ada-auth.org/~acats -
-but note that this URL may change slightly in the future.
+(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_3G Zip and Tar files on the ACAA web site.
+Mod_2_3H 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.
@@ -155,7 +192,7 @@
 browse the differences between versions of a test.
 
 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 (AVF).
+in a format appropriate for your processor, please contact your ACAL.
 
 The baseline ACATS 2.3 is available in various formats on the ACAA web site.
 
@@ -176,6 +213,11 @@
 
 B393007	2001-04-01
 CB41004	2001-04-01
+CDB0A02	2001-07-01
+CXB3010	2001-07-01
+CXE4002	2001-07-01
+CXE4004	2001-07-01
+CXE4005	2001-07-01
 LXH4011	2001-04-01
 
 

Questions? Ask the ACAA Technical Agent