CVS difference for acats/new/bb42002.a

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

--- acats/new/bb42002.a	2016/02/05 05:44:58	1.2
+++ acats/new/bb42002.a	2016/03/29 06:12:09	1.3
@@ -39,6 +39,7 @@
 --
 -- CHANGE HISTORY:
 --     25 Jan 2016   RLB   Created test.
+--     28 Mar 2016   RLB   Added error location codes.
 --
 --!
 procedure BB42002 is
@@ -53,28 +54,28 @@
          Iters := Iters + 1;
       end loop;
       pragma Assert (Iters = Bound,
-         "Wrong iters=" & Integer'Image(Iters));                    -- OK.
+         "Wrong iters=" & Integer'Image(Iters));                -- OK. {1:7}
 
       pragma Assert (Iters = Bound, Message =>
-         "Wrong iters=" & Integer'Image(Iters));                    -- OK.
+         "Wrong iters=" & Integer'Image(Iters));                -- OK. {1:7}
 
       pragma Assert (Check => Iters = Bound, Message =>
-         "Wrong iters=" & Integer'Image(Iters));                    -- OK.
+         "Wrong iters=" & Integer'Image(Iters));                -- OK. {1:7}
 
-      pragma Assert (Check => Iters = Bound,                        -- 2.8(4/3)
-         "Wrong iters=" & Integer'Image(Iters));                    -- ERROR:
+      pragma Assert (Check => Iters = Bound,                    -- 2.8(4/3)
+         "Wrong iters=" & Integer'Image(Iters));                -- ERROR: {1:7}
 
       pragma Assert ("Wrong iters=" & Integer'Image(Iters),
-         Iters = Bound);                                            -- ERROR:
+         Iters = Bound);                                        -- ERROR: {1:7}
 
       pragma Assert (Message => "Wrong iters=" &
-         Integer'Image(Iters), Check => Iters = Bound);             -- ERROR:
+         Integer'Image(Iters), Check => Iters = Bound);         -- ERROR: {1:7}
 
-      pragma Assert (Message => "Wrong iters=" &                    -- 2.8(4/3)
-         Integer'Image(Iters), Iters = Bound);                      -- ERROR:
+      pragma Assert (Message => "Wrong iters=" &                -- 2.8(4/3)
+         Integer'Image(Iters), Iters = Bound);                  -- ERROR: {1:7}
 
       pragma Assert ("Wrong iters=" & Integer'Image(Iters),
-         Check => Iters = Bound);                                   -- ERROR:
+         Check => Iters = Bound);                               -- ERROR: {1:7}
 
    end Loop_Counter;
 

Questions? Ask the ACAA Technical Agent