package Test_QuadDobl_Functions is

  procedure Test_SQRT;

  -- DESCRIPTION :
  --   Compares the square of the square root of a random or given number.

  procedure Test_SINCOS;

  -- DESCRIPTION :
  --   Verifies if the square of sine and cosine on a random double double
  --   or a user given number sum up to one.

  procedure Main;

  -- DESCRIPTION :
  --   Displays a menu and prompts for a test.

end Test_QuadDobl_Functions;
