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