| with Core_Types; use Core_Types; | |
| with Errors; | |
| package Self_Test is | |
| type Test_Result is record | |
| Name : Bounded_String := (others => ' '); | |
| Passed : Boolean := False; | |
| Code : Status_Code := Success; | |
| end record; | |
| Max_Tests : constant := 40; | |
| type Test_Results is array (0 .. Max_Tests - 1) of Test_Result; | |
| procedure Run_All_Tests (Results : out Test_Results; Count : out Natural; Overall : out Boolean); | |
| procedure Report_Results (Results : Test_Results; Count : Natural; Overall : Boolean); | |
| end Self_Test; | |