CVS difference for acats/new/b611002.a

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

--- acats/new/b611002.a	2016/03/29 06:12:09	1.3
+++ acats/new/b611002.a	2017/02/09 02:06:52	1.4
@@ -41,7 +41,7 @@
 -- CHANGE HISTORY:
 --     03 Feb 2016   RLB   Created test.
 --     28 Mar 2016   RLB   Added error location codes.
---
+--     20 Jan 2017   RLB   Corrected several error location codes.
 --!
 package B611002P is
 
@@ -65,13 +65,13 @@
 package body B611002P is
 
     procedure No_Spec1 (P : in out Natural)
-       with Pre => P mod 2 = 0 is                              -- OK. {13;1}
+       with Pre => P mod 2 = 0 is                              -- OK. {13;3}
     begin
        P := P * 2;
     end No_Spec1;
 
     procedure Spec1 (P : in out Natural)
-       with Pre => P mod 2 = 0 is                              -- ERROR: {13;1}
+       with Pre => P mod 2 = 0 is                              -- ERROR: {13;3}
     begin
        P := P * 2;
     end Spec1;
@@ -82,7 +82,7 @@
     procedure Spec3 (P : in out Natural);
 
     procedure Spec3 (P : in out Natural)
-       with Pre => P mod 2 = 0 is                              -- ERROR: {13;1}
+       with Pre => P mod 2 = 0 is                              -- ERROR: {13;3}
     begin
        P := P * 2;
     end Spec3;
@@ -95,13 +95,13 @@
 
 
     procedure No_Spec5 (P : in out Natural)
-       with Post => P mod 2 = 0 is                             -- OK. {13;1}
+       with Post => P mod 2 = 0 is                             -- OK. {13;3}
     begin
        P := P * 2;
     end No_Spec5;
 
     procedure Spec5 (P : in out Natural)
-       with Post => P mod 2 = 0 is                             -- ERROR: {13;1}
+       with Post => P mod 2 = 0 is                             -- ERROR: {13;3}
     begin
        P := P * 2;
     end Spec5;
@@ -112,7 +112,7 @@
     procedure Spec7 (P : in out Natural);
 
     procedure Spec7 (P : in out Natural)
-       with Post => P mod 2 = 0 is                             -- ERROR: {13;1}
+       with Post => P mod 2 = 0 is                             -- ERROR: {13;3}
     begin
        P := P * 2;
     end Spec7;

Questions? Ask the ACAA Technical Agent