CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2003/03/15 04:14:08	1.37
+++ acats/docs/mod_list.txt	2003/04/04 04:00:33	1.38
@@ -1,61 +1,35 @@
 ACATS Test Modification List
 
-Version 2.5D
-March 14, 2003
+Version 2.5E
+April 3, 2003
 
 
 Changes from the last list:
 
-As two quarters have passed, a number of tests have changed categories (check
+As another quarter has passed, a number of tests have changed categories (check
 the lists for details).
 
-B34005Q, B34005T, C34005P, and C34005V all contain type conversions prohibited
-by the recently approved AI-246. These conversions and supporting code have
-been removed from the tests.
-
-Test B36201A checks that 'First, etc. cannot be used on unconstrained arrays.
-Several of the subtests use 'Base on a constrained array subtype to produce an
-unconstrained array subtype. However, since 'Base is not defined for composite
-types in Ada 95, these subtests are not checking the test objective. They have
-been removed.
-
-C940004 contains a race condition, in that Task3 can become queued on the
-'printer' before Task2. Code has been added to insure that Task2 is queued
-before proceeding.
-
-Test C954012 contains a termination bug and a race condition. The termination
-bug is that both conditions need to be False before Report.Result is called,
-but the test author used "and" rather than "or" in the while loop. The test
-deadlocks if all of the tasks have been processed through Distributor.Input
-before Credit_Overload.Set_True is called, because then the guard is never
-re-evaluated and the tasks queued on Wait_for_Underload are never processed. To
-solve this problem, an extra entry was added to Distributor, and Line_Driver
-was modified to call it once Credit_Overloaded becomes False.
-
-CD10002 was corrected to derive the correct types on lines 465-6. These types
-are commented to be "indirect" derivations, yet they are identical to the
-derivations above them. The types were supposed to be Nt10 and Nt11.
-
-Test BDE0009 and BDE0010 are new tests that check the freezing rules clarified
-by AI-0106 and subsequently issued in Technical Corrigendum 1.
-
-Test BXH4003 assumed that instantiations of Enumeration_IO and Integer_IO are
-illegal by H.4(8/1). However, since we do not know the contents of these
-packages, we cannot know if they are really illegal. They have been replaced by
-generic packages with library-level allocators so that the instantiations are
-known to be illegal.
+Tests LA20001, LC30001, LC30002, and LC30003 use an incorrect format for
+--OPTIONAL ERROR:. This has been corrected - however, the substance of the
+tests has not been changed.
+
+Test CXG2018 was modified to discard excess precision in the values used in the
+identity test. If this precision is not discarded, an implementation which uses
+extra precision in the calculation of some values can exceed the allowed error
+bounds.
 
 The ACAA would like to remind ACATS users that a base test suite update is not
 planned for 2003. There has been insufficient change to the test suite to
-justify the expensive of developing a new baseline. The ACAA will give 90 days
+justify the expense of developing a new baseline. The ACAA will give 90 days
 notice of a new baseline test suite, as required by the ACAA procedures.
 
-New tests inserted between January 1, 2003 and April 1, 2003 will become
-required for conformity assessments on October 1, 2003. New tests inserted
-between July 1, 2002 and October 1, 2002 will become required for conformity
-assessments on April 1, 2003. New tests added to the ACATS before July 1, 2002
-are now required for conformity assessments. The effective dates of tests are
-marked in the lists.
+New tests inserted between April 1, 2003 and July 1, 2003 will become required
+for conformity assessments on January 1, 2004. New tests inserted between
+January 1, 2003 and April 1, 2003 will become required for conformity
+assessments on October 1, 2003. New tests inserted between July 1, 2002 and
+October 1, 2002 will become required for conformity assessments on April 1,
+2003. New tests added to the ACATS before October 1, 2002 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.
@@ -191,21 +165,38 @@
 	before Credit_Overload.Set_True, the guard is never re-evaluated
 	and the tasks queued on Wait_for_Underload are never processed.
 
-LC30001 [Pending New] New VCS Label: A2_5C
-			Required after 2003-04-01
+LA20001 [Allowed Modification] New VCS Label: A2_5E Org VCS Label: A2_5
+			Required after 2003-10-01
+	The OPTIONAL ERROR: comment @f2-52 does not have the format
+	specified by the test suite documentation.
+
+LC30001 [New] New VCS Label: A2_5C
 	Check that a partition containing recursive instantiation cannot
 	be executed (one level using renames).
 
-LC30002 [Pending New] New VCS Label: A2_5C
-			Required after 2003-04-01
+LC30001 [Allowed Modification] New VCS Label: A2_5E Org VCS Label: A2_5C
+			Required after 2003-10-01
+	The OPTIONAL ERROR: comment @f1-52 & f2-53 do not have the format
+	specified by the test suite documentation.
+
+LC30002 [New] New VCS Label: A2_5C
 	Check that a partition containing recursive instantiation cannot
 	be executed (two levels).
+
+LC30002 [Allowed Modification] New VCS Label: A2_5E Org VCS Label: A2_5C
+			Required after 2003-10-01
+	The OPTIONAL ERROR: comment @f1-52 & f2-53 do not have the format
+	specified by the test suite documentation.
 
-LC30003 [Pending New] New VCS Label: A2_5C
-			Required after 2003-04-01
+LC30003 [New] New VCS Label: A2_5C
 	Check that a partition containing recursive instantiation cannot
 	be executed (three levels).
 
+LC30003 [Allowed Modification] New VCS Label: A2_5E Org VCS Label: A2_5C
+			Required after 2003-10-01
+	The OPTIONAL ERROR: comment @f1-52 & f2-53 do not have the format
+	specified by the test suite documentation.
+
 BC3009C [Modified] VCS Label: A2_5C
 	Test cases checking a post-compilation rule were removed.
 
@@ -282,7 +273,10 @@
 
 ===== Annex G =====
 
-[None]
+CXG2018 [Allowed Modification] New VCS Label: A2_5E Org VCS Label: A2_5
+			Required after: 2003-10-01
+	'Machine was added to discard excess precision of test values
+	@248, 250.
 
 ===== Annex H =====
 
@@ -302,7 +296,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_5D Zip and Tar files on the ACAA web site.
+Mod_2_5E 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.
@@ -341,6 +335,11 @@
 C940004	2003-07-01
 C954012	2003-07-01
 CD10002	2003-07-01
+CXG2018	2003-10-01
+LA20001	2003-10-01
+LC30001	2003-10-01
+LC30002	2003-10-01
+LC30003	2003-10-01
 
 
 Modified Tests
@@ -376,6 +375,9 @@
 CDD2A02
 CDD2A03
 FDD2A00
+LC30001
+LC30002
+LC30003
 
 
 Pending New Tests
@@ -384,6 +386,4 @@
 
 BDE0009	2003-10-01
 BDE0010	2003-10-01
-LC30001	2003-04-01
-LC30002	2003-04-01
-LC30003	2003-04-01
+

Questions? Ask the ACAA Technical Agent