package Test_Quarter_Balancers is

-- DESCRIPTION :
--   Tests the operations to make quarters balanced.

  procedure Test_Random_Double;

  -- DESCRIPTION :
  --   Generates a random double and tests the balancer.

  procedure Test_Quarter_Balance;

  -- DESCRIPTION :
  --   Generates a random double, splits in four quarters,
  --   and tests the main balancer procedure.

  procedure Test_Octo_Balance;

  -- DESCRIPTION :
  --   Generates a random double, splits in eight parts,
  --   and tests the main balancer procedure.

  procedure Main;

  -- DESCRIPTION :
  --   Runs all tests.

end Test_Quarter_Balancers;
