CVS difference for ais/ai-00135.txt

Differences between 1.9 and version 1.10
Log of other versions for file ais/ai-00135.txt

--- ais/ai-00135.txt	2001/03/22 22:24:53	1.9
+++ ais/ai-00135.txt	2001/12/06 01:22:01	1.10
@@ -143,17 +143,18 @@
 
 !ACATS test
 
-Create a B-Test to check that a renaming-as-body is illegal if the declaration
+B854001 checks that a renaming-as-body is illegal if the declaration
 occurs before the subprogram it completes is frozen, and the renaming renames
 the subprogram itself (directly or indirectly). (Test, 7-1-0,
 ARG Letter Ballot, February 2001).
 
-Check that a legal circular renames (that is, doesn't violate 8.5.4(5/1))
-is a bounded error, and raises Program_Error or Storage_Error or goes
-infinitely recursive (which ought to eventually raise Storage_Error).
+We could check that a legal circular renames (that is, doesn't violate
+8.5.4(5/1)) is a bounded error, and raises Program_Error or Storage_Error
+or goes infinitely recursive (which ought to eventually raise Storage_Error).
 (No Test, 2-4-2, ARG Letter Ballot, February 2001). Such a test could run
 for a long time (if it goes infinitely recursive), which violates ACATS
-tests standards, so this cannot be tested.
+tests standards, so this cannot be tested. (Note: A test was submitted for
+this objective, contact the ACAA technical agent to get it.)
 
 !appendix
 

Questions? Ask the ACAA Technical Agent