with Ahven.Framework;


package math_Tests
is

   type Test is new Ahven.Framework.Test_Case with null record;

   overriding
   procedure Initialize (T : in out Test);

end math_Tests;