CVS difference for acats/new/b611002.a

Differences between 1.1 and version 1.2
Log of other versions for file acats/new/b611002.a

--- acats/new/b611002.a	2016/02/04 07:31:58	1.1
+++ acats/new/b611002.a	2016/02/05 05:44:58	1.2
@@ -40,7 +40,8 @@
 --
 -- CHANGE HISTORY:
 --     03 Feb 2016   RLB   Created test.
-
+--
+--!
 package B611002P is
 
     procedure Spec1 (P : in out Natural);
@@ -120,6 +121,9 @@
 
     function Spec8 (P : Natural) return Natural is (P * 2)
        with Post => P mod 2 = 0;                                    -- ERROR:
+
+    -- Note: Aspects Pre and Post are illegal on null procedures by
+    -- 6.1.1 (9/3), so we don't need to test them here.
 
 end B611002P;
 

Questions? Ask the ACAA Technical Agent