-- Test GENERIC_INTEGER_ARRAYS_1 
--
-- 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 TEST_GENERIC_INTEGER_ARRAYS;
with GENERIC_INTEGER_ARRAYS;
with TEXT_IO;
procedure TEST_GENERIC_INTEGER_ARRAYS_1 is
  package INTEGER_ARRAYS is new GENERIC_INTEGER_ARRAYS(INTEGER);
  use INTEGER_ARRAYS;
  procedure TEST_INTEGER_ARRAYS is new TEST_GENERIC_INTEGER_ARRAYS
                      (INTEGER, INTEGER_VECTOR, INTEGER_MATRIX);
begin
  TEST_INTEGER_ARRAYS;
end TEST_GENERIC_INTEGER_ARRAYS_1;