CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	1998/12/18 21:19:18	1.2
+++ acats/docs/mod_list.txt	1998/12/18 21:26:49	1.3
@@ -1,45 +1,21 @@
 ACATS Test Modification List
 
-Version 2.1A
-October 2, 1998
+Version 2.1B
+October 30, 1998
 
 
 Changes from the last list:
 
-Normally, this section will include the changes since the previous version of
-this list.  Since this is the first version of this list, the entire list is
-changed.
-
-I will point out the totally new additions to the list, and explain how this
-list was created from the old ACVC 2.1 lists.
-
-Test CD30002.A is newly modified.  The original test was modified for ACVC 2.1,
-and the correction is wrong - the representation clause for Half_Object uses one
-value for alignment, and a different value is used in the later checks.  The
-value used in the rep. clause is incorrect, so it has been repaired.
-
-Test LXE3001.A is also newly modified. The original test assumes that
-Program_Error will be raised (rather than might be), does not properly handle
-exceptions raised because the partitions are inaccessible to each other, and
-unnecessarily hangs. The test has been corrected.
-
-All previously withdrawn tests have remained that way; any repaired versions
-will be considered new (however, those repaired in the forthcoming ACVC 2.2 will
-be replaced at once).
-
-ACVC 2.1 Required modifications have been turned into "Modified" class tests
-(except for the two brand- new modifications, which are handled via the new
-procedures). These tests use the exact modifications specified by the AVO.
-
-ACVC 2.1 Permitted modification have been turned into "Allowable Modification"
-class tests (which eventually will be required. These tests sometimes are the
-new ACVC 2.2 versions, which are more readable than the AVO modified versions.
-
-There are no new tests.  (Note that ACVC 2.2 will be used as a new baseline
-suite, and some of the tests in that suite would meet the requirements for new
-tests.  That baseline will be effective 4/5/99.)
+Test CD30002.A has been modified again. The alignment calculation for Multiple_Alignment still failed to
+produce legitimate values on some targets. The alignment value could be larger than the maximum
+supported by the implementation.
 
+Test CXE5002.A is newly modified. If the optional partition B is executed, the provided body for
+System.RPC prints a spurious failed message. Even so, the test meets its passing criteria.
 
+There are no new tests.  (Note that ACVC 2.2 will be used as a new baseline suite, and some of the tests in
+that suite would meet the requirements for new tests.  That baseline will be effective April 5, 1999.)
+
 List explanation:
 
 Test numbers given are for the basic test.  Categories are "Withdrawn" (the test
@@ -79,33 +55,33 @@
 	@42,58 is legal in Ada95 (3.8.1:7 (vs. RM83 3.7.3:3))
 
 B392002 [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99, Org VCS Label: A2_1
+			Required after 1999-01-02, Org VCS Label: A2_1
 	Primitive function in private part @186 violates 3.9.3:10
 
 B393006 [Modified] VCS Label: A2_1A
 	Declaration of Func @102/3 Violates 3.9.3(10)
 
 B490001 [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99, Org VCS Label: A2_1
+			Required after 1999-01-02, Org VCS Label: A2_1
 	Errors @295, 298, 324 are in error for other reasons than marked.
 
 B610001 [Modified] VCS Label: A2_1A
 	Procedure Calls @221,223,225,228 are ambiguous
 
 B83E01C [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99, Org VCS Label: A2_1
+			Required after 1999-01-02, Org VCS Label: A2_1
 	Errors @172, 177 are "Optional"
 
 B83E01D [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99, Org VCS Label: A2_1
+			Required after 1999-01-02, Org VCS Label: A2_1
 	Errors @302, 307 are "Optional"
 
 B83E01E [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99, Org VCS Label: A2_1
+			Required after 1999-01-02, Org VCS Label: A2_1
 	Errors @F3-56/-61 are "Optional"
 
 BA21003 [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99, Org VCS Label: A2_1
+			Required after 1999-01-02, Org VCS Label: A2_1
 	Compilation with errors may affect later error detection.
 	[Note: The fix is to split the first test file (BA210030).
 	This changes the numbers of the remaining test files; scripts
@@ -121,7 +97,7 @@
 	Declaration of FUNC @194 violates 3.9.3:10
 
 BDE0001 [Allowed Modification] New VCS Label: A2_1A
-			Required after 01/02/99; Org VCS Label: A2_1
+			Required after 1999-01-02; Org VCS Label: A2_1
 	Both implicit & explicit function @154 violate 3.9.3:10
 
 C390010 [Withdrawn]
@@ -134,7 +110,7 @@
 	@350 will raise Constraint_Error when a tag check fails
 
 C3A2A02 [Allowed modification] New VCS Label: A2_1A
-			Required on 1/02/99 Org VCS Label: A2_1
+			Required on 1999-01-02 Org VCS Label: A2_1
 	Elaboration check may fail.
 
 C42006A [Withdrawn]
@@ -147,11 +123,11 @@
 	@161 wrongly expects at least one call to Adjust (7.6:21)
 
 C760009 [Allowed modification] New VCS Label: A2_1A
-			Required on 1/02/99 Org VCS Label: A2_1
+			Required on 1999-01-02 Org VCS Label: A2_1
 	Elaboration check may fail.
 
 C760010 [Allowed modification] New VCS Label: A2_1A
-			Required on 1/02/99 Org VCS Label: A2_1
+			Required on 1999-01-02 Org VCS Label: A2_1
 	Elaboration check may fail.
 
 C760012 [Withdrawn]
@@ -177,7 +153,7 @@
 	@180,192 aborted calls may be yet not cancelled (9.5.3:25, 9.8:15)
 
 C9A007A [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Absence of priorities results in a race condition.
 
 C9A008A [Withdrawn]
@@ -192,52 +168,53 @@
 CD20001 [Withdrawn]
 	Wrongly requires 'Component_Size to be a factor of word size (13.2:9)
 
-CD30002 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
-	@130 Alignment declared as Max_Word*2, but tests @178 for Multiple_Alignment.
+CD30002 [Allowed Modification] New VCS Label: A2_1B
+			Required after 1999-01-30 Org VCS Label: A2_1
+	@130 Alignment declared as Max_Word*2, but tests @178 for Multiple_Alignment. (VCS Label A2_1A)
+	Multiple_Alignment may exceed maximum supported by implementation. (VCS Label A2_1B)
 
 CD30005 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name does not follow conventions.
 
 CE3115A [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Output to external file may be buffered.
 
 CXA5012 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Integer'Last may be less than 100_000 (@86)
 
 CXA5015 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	The floating-point equivalence @255 need not hold
 
 CXA5A01 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Constraint_Error needn't occur if 'Machine_Overflows=False.
 
 CXA5A02[Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Constraint_Error needn't occur if 'Machine_Overflows=False.
 
 CXA5A03[Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Constraint_Error needn't occur if 'Machine_Overflows=False.
 
 CXA5A04[Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Constraint_Error needn't occur if 'Machine_Overflows=False.
 
 CXA5A09[Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Constraint_Error needn't occur if 'Machine_Overflows=False.
 
 CXAF001 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Command_Name returns null string if arguments can't be passed.
 
 CXB3008 [Allowed Modification] New VCS Label: A2_1A
-			Required on 1/02/99 Org VCS Label: A2_1
+			Required on 1999-01-02 Org VCS Label: A2_1
 	  C function "atof" might not function as expected
 
 CXB3009 [Modified] VCS Label: A2_1A
@@ -263,7 +240,7 @@
 	@91 the pragma argument violates 10.1.5:6 (no subprogram_declaration)
 
 FDB0A00 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Overflow check @98 is made too soon.
 
 LA1001F [Withdrawn]
@@ -273,7 +250,7 @@
 ===== Annex C =====
 
 BXC6A02 [Allowed modification] New VCS Label: A2_1A
-		Required after 01/02/99. Org VCS Label: A2_1
+		Required after 1999-01-02. Org VCS Label: A2_1
 	Type FXC6A00.NonVolatile_Tagged inherits volatility @159, 188
 
 BXC6A03 [Withdrawn]
@@ -290,11 +267,11 @@
 ===== Annex D =====
 
 CXD1008 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	The floating point equivalence @228 need not hold.
 
 CXD2004 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Execution correctness depends on ready-queue order.
 
 CXD2005 [Withdrawn]
@@ -313,11 +290,11 @@
 	"Victim_Type" tasks need not complete before Check_Results is called.
 
 CXD6002 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Task Weapon is not terminated for multi-processors.
 
 CXD8002 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	To_Duration(RT.Time_Span_Unit) might equal 0.0.
 	Multiprocessor may have different readings of volatile Global.
 
@@ -344,15 +321,18 @@
 CXE4006 [Modified] VCS Label: A2_1A
 	Test expects wrong type'tag @772
 
+CXE5002 [Allowed Modification] New VCS Label: A2_1B
+			Required after 1999-01-30 Org VCS Label: A2_1
+	Optional partition B prints a spurious failure message.
+
 CXE5003 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Parameter Last in Read may require a value.
 
 LXE3001 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Test may hang when exceptions are raised as expected.
-	Test requires that Program_Error must be raised, but it is not
-	required. (E.3:6)
+	Test requires that Program_Error must be raised, but it is not required. (E.3:6)
 
 ===== Annex F =====
 
@@ -364,21 +344,21 @@
 	Checks for exceptions with plus/minus one are incorrect.
 
 CXG2002 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Intermediate results in expressions @97, 272 can overflow.
 
 CXG2004 [Modified] VCS Label: A2_1A
 	Calculation of representable X and X/3 is incorrect.
 
 CXG2008 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Constraint_Error need not be raised if Real'Machine_Overflows is False.
 
 CXG2011 [Modified] VCS Label: A2_1A
 	Log(0.0) must raise Constraint_Error, not Argument_Error.
 
 CXG2012 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Intermediate result in expression @124 may overflow.
 
 CXG2013 [Modified] VCS Label: A2_1A
@@ -386,18 +366,18 @@
 	error bound is incorrect.
 
 CXG2014 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Taylor series in Subtraction_Test lacks sufficient terms.
 
 CXG2016 [Modified] VCS Label: A2_1A
 	Conversion to degrees in Identitity_1_Test is incorrect.
 
 CXG2017 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Error bound for Tabh(X) is incorrect for X near zero.
 
 CXG2020 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Intermediate result in expression @119 may overflow.
 
 CXG2022 [Withdrawn]
@@ -406,52 +386,52 @@
 ===== Annex H =====
 
 LXH4001 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4002 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4003 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4004 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4005 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4006 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4007 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4008 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4009 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4010 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4011 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 	(See modified grading).
 
 LXH4012 [Allowed Modification] New VCS Label: A2_1A
-			Required after 1/02/99 Org VCS Label: A2_1
+			Required after 1999-01-02 Org VCS Label: A2_1
 	Main subprogram name violates naming standards.
 
 LXH4013 [Modified] VCS Label: A2_1A
@@ -463,13 +443,15 @@
 The ACATS VCS is not yet running, so we are providing the tests in several
 forms.
 
-The official modified tests are available currently in the Mods_2_1A.Zip file
+The official modified tests are available currently in the Mods_2_1B.Zip file
 temporarily available at ftp://ocsystems.com/private/arg  A more permanent site
 will be announced soon.  The permanent site will include tar files as well.
 
 If you cannot get the files from the official site or you cannot convert the
 MS-DOS format files in the Zip, please contact your ACAL (AVF).
 
+ACATS 2.2 is available in various formats from the www.adaic.org (in the compilers section). As noted
+above, it will be effective April 5, 1999.
 
 
 Summary lists:
@@ -511,47 +493,48 @@
 
 (Refer to the main list for details)
 
-B392002	01/02/99
-B490001	01/02/99
-BDE0001	01/02/99
-BXC6A02	01/02/99
-C3A2A02	01/02/99
-C760009	01/02/99
-C760010	01/02/99
-C9A007A	01/02/99
-CD30002	01/02/99
-CD30005	01/02/99
-CXA5012	01/02/99
-CXA5015	01/02/99
-CXA5A01	01/02/99
-CXA5A02	01/02/99
-CXA5A03	01/02/99
-CXA5A04	01/02/99
-CXA5A09	01/02/99
-CXAF001	01/02/99
-CXB3008	01/02/98
-CXE5003	01/02/99
-CXG2002	01/02/99
-CXG2008	01/02/99
-CXG2012	01/02/99
-CXG2014	01/02/99
-CXG2017	01/02/99
-CXG2020	01/02/99
-FDB0A00	01/02/99
-LXE3001	01/02/99
-LXH4001	01/02/99
-LXH4002	01/02/99
-LXH4003	01/02/99
-LXH4004	01/02/99
-LXH4005	01/02/99
-LXH4006	01/02/99
-LXH4007	01/02/99
-LXH4008	01/02/99
-LXH4009	01/02/99
-LXH4010	01/02/99
-LXH4011	01/02/99
-LXH4012	01/02/99
-LXH4013	01/02/99
+B392002	1999-01-02
+B490001	1999-01-02
+BDE0001	1999-01-02
+BXC6A02	1999-01-02
+C3A2A02	1999-01-02
+C760009	1999-01-02
+C760010	1999-01-02
+C9A007A	1999-01-02
+CD30002	1999-01-30
+CD30005	1999-01-02
+CXA5012	1999-01-02
+CXA5015	1999-01-02
+CXA5A01	1999-01-02
+CXA5A02	1999-01-02
+CXA5A03	1999-01-02
+CXA5A04	1999-01-02
+CXA5A09	1999-01-02
+CXAF001	1999-01-02
+CXB3008	1999-01-02
+CXE5002	1999-01-30
+CXE5003	1999-01-02
+CXG2002	1999-01-02
+CXG2008	1999-01-02
+CXG2012	1999-01-02
+CXG2014	1999-01-02
+CXG2017	1999-01-02
+CXG2020	1999-01-02
+FDB0A00	1999-01-02
+LXE3001	1999-01-02
+LXH4001	1999-01-02
+LXH4002	1999-01-02
+LXH4003	1999-01-02
+LXH4004	1999-01-02
+LXH4005	1999-01-02
+LXH4006	1999-01-02
+LXH4007	1999-01-02
+LXH4008	1999-01-02
+LXH4009	1999-01-02
+LXH4010	1999-01-02
+LXH4011	1999-01-02
+LXH4012	1999-01-02
+LXH4013	1999-01-02
 
 
 Modified Tests

Questions? Ask the ACAA Technical Agent