CVS difference for 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