procedure Assert (Condition : Boolean; Message : String);
If Condition is false, Assert raises Assertion_Error with given Message.
New in version 1.4.
generic
   type Data_Type is private;
   with function Image (Item : Data_Type) return String is <>;
procedure Assert_Equal (Actual : Data_Type; Expected : Data_Type; Message : String);
If Expected /= Actual, Assert raises Assertion_Error with given Message.
Example:
declare
   procedure Assert_Eq_Nat is
     new Ahven.Assert_Equal (Data_Type => Natural,
                             Image     => Natural'Image);
begin
   Assert_Eq_Nat (Actual   => Test_Count,
                  Expected => 4,
                  "test count");
end;
New in version 2.0.
procedure Skip (Message : String);
Skip always raises Test_Skipped_Error with given Message.