-- test_generic_real_arrays.ads   generic procedure specification

-- instantiate: procedure Test_Real_Arrays is new
--                                         Test_Generic_Real_Arrays(Float); 

-- Test conformance of a Generic_Real_Arrays implementation to
-- ISO 13813:1998 (not complete, send Jon more tests)
--
-- The testing is performed by comparison to a model. The model,
-- a primitive implementation that can be checked against the standard
-- by inspection, is used to generate the test results. Simple
-- compare procedures are used for scalars, vectors and matrices
-- to determine exact match of array elements and attributes.
-- The function name REF is used for the model reference function.
-- The required formal parameter names are checked at compile time.

with Generic_Real_Arrays;

generic
  type Real is digits <>;
  with package Real_Arrays is new Generic_Real_Arrays(Real);
procedure Test_Generic_Real_Arrays;