CVS difference for acats/new/c433007.a

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

--- acats/new/c433007.a	2022/09/25 07:58:30	1.1
+++ acats/new/c433007.a	2023/01/01 03:49:27	1.2
@@ -146,7 +146,7 @@
         Value3 : Array_1(1..10) := (1..10 => 12); -- For slicing.
         Value4 : Array_1 := Value3(Report.Ident_Int(2)..6);
                                             -- Bounds from initial value.
-        Value5 : Array_1(3 .. 3) := (others => 12);                                                     
+        Value5 : Array_1(3 .. 3) := (others => 12);
     begin
         Some_Simulation (Value1, Red);
         if Value1 /= Array_1'(2, 1, 0, 0) then
@@ -158,7 +158,7 @@
         end if;
         Some_Simulation (Value3(4..6), Red);
         if Value3 /= Array_1'(12, 12, 12, 2, 1, 0, 12, 12, 12, 12) then
-            Report.Failed ("Wrong result from Some_Simulation (3 Red)");            
+            Report.Failed ("Wrong result from Some_Simulation (3 Red)");
         end if;
         Some_Simulation (Value4, Red);
         if Value4 /= Array_1'(2, 1, 0, 0, 0) then
@@ -183,7 +183,7 @@
         end if;
         Some_Simulation (Value3(8..Report.Ident_Int(9)), Orange);
         if Value3 /= Array_1'(12, 12, 12, 2, 1, 0, 12, 1, 0, 12) then
-            Report.Failed ("Wrong result from Some_Simulation (3 Orange)");            
+            Report.Failed ("Wrong result from Some_Simulation (3 Orange)");
         end if;
         Some_Simulation (Value4, Orange);
         if Value4 /= Array_1'(1, 0, 0, 0, 0) then

Questions? Ask the ACAA Technical Agent