with

    Ada.Text_IO;

use

    Ada.Text_IO;


package body Ratnest is


    procedure Run_Tests
           (To_Run : in Test_Array)
    is
        Total_Count  : Natural := To_Run'Length;
        Failed_Count : Natural := 0;
    begin
        for T of To_Run loop
            if T.Func.all = Fail then
                Put_Line ("Failed test " & (-T.Name));
                Failed_Count := Failed_Count + 1;
            end if;
        end loop;
        Put_Line ("Test results" & Integer'Image (Total_Count - Failed_Count) &
            " out of" & Integer'Image (Total_Count));
    end Run_Tests;


end Ratnest;