-- Test_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 INTEGER_ARRAYS; use INTEGER_ARRAYS; with TEXT_IO; procedure TEST_INTEGER_ARRAYS_1 is procedure TEST_INTEGER_ARRAYS is new TEST_GENERIC_INTEGER_ARRAYS (INTEGER, INTEGER_VECTOR, INTEGER_MATRIX); begin TEST_INTEGER_ARRAYS; end TEST_INTEGER_ARRAYS_1;