6.1.1-1        *   0*   0*   3* 
This test checks that matching upper-case and 
lower-case letters are equivalent in identifiers and 
word-symbols if they are permitted. 
6.1.1-2        *   0*   0*   2* 
This test checks that upper-case and lower-case 
exponent-markers are equivalent. 
6.1.1-3        *   0*   0*   2* 
This test contains every valid pair of adjacent lexical 
units. 
6.1.2-1        *   0*   0*   4* 
This test checks that identifiers and word-symbols are 
correctly distinguished in cases where the two are 
'close' in a sense which has been found to be 
important. 
6.1.2-2        *   0*   0*   3* 
This program contains identifiers which some processors 
may disallow because they have extended the word-symbol 
list. 
6.1.2-3        *   0*   0*   1* 
This test checks the implementation of the .. token. 
6.1.3-1        *   0*   0*   2* 
This test checks that identifiers of length up to 70 
characters are accepted. 
6.1.3-2        *   0*   0*   3* 
This program attempts to identify deviant processors by 
using two identifiers which differ in a way that will 
slip through several implementations. 
6.1.5-1        *   0*   0*   2* 
This program tests the conformance of the processor to 
the syntax productions for numbers. 
6.1.5-2        *   0*   0*   2* 
This program simply tests if very long numbers are 
permitted. 
6.1.6-1        *   0*   0*   1* 
This program simply tests if labels are permitted. 
6.1.6-2        *   0*   0*   2* 
This test checks that labels are distinguished by their 
apparent integral-value. 
6.1.6-3        *   0*   0*   2* 
This test contains a label made up of five digits and 
whose integral value is less than 10000. 
6.1.7-1        *   0*   0*   2* 
This test checks the implementation of the required 
type-char. 
6.1.7-2        *   0*   0*   2* 
This program tests if strings are permitted up to a 
length of 68 characters. 
6.1.7-3        *   0*   0*   2* 
This program checks that a apostrophe-image can appear 
as a char constant and as an element of a string. 
6.1.8-1        *   0*   0*   2* 
This test checks that a comment may be used as a token 
separator. 
6.1.8-2        *   0*   0*   2* 
This program checks that an open comment delimiter can 
appear in a comment. 
6.1.9-1        *   0*   0*   2* 
This program checks that the two equivalent forms of 
comment delimiters are implemented correctly. 
6.1.9-2        *   0*   0*   2* 
This test includes a valid comment which may confuse a 
processor with the ( * ) sequence. 
6.1.9-3        *   0*   0*   2* 
This test includes a variety of curious comments which 
exercise the lexical analyser of a Pascal processor. 
6.2.1-1        *   0*   0*   2* 
This program includes a sample of each declaration-part 
in its minimal form. 
6.2.1-2        *   0*   0*   2* 
This program checks that repeated declarations are 
possible in the declaration-parts. 
6.2.2-1        *   0*   0*   2* 
This program tests the scope conformance of the 
processor for identifiers. 
6.2.2-2        *   0*   0*   2* 
This test checks if a predefined identifier can be 
redefined. 
6.2.2-3        *   0*   0*   2* 
This test checks the scope conformance of 
pointer-types. 
6.2.2-4        *   0*   0*   2* 
This test checks that labels are allowed to be 
redefined in a region enclosed by the first scope. 
6.2.2-5        *   0*   0*   1* 
This test checks the scope conformance of records. 
6.2.2-6        *   0*   0*   3* 
This test checks that a value can be assigned to a 
function-identifier anywhere in the block of the 
function. 
6.2.2-7        *   0*   0*   2* 
This program hides part of a type while leaving other 
parts accessible. 
6.3-1          *   0*   0*   2* 
This program exhibits all legal productions for a 
constant in a constant-definition. 
6.3-10         *   0*   0*   2* 
This program tests that a processor does not implement 
the 'const' facility as a simple textual macro. 
6.4.1-1        *   0*   0*   2* 
This program tests to see that pointer-types can be 
declared anywhere in the type-definition-part. 
6.4.2.2-1      *   0*   0*   2* 
This program tests that the standard simple-types have 
all been implemented. 
6.4.2.2-2      *   0*   0*   2* 
This test checks that the values within the range 
-maxint..+maxint are values of integer type. 
6.4.2.2-3      *   0*   0*   3* 
This test checks that the required constant 
identifiers, true and false, have been correctly 
enumerated. 
6.4.2.2-4      *   0*   0*   2* 
This test checks that the character values representing 
the digits 0..9 are ordered and contiguous. 
6.4.2.2-5      *   0*   0*   2* 
This test checks the ordering of the upper-case letters 
A-Z. 
6.4.2.2-6      *   0*   0*   2* 
This test checks the ordering of the lower-case letters 
a-z. 
6.4.2.2-7      *   0*   0*   2* 
This test explores the use of type-char as an 
enumeration-type. 
6.4.2.2-8      *   0*   0*   2* 
This test checks that ord of an integer is the integer 
itself. 
6.4.2.3-1      *   0*   0*   2* 
This program checks the possible syntax productions for 
enumerated types. 
6.4.2.3-2      *   0*   0*   1* 
This test checks ordering of an enumerated-type. 
6.4.2.3-3      *   0*   0*   2* 
This program illustrates the difficulties of when a 
type is defined. 
6.4.2.3-4      *   0*   0*   2* 
This program illustrates the difficulties of when a 
type is defined. 
6.4.2.4-1      *   0*   0*   2* 
This program tests that a type may be defined as a 
subrange of another ordinal-type (host-type). 
6.4.2.4-2      *   0*   0*   2* 
This test checks that the ordinal values of a variable 
of subrange-type correspond to the host-type. 
6.4.3.1-1      *   0*   0*   2* 
This test checks that array, set, file and record types 
can be declared as packed. 
6.4.3.1-2      *   0*   0*   2* 
This program checks if packing is propagated throughout 
an array with multiple-indices. 
6.4.3.2-1      *   0*   0*   2* 
This program tests all the valid productions for an 
array declaration from the syntax. 
6.4.3.2-2      *   0*   0*   2* 
This test checks that an index-type may be an 
ordinal-type. 
6.4.3.2-3      *   0*   0*   3* 
This program tests that an array can have extreme index 
values as its first (and only in this case) valid 
value. 
6.4.3.2-10     *   0*   0*   2* 
This test checks that arrays, whose component-types are 
file-types, behave as required. 
6.4.3.3-1      *   0*   0*   3* 
This program simply tests that all valid productions 
from the syntax for record-types are accepted by this 
processor. 
6.4.3.3-2      *   0*   0*   2* 
This test checks that a field-identifier can be 
redefined. 
6.4.3.3-3      *   0*   0*   1* 
This test checks that an empty record can be declared. 
6.4.3.3-4      *   0*   0*   2* 
This test checks that a tag-field may be redefined 
elsewhere in the declaration part. 
6.4.3.3-5      *   0*   0*   3* 
This test checks that a record with an active empty 
variant can be assigned to another record of the same 
type. 
6.4.3.3-6      *   0*   0*   2* 
This test checks that nested variants are allowed with 
the appropriate syntax. 
6.4.3.3-7      *   0*   0*   2* 
This test contains negative integers as case-constants 
in a record-type. 
6.4.3.3-17     *   0*   0*   2* 
This test contains a variant-part with only one 
variant. 
6.4.3.4-1      *   0*   0*   1* 
This program simply tests that set-types are permitted. 
6.4.3.4-2      *   0*   0*   2* 
This program tests if a set of char is permitted by the 
processor. 
6.4.3.4-11     *   0*   0*   2* 
This test checks that packing applies to one level only 
using a set in a record. 
6.4.3.5-1      *   0*   0*   2* 
This test contains several file-variables, each of 
which has a different component-type. 
6.4.3.5-2      *   0*   0*   2* 
This test checks that textfiles adhere to the structure 
laid down in the Standard. 
6.4.3.5-3      *   0*   0*   3* 
This program tests if an end-of-line marker is inserted 
at the end of the line, if not explicitly done in the 
program. 
6.4.3.5-4      *   0*   0*   2* 
This test checks that file-types can appear in a record 
declaration. 
6.4.3.5-5      *   0*   0*   2* 
This test checks that non-text local files are 
processed correctly. 
6.4.3.5-6      *   0*   0*   2* 
This test checks that non-text local files are 
processed correctly. 
6.4.3.5-7      *   0*   0*   2* 
This test checks that non-text local files are 
processed correctly. 
6.4.3.5-8      *   0*   0*   2* 
This test checks that packed non-text local files are 
processed correctly. 
6.4.3.5-9      *   0*   0*   2* 
This test checks that packed non-text local files are 
processed correctly. 
6.4.3.5-10     *   0*   0*   2* 
This test checks that packed non-text local files are 
processed correctly. 
6.4.3.5-11     *   0*   0*   2* 
This test checks that two local files with similar 
identifiers are correctly distinguished. 
6.4.3.5-12     *   0*   0*   1* 
This test contains six simultaneous open files. 
6.4.4-1        *   0*   0*   2* 
This program simply tests that pointer-types are 
permitted. 
6.4.4-4        *   0*   0*   2* 
This test checks that the domain-type of a pointer-type 
can be a file-type. 
6.4.5-1        *   0*   0*   2* 
This program simply tests that the processor conforms 
to the Standard's description of type-identity. 
6.4.5-2        *   0*   0*   1* 
This test checks type compatibility of subranges. 
6.4.5-3        *   0*   0*   3* 
This program tests that two subranges of the same type 
with no overlap are considered as compatible by the 
processor. 
6.4.5-4        *   0*   0*   2* 
This test checks that string types with the same number 
of components are compatible. 
6.4.5-5        *   0*   0*   1* 
This test checks the type-compatibility rules for sets. 
6.4.5-6        *   0*   0*   3* 
This test checks that if two types are declared 
identical, they inherit all properties in common, 
including operators and special attributes. 
6.4.6-1        *   0*   0*   3* 
This program tests that assignment compatible types as 
described by the Pascal Standard, are permitted by this 
processor. 
6.4.6-2        *   0*   0*   2* 
This test checks the use of assignment compatibility in 
actual and formal parameters. 
6.4.6-3        *   0*   0*   3* 
This program tests that an index expression is 
assignment-compatible with the index-type specified in 
the definition of the array-type. 
6.5.1-1        *   0*   0*   2* 
This test contains examples of legal type and variable 
declarations. 
6.5.3.2-1      *   0*   0*   2* 
This test checks that the two ways of indexing a 
multi-dimensional array are equivalent. 
6.5.5-1        *   0*   0*   1* 
This program tests that file buffers may be referenced. 
6.5.5-4        *   0*   0*   2* 
This test checks that a value may be assigned to a 
buffer-variable while mode=inspection. 
6.6.1-1        *   0*   0*   1* 
This program simply tests the syntax for procedures. 
6.6.1-2        *   0*   0*   3* 
This program tests the implementation of forward 
directives, recursive activation, and multilevel 
referencing of a var parameter in procedures. 
6.6.2-1        *   0*   0*   1* 
This program simply tests the syntax for functions. 
6.6.2-2        *   0*   0*   2* 
This program tests that forward declaration and 
recursion in functions is permitted. 
6.6.2-3        *   0*   0*   3* 
This program checks that the simple types and 
pointer-types are permitted as the result type of a 
function. 
6.6.2-4        *   0*   0*   2* 
This test checks that functions are permitted from 
altering their environment (ie. side effects). 
6.6.2-11       *   0*   0*   2* 
This test checks that a function with side-effects is 
handled correctly. 
6.6.2-12       *   0*   0*   1* 
This test checks a nested self-recursive function 
6.6.3.1-1      *   0*   0*   2* 
This program tests the syntax for value-parameter 
sections and variable-parameter sections. 
6.6.3.1-2      *   0*   0*   2* 
This program checks that set, record and array 
parameters are permitted. 
6.6.3.1-3      *   0*   0*   2* 
This program tests that files may be passed to 
procedures as parameters. 
6.6.3.1-4      *   0*   0*   2* 
This test checks the scope conformance of procedural 
parameters. 
6.6.3.1-7      *   0*   0*   3* 
This test checks that the scope of an identifier 
declared in a procedure-block does not include the 
procedure-heading. 
6.6.3.1-9      *   0*   0*   3* 
This test checks that the scope of parameter 
identifiers is separate from that of the function 
result. 
6.6.3.1-10     *   0*   0*   2* 
This test checks the scope of procedures combined with 
nesting. 
6.6.3.2-3      *   0*   0*   2* 
This test checks that value parameters are a copy to 
which assignment is permitted. 
6.6.3.3-1      *   0*   0*   2* 
This test checks that variable-parameters have been 
implemented correctly. 
6.6.3.3-2      *   0*   0*   3* 
This test checks that any operation involving the 
formal-parameter is performed immediately on the actual 
parameter. 
6.6.3.3-3      *   0*   0*   4* 
This test checks that if a variable passed as a 
parameter involves the indexing of an array, or the 
dereferencing of a pointer, then these actions are 
executed before the activation of the block. 
6.6.3.3-6      *   0*   0*   2* 
This test checks that non-text file parameters are 
accepted. 
6.6.3.4-1      *   0*   0*   2* 
This program tests that procedures may be passed to 
other procedures and functions as parameters. 
6.6.3.4-2      *   0*   0*   2* 
This program tests the environment of procedural 
parameters. 
6.6.3.4-4      *   0*   0*   3* 
This test contains all the four possible combinations 
of procedural and functional parameters whose 
parameters are themselves procedures and functions. 
6.6.3.5-1      *   0*   0*   2* 
This program tests that functions may be passed to 
procedures and functions as parameters. 
6.6.4.1-1      *   0*   0*   2* 
This program tests that predefined standard procedures 
may be redefined with no conflict. 
6.6.4.1-2      *   0*   0*   2* 
This test checks that a predefined function can be 
redefined. 
6.6.5.2-1      *   0*   0*   2* 
This program writes an empty file and then checks that 
eof is true. 
6.6.5.2-2      *   0*   0*   3* 
This program tests that the first element of the file 
fyle is assigned to the buffer variable fyle^ when the 
procedure reset is used with the file. 
6.6.5.2-3      *   0*   0*   2* 
This program checks that a rewrite on the file sets eof 
to be true. 
6.6.5.2-21     *   0*   0*   3* 
This test writes a fixed number of characters to a file 
of char, reads back the same number of characters, and 
then checks that eof is true. 
6.6.5.3-1      *   0*   0*   2* 
This program checks that the procedure new has been 
implemented. Both forms of new are tested. 
6.6.5.3-2      *   0*   0*   2* 
This program tests that new and dispose operate as 
required. 
6.6.5.3-15     *   0*   0*   2* 
This program checks that the longer forms of new and 
dispose behave as required. 
6.6.5.3-18     *   0*   0*   2* 
This test checks that new and dispose can be applied to 
any kind of expressions with pointer values. 
6.6.5.3-19     *   0*   0*   1* 
This test checks the new and dispose procedures. 
6.6.5.3-20     *   0*   0*   1* 
This test contains multi-level pointers. 
6.6.5.3-22     *   0*   0*   1* 
This test checks the extended forms of new and dispose. 
6.6.5.3-26     *   0*   0*   2* 
This test checks that the first parameter of dispose 
can be a function-designator. 
6.6.5.3-27     *   0*   0*   2* 
This test checks that new can be called with a 
component of packed structure as its parameter. 
6.6.5.4-1      *   0*   0*   2* 
This program tests that pack and unpack are implemented 
in this processor. 
6.6.5.4-15     *   0*   0*   3* 
This test contains calls of pack and unpack in which 
the index-types of the two arrays do not possess the 
same type. 
6.6.6.2-1      *   0*   0*   3* 
This program tests the implementation of the arithmetic 
function abs. Both real and integer expressions are 
used. 
6.6.6.2-2      *   0*   0*   3* 
This program tests the implementation of the arithmetic 
function sqr. Both real and integer expressions are 
used. 
6.6.6.2-3      *   0*   0*   2* 
This program tests the implementation of the arithmetic 
functions sin, cos, exp, ln, sqrt, and arctan. 
6.6.6.3-1      *   0*   0*   2* 
This program checks the implementation of the transfer 
functions trunc and round. 
6.6.6.4-1      *   0*   0*   2* 
This program checks that the implementation of the ord 
function. 
6.6.6.4-2      *   0*   0*   1* 
This program checks the implementation of chr. 
6.6.6.4-3      *   0*   0*   2* 
This program tests that the required ordinal functions 
succ and pred. 
6.6.6.5-1      *   0*   0*   1* 
This program tests the functions eof and eoln. 
6.6.6.5-2      *   0*   0*   1* 
This program tests the function odd. 
6.6.6.5-10     *   0*   0*   2* 
This test checks that the eof function continues to 
yield true after the end of the file has been reached. 
6.7.1-1        *   0*   0*   1* 
This program tests the precedence of operators. 
6.7.1-2        *   0*   0*   2* 
This test checks that the member designator x..y, where 
x>y, denotes no members. 
6.7.1-6        *   0*   0*   2* 
This test examines valid productions of 
set-constructors. 
6.7.1-7        *   0*   0*   3* 
This test checks that the set-constructor can denote 
both packed and unpacked set types in the appropriate 
contexts. 
6.7.1-8        *   0*   0*   3* 
This test checks that the set-constructor can denote 
all values allowed by the canonic set-type to which it 
belongs. 
6.7.1-9        *   0*   0*   3* 
This test checks that the set-constructor can denote 
all values allowed by the canonic set-type to which it 
belongs. 
6.7.1-10       *   0*   0*   3* 
This test checks that the set-constructor can denote 
all values allowed by the canonic set-type to which it 
belongs. 
6.7.2.2-1      *   0*   0*   2* 
This program checks the operation of the operators + - 
and *. 
6.7.2.2-2      *   0*   0*   2* 
This program checks that div and mod are implemented by 
the rule specified by the Pascal Standard. 
6.7.2.2-3      *   0*   0*   3* 
This program checks that constant and variable operands 
for div and mod produce the same result, and that 
negative operands, where permitted, are accepted. 
6.7.2.2-4      *   0*   0*   2* 
This program checks that maxint satisfies the 
conditions laid down in the Pascal Standard. 
6.7.2.3-1      *   0*   0*   2* 
This test checks the operation of the Boolean 
operators. 
6.7.2.4-1      *   0*   0*   1* 
This test checks the operation of set operators. 
6.7.2.4-2      *   0*   0*   2* 
This program checks the operations of set operators on 
sets of constants and variables. 
6.7.2.4-5      *   0*   0*   2* 
This test checks the set operators, with all patterns 
possible. 
6.7.2.4-6      *   0*   0*   1* 
This test checks the set operators, with random values. 
6.7.2.5-1      *   0*   0*   2* 
This program tests the use of relational operators on 
strings. 
6.7.2.5-2      *   0*   0*   2* 
This test checks the use of relational operators on 
sets. 
6.7.2.5-3      *   0*   0*   2* 
This test checks the use of relational operations on 
long strings. 
6.7.2.5-11     *   0*   0*   2* 
This test checks that relational-operators applied to 
strings behave correctly. 
6.7.3-3        *   0*   0*   2* 
This program checks that function calls can appear in 
different positions. 
6.7.3-4        *   0*   0*   2* 
This program checks that function calls can appear in 
different positions with pack and unpack. 
6.8.1-8        *   0*   0*   2* 
This test checks that a label in a recursive procedure 
can be the destination of a goto-statement. 
6.8.2.1-1      *   0*   0*   2* 
This test checks that all the empty clauses are 
permitted. 
6.8.2.4-1      *   0*   0*   2* 
This test checks that non-local goto-statements are 
allowed. 
6.8.3.4-1      *   0*   0*   2* 
This test checks a nested if-statement whose syntax is 
apparently ambiguous. 
6.8.3.5-1      *   0*   0*   2* 
This test checks that a minimal case-statement is 
accepted. 
6.8.3.5-2      *   0*   0*   3* 
This test checks that a processor will handle a 
case-statement where the case-constants are not close 
together. 
6.8.3.7-1      *   0*   0*   2* 
This test checks that a repeat-statement is executed at 
least once. 
6.8.3.7-2      *   0*   0*   2* 
This test checks that a repeat-statement containing no 
statements is executed until the expression is true. 
6.8.3.7-3      *   0*   0*   2* 
This test checks that an apparently infinite loop is 
allowed by the processor. 
6.8.3.8-1      *   0*   0*   3* 
This test checks that a while-statement is not entered 
if the initial value of the Boolean expression is 
false. 
6.8.3.8-2      *   0*   0*   2* 
This test checks that the processor will accept a 
while-statement containing no statements. 
6.8.3.9-1      *   0*   0*   2* 
This program checks that assignment follows the 
evaluation of both expressions in a for-statement. 
6.8.3.9-2      *   0*   0*   2* 
This test checks that extreme values may be used in a 
for-statement. 
6.8.3.9-3      *   0*   0*   3* 
This program checks that a control-variable of a 
for-statement is not undefined if the for-statement is 
left via a goto-statement. 
6.8.3.9-4      *   0*   0*   2* 
This program checks the order of evaluation of the 
limit expressions in a for-statement. 
6.8.3.9-23     *   0*   0*   4* 
This test checks that if the statement of the for 
statement is not executed, the initial-value and the 
final-value do not have to be assignment-compatible 
with the type possessed by the control-variable. 
6.8.3.9-25     *   0*   0*   2* 
This test checks that the final value before 'do' is 
fixed. 
6.8.3.9-26     *   0*   0*   3* 
This test checks that the final expression in the 
for-statement can use the value of the control 
variable. 
6.8.3.9-28     *   0*   0*   2* 
Check the evaluation order of the initial-value and 
final-value in the for-statement. 
6.8.3.10-1     *   0*   0*   2* 
This program checks the implementation of the 
with-statement. 
6.8.3.10-2     *   0*   0*   2* 
This test checks that a field-identifier is correctly 
identified when a with-statement is invoked. 
6.8.3.10-3     *   0*   0*   2* 
This test checks that the record-variable-list of a 
with-statement is evaluated in the correct order. 
6.8.3.10-4     *   0*   0*   3* 
This test checks that the selection of a variable in 
the record-variable-list is performed before the 
component statement is executed. 
6.8.3.10-5     *   0*   0*   3* 
This test checks that the selection of a variable in 
the record-variable-list is performed before the 
component statement is executed. 
6.8.3.10-6     *   0*   0*   3* 
This test checks that the order of evaluation of the 
record-variable-list in a with-statement is correctly 
implemented. 
6.8.3.10-8     *   0*   0*   2* 
This test contains a record-variable-list in which all 
the identifiers are identical. 
6.9-1          *   0*   0*   2* 
This program attempts to perform recursive I/O using a 
different file for the second I/O action. 
6.9-2          *   0*   0*   2* 
This program attempts to perform recursive I/O using 
the same file for the second I/O action. 
6.9.1-1        *   0*   0*   3* 
This test checks that a single read statement with many 
variables is equivalent to many read statements 
containing one variable each. 
6.9.1-2        *   0*   0*   3* 
This test checks that a read of a character variable is 
equivalent to correctly positioning the buffer 
variable. 
6.9.1-3        *   0*   0*   2* 
This test checks that integers and reals are read 
correctly from a file. 
6.9.2-1        *   0*   0*   1* 
This test checks that readln is correctly implemented. 
6.9.3-1        *   0*   0*   3* 
This test checks that a write that does not specify the 
file always writes on the default file at the program 
level, not any local variable with the same identifier. 
6.9.3-4        *   0*   0*   3* 
This test checks that a write procedure with many 
parameters is equivalent to many write procedures with 
one parameter each. 
6.9.3.2-1      *   0*   0*   2* 
This test checks that the default value for the field 
width of a char-type is one. 
6.9.3.3-1      *   0*   0*   1* 
This test checks the implementation of integer output. 
6.9.3.4.1-3    *   0*   0*   4* 
This test checks that the literal constant 0.0 is 
correctly written to a textfile (its exact 
representation can be derived directly from the 
Standard). 
6.9.3.4.1-4    *   0*   0*   3* 
This program checks that the floating-point 
representation of real numbers is correctly written to 
textfiles. 
6.9.3.4.2-1    *   0*   0*   2* 
This program checks that the fixed point representation 
of real numbers is correctly written to textfiles. 
6.9.3.6-2      *   0*   0*   2* 
This test checks that strings are correctly written 
onto a textfile. 
6.9.4-1        *   0*   0*   2* 
This program checks the implementation of procedure 
writeln. 
6.10-2         *   0*   0*   2* 
This test checks that a program on one line is 
accepted. 
6.10-3         *   0*   0*   3* 
The identifier after 'program' has no significance 
within a program. Hence this program should be 
acceptable. 
6.1.2-4        *   0*   1*   2* 
This test checks that nil is implemented as a 
word-symbol, and not as an identifier. 
6.1.2-5        *   0*   1*   2* 
This test checks that word-symbols cannot be redefined 
by attempting to redefine a small selection. 
6.1.2-6        *   0*   1*   2* 
This program deviates because spaces appear within the 
five special symbols. 
6.1.2-7        *   0*   1*   2* 
This test deviates since the character % is not a token 
of Pascal. 
6.1.2-8        *   0*   1*   2* 
This test deviates by regarding the .. token as 
equivalent to the colon token. 
6.1.2-9        *   0*   1*   2* 
This test deviates since the character & is not a token 
of Pascal. 
6.1.2-10       *   0*   1*   2* 
This test deviates since the character | is not a token 
of Pascal. 
6.1.5-3        *   0*   1*   3* 
This test deviates since the syntax for unsigned-real 
clearly states that a decimal point must be preceded by 
a digit-sequence. 
6.1.5-4        *   0*   1*   3* 
This test deviates since the syntax for unsigned-real 
clearly states that a decimal point must be followed by 
a digit-sequence. 
6.1.5-5        *   0*   1*   2* 
This program deviates since spaces in numbers are 
forbidden. 
6.1.5-6        *   0*   1*   2* 
This program illustrates that brackets may not appear 
within a number. 
6.1.5-7        *   0*   1*   3* 
This program has been drafted to detect those 
processors that may implement 'const' as a textual 
macro facility. 
6.1.5-13       *   0*   1*   2* 
This program deviates since spaces in numbers are 
forbidden. 
6.1.6-4        *   0*   1*   2* 
This program checks that a processor does not implement 
the 'const' facility as a simple textual macro. 
6.1.6-5        *   0*   1*   2* 
Labels whose integral values lie outside the range 
0..9999 should be rejected. 
6.1.6-6        *   0*   1*   2* 
This test contains a label which is not a 
digit-sequence. 
6.1.7-4        *   0*   1*   2* 
This program tests that strings of different lengths 
are not compatible (i.e. 1..m and 1..n). 
6.1.7-5        *   0*   1*   2* 
This test deviates since a character-string is not 
compatible with an unpacked array of char. 
6.1.7-6        *   0*   1*   2* 
This program tests that strings are not compatible with 
packed arrays whose bounds are other than 1..n. 
6.1.7-7        *   0*   1*   2* 
Character-strings should not be compatible with packed 
arrays of subranges of char. 
6.1.7-8        *   0*   1*   2* 
Character-strings should not be compatible with packed 
arrays of subranges of char. 
6.1.7-9        *   0*   1*   1* 
This test violates the string-compatibility rules. 
6.1.7-10       *   0*   1*   2* 
This test deviates since compatible-strings must have 
the same number of components. 
6.1.7-11       *   0*   1*   2* 
A null string should not be accepted by a Pascal 
processor. 
6.1.7-12       *   0*   1*   1* 
A string, which is not a variable, cannot be indexed. 
6.1.7-13       *   0*   1*   2* 
This program deviates since a string is on more than 
one line. 
6.1.8-3        *   0*   1*   2* 
This program deviates because a comment acts as a 
separator within a lexical token. 
6.1.8-4        *   0*   1*   1* 
Nested-comments are not permitted in Pascal. 
6.1.8-5        *   0*   1*   3* 
This program deviates because a space does not appear 
between a number and a word-symbol even though it is 
clearly unambiguous. 
6.1.9-4        *   0*   1*   1* 
Nested comments are not permitted in Pascal. 
6.2.1-4        *   0*   1*   1* 
This program contains a label that is not specified. 
6.2.1-5        *   0*   1*   2* 
This test deviates since labels may not be given two 
sites in the statement-part. 
6.2.1-6        *   0*   1*   2* 
This test contains a label which has been declared but 
not sited. 
6.2.1-7        *   0*   1*   3* 
This test deviates since labels specified in a 
label-declaration-part must prefix statements within 
the corresponding statement-part. 
6.2.1-8        *   0*   1*   2* 
This test checks to see that an erroneous ordering of 
the declaration-parts of a program is detected. 
6.2.1-9        *   0*   1*   3* 
This test checks that the type-definition-part and 
variable-declaration-part cannot be repeated in a 
block. 
6.2.1-10       *   0*   1*   3* 
A processor should not allow multiple 
constant-definition-parts and type-definition-parts 
before a var part. 
6.2.2-8        *   0*   1*   4* 
The Pascal Standard requires that the defining-point of 
an identifier shall precede all applied occurrences of 
that identifier, with the exception of pointer-type 
declarations. 
6.2.2-9        *   0*   1*   2* 
This test examines redefinition of 
function-identifiers. 
6.2.2-10       *   0*   1*   2* 
This program attempts to assign a value to a function 
outside the block of the function. 
6.2.2-11       *   0*   1*   2* 
This test checks that identical labels can not appear 
in the same label-declaration-part. 
6.2.2-12       *   0*   1*   3* 
This test deviates because the applied occurrence of 
type fred is within the scope of the field-designator 
fred. 
6.2.2-13       *   0*   1*   2* 
This program checks the scope rules for procedure 
parameters. 
6.3-2          *   0*   1*   2* 
This program checks that signed-chars are not 
permitted. 
6.3-3          *   0*   1*   2* 
This program checks that signed-strings are not 
permitted. 
6.3-4          *   0*   1*   2* 
This program checks that signed non-numerics are not 
permitted. 
6.3-5          *   0*   1*   3* 
This program tests that incorrect signed constants are 
not permitted in other contexts than 
constant-definitions. 
6.3-6          *   0*   1*   2* 
This program deviates because constants must not appear 
in their own definition. 
6.3-7          *   0*   1*   2* 
This test checks that nil is not accepted in a 
constant-definition-part. 
6.3-8          *   0*   1*   2* 
This program repeats some checks on the incorrect use 
of signed constants in other contexts. 
6.3-9          *   0*   1*   2* 
This test deviates since expressions cannot appear in a 
constant-definition. 
6.4.1-2        *   0*   1*   3* 
This test deviates since the defining-point of a 
type-identifier occurs at the end of its 
type-definition. 
6.4.1-3        *   0*   1*   2* 
This program tests that attempts to use types in their 
own definitions are detected. 
6.4.1-4        *   0*   1*   3* 
This program applies an undefined type to a variable to 
determine whether the processor deviates by assumption 
of some default-type. 
6.4.2.2-9      *   0*   1*   2* 
This program is erroneous since it relies on the 
indexing of a character string literal. 
6.4.2.3-5      *   0*   1*   3* 
This program illustrates that two textually identical 
enumerated-types in nested scopes should introduce 
distinct types. 
6.4.2.3-6      *   0*   1*   2* 
An empty identifier-list is not permitted in an 
enumerated-type definition. 
6.4.2.3-7      *   0*   1*   1* 
Integers are not allowed in an enumerated-type. 
6.4.2.4-3      *   0*   1*   2* 
This program deviates since real constants are not 
permitted in a subrange declaration. 
6.4.2.4-4      *   0*   1*   3* 
This test deviates since the lower-bound of a 
subrange-type should be less than or equal to the 
upper-bound. 
6.4.2.4-5      *   0*   1*   2* 
This program checks that strings are rejected in a 
subrange declaration. 
6.4.2.4-6      *   0*   1*   2* 
A subrange-type is not permitted in an enumerated-type 
definition. 
6.4.2.4-7      *   0*   1*   2* 
This test deviates since the constants defining a 
subrange-type should be of the same ordinal-type. 
6.4.3.1-3      *   0*   1*   2* 
The syntax for Pascal allows only structured-types to 
be packed (array, set, file and record types). 
6.4.3.1-4      *   0*   1*   2* 
The syntax of Pascal forbids use of a structured-type 
identifier in a packed type definition. 
6.4.3.1-5      *   0*   1*   3* 
This test deviates since the type-denoter contains an 
applied occurrence of the identifier in the 
type-definition. 
6.4.3.2-4      *   0*   1*   2* 
This program tests if the processor will allow real 
array-bounds. 
6.4.3.2-5      *   0*   1*   2* 
Strings must have a subrange of integers as an 
index-type. 
6.4.3.2-6      *   0*   1*   2* 
The notation '[ ][ ]' is allowed for indexed-variables, 
but not for index-type definitions. 
6.4.3.2-9      *   0*   1*   2* 
This program tests if the processor will allow real 
array-bounds. 
6.4.3.3-8      *   0*   1*   2* 
This test deviates since the set of values of a 
tag-type should equal the values of the case-constants. 
6.4.3.3-9      *   0*   1*   2* 
This test deviates by assigning an incompatible value 
to an empty record. 
6.4.3.3-18     *   0*   1*   2* 
This test deviates since all values of a tag-type of a 
record must appear as case-constants. 
6.4.3.3-19     *   0*   1*   1* 
Subrange-types cannot be used as tag-types in a record. 
6.4.3.3-20     *   0*   1*   2* 
Enumerated-types cannot be used as tag-types in a 
record. 
6.4.3.3-21     *   0*   1*   2* 
This test contains a variant record in which one of the 
case-constants is not compatible with the tag-type. 
6.4.3.3-22     *   0*   1*   2* 
This test deviates since the case-constants of a 
variant record must all be distinct. 
6.4.3.3-23     *   0*   1*   3* 
This test deviates by declaring an enumerated-type 
within a record, and then attempts to redefine one of 
the constant-identifiers of the enumerated-type. 
6.4.3.4-3      *   0*   1*   2* 
This test contains declarations of a set, whose 
base-type is a record. 
6.4.3.4-5      *   0*   1*   2* 
This test contains declarations of sets, whose 
base-types are arrays. 
6.4.3.4-6      *   0*   1*   2* 
This test contains declarations of sets, whose 
base-types are sets. 
6.4.3.4-7      *   0*   1*   2* 
This test contains declarations of a set, whose 
base-type is real. 
6.4.3.5-13     *   0*   1*   2* 
This test deviates since the component-type of a 
file-type should not include a file-type. 
6.4.3.5-14     *   0*   1*   2* 
This test deviates since the component-type of a 
file-type should not include a file-type. 
6.4.4-2        *   0*   1*   2* 
This test deviates since the domain-type of the 
pointer-type is not declared. 
6.4.4-3        *   0*   1*   3* 
Pointers to items in the stack are not allowed. The ^ 
symbol is not permitted to act as an operator giving 
the reference to a variable. 
6.4.5-7        *   0*   1*   3* 
This program simply tests that the processor does not 
deviate from the Standard in the case of subranges of 
the same host being treated as identical. 
6.4.5-8        *   0*   1*   2* 
This test checks that structurally-identical types are 
not regarded as identical. 
6.4.5-9        *   0*   1*   2* 
This test checks that structurally-identical types are 
not regarded as identical. 
6.4.5-10       *   0*   1*   2* 
This test checks that structurally-identical types are 
not regarded as identical. 
6.4.5-11       *   0*   1*   1* 
This test violates the compatibility requirements. 
6.4.5-12       *   0*   1*   2* 
This test checks if comparison of strings, whose 
lengths differ, is rejected. 
6.4.5-13       *   0*   1*   3* 
This test checks that structurally-identical 
array-types which are even textually identical in their 
declarations are not considered identical. 
6.4.5-14       *   0*   1*   2* 
This program checks that integer and real var 
parameters are distinct. 
6.4.5-16       *   0*   1*   2* 
This test violates the type rules for 
relational-operators using sets as operands. 
6.4.5-17       *   0*   1*   2* 
This test checks that an array of integers is not 
compatible with a packed array of integers. 
6.4.5-18       *   0*   1*   2* 
This test checks that structurally-identical types are 
not regarded as identical. 
6.4.6-4        *   0*   1*   2* 
This test deviates since assignment of reals to 
integers is not permitted. 
6.4.6-5        *   0*   1*   1* 
Files should not be assigned to each other. 
6.4.6-6        *   0*   1*   2* 
Structured-types containing a file component should not 
be assigned to each other. 
6.4.6-7        *   0*   1*   3* 
Two distinct record types are not assignment 
compatible, even if they are structurally identical and 
even if their declarations are textually identical. 
6.4.6-8        *   0*   1*   3* 
This program checks that an integer array cannot be 
assigned to a real array although element by element 
assignment is valid. 
6.5.3.2-7      *   0*   1*   3* 
This test deviates since the index-type of an 
array-variable must be type-compatible with the 
index-expression used. 
6.5.3.2-8      *   0*   1*   2* 
This test contains an expression of the form A[I] where 
A is not an array-type. 
6.5.3.3-1      *   0*   1*   2* 
This test deviates by using an array-variable (instead 
of a record-variable) in a field-designator. 
6.5.4-3        *   0*   1*   2* 
This test attempts to dereference a variable which is 
not of pointer-type. 
6.5.4-4        *   0*   1*   2* 
This test deviates because a function-identifier cannot 
be used as a pointer-variable. 
6.6.1-3        *   0*   1*   2* 
This program checks that a procedure call is not 
incorrectly bound to the wrong defining occurrence. 
6.6.1-4        *   0*   1*   2* 
This program checks that a procedure call is not 
incorrectly bound to the wrong defining occurrence. 
6.6.1-5        *   0*   1*   3* 
This program tests if the processor allows the formal 
parameter list to be included in the subsequent 
procedure declaration of a forward procedure. 
6.6.1-6        *   0*   1*   4* 
If the processor deviates by permitting the formal 
parameter list to be included in the subsequent 
procedure declaration of a forward procedure (6.6.1-5), 
does it check the parameter list is the same. 
6.6.1-7        *   0*   1*   4* 
This program tests the processors actions for a 
procedure declared as forward, but no matching 
subsequent procedure declaration for the forward 
procedure occurs. 
6.6.1-9        *   0*   1*   2* 
This test checks that a formal-parameter-list is not 
allowed in an identification of a forward function. 
6.6.1-10       *   0*   1*   2* 
This test deviates since a procedure-identification may 
not be followed by the forward directive. 
6.6.2-5        *   0*   1*   3* 
This program tests the processors actions when the 
result-type returned by a function is not a simple 
type. 
6.6.2-6        *   0*   1*   5* 
A function-identifier can appear in three distinct 
'use' contexts: function call, assignment of function 
result and as a function parameter. This program 
illustrates the difficulty of distinguishing the three 
contexts. 
6.6.2-8        *   0*   1*   2* 
This test checks that a function-body contains at least 
one assignment to the function. 
6.6.2-9        *   0*   1*   3* 
This test deviates since the identification of a 
forward function must not contain a function 
result-type. 
6.6.2-10       *   0*   1*   2* 
This test deviates since a result-type must be included 
in the function-heading of a function-declaration. 
6.6.3.1-5      *   0*   1*   2* 
An identifier occurring in a formal-parameter-list 
should not subsequently appear as a local variable. 
6.6.3.1-8      *   0*   1*   2* 
An identifier appearing in a formal-parameter-list 
should not subsequently appear as a local variable. 
6.6.3.1-11     *   0*   1*   2* 
This program checks that a semicolon seperating 
formal-parameter- sections cannot be omitted. 
6.6.3.2-1      *   0*   1*   2* 
The assignment compatibility rules prohibit a type with 
a file component being used as a value parameter. 
6.6.3.2-2      *   0*   1*   2* 
The assignment compatibility rules prohibit a type with 
a file component being used as a value parameter. 
6.6.3.3-4      *   0*   1*   3* 
This test deviates since an actual variable parameter 
shall not denote a field which is the selector of a 
variant-part. 
6.6.3.3-5      *   0*   1*   2* 
This test deviates since an actual variable parameter 
shall not denote a component of a packed variable. 
6.6.3.3-7      *   0*   1*   2* 
This test checks that an actual variable-parameter of 
the form '(variable)' is rejected by the processor. 
6.6.3.4-3      *   0*   1*   2* 
This test deviates since a standard procedure is not 
permitted as an actual procedure parameter. 
6.6.3.5-2      *   0*   1*   2* 
This test checks functional compatibility in that 
function-types are required to be identical. 
6.6.3.6-1      *   0*   1*   2* 
This test checks that constants are not permitted as 
var parameters. 
6.6.3.6-2      *   0*   1*   2* 
This test checks that parameter list congruity is 
correctly implemented. 
6.6.3.6-3      *   0*   1*   2* 
This test checks that parameter list congruity is 
correctly implemented. 
6.6.3.6-4      *   0*   1*   2* 
This test checks that parameter list congruity is 
correctly implemented. 
6.6.3.6-5      *   0*   1*   2* 
This test checks that parameter list congruity is 
correctly implemented. 
6.6.3.6-10     *   0*   1*   1* 
This test violates the parameter list congruity rules. 
6.6.5.2-18     *   0*   1*   2* 
This test deviates because only the first parameter of 
read or write is permitted to be a file-variable. 
6.6.5.2-19     *   0*   1*   2* 
This test deviates since get must be supplied with a 
parameter. 
6.6.5.2-20     *   0*   1*   2* 
This test deviates since a read-parameter-list which 
contains a file-variable, must have a second parameter. 
6.6.5.2-22     *   0*   1*   2* 
This test deviates since a write-parameter-list which 
contains a file-variable, must have a second parameter. 
6.6.5.3-3      *   0*   1*   2* 
This program checks that nil cannot be a parameter of 
new. 
6.6.5.3-23     *   0*   1*   3* 
This test deviates by calling an extended form of new 
in which the case-constant does not occur in the 
definition of the corresponding record-type. 
6.6.5.3-24     *   0*   1*   3* 
This test supplies the extended form of new with two 
case-constants, both of which belong to the same 
tag-type. 
6.6.5.3-25     *   0*   1*   2* 
This test checks that new may not be applied to a 
variable which is not a pointer-type. 
6.6.5.4-10     *   0*   1*   2* 
This test deviates by applying the transfer procedure 
pack to two arrays, neither of which are packed. 
6.6.5.4-11     *   0*   1*   2* 
This test deviates by applying the transfer procedure 
pack to two arrays, both of which are packed. 
6.6.5.4-12     *   0*   1*   2* 
The component-types of the two arrays used in the 
transfer procedure unpack must be identical. 
6.6.5.4-13     *   0*   1*   3* 
When using pack or unpack, the type of the expression 
must be compatible with the index-type of the unpacked 
array. 
6.6.6.1-1      *   0*   1*   2* 
This test checks that a required-function may not be 
used as a formal parameter. 
6.6.6.2-14     *   0*   1*   3* 
This test deviates because the actual parameter of an 
arithmetic function must be either an integer-type or a 
real-type. 
6.6.6.3-2      *   0*   1*   2* 
This test checks that neither trunc nor round are 
permitted to have integer parameters. 
6.6.6.4-4      *   0*   1*   2* 
This test checks that succ and pred cannot be applied 
to real values. 
6.6.6.4-8      *   0*   1*   2* 
This test deviates since the parameter to the function 
CHR must be an integer-type. 
6.6.6.4-9      *   0*   1*   2* 
This test checks that the ord function may not be 
applied to a pointer. 
6.6.6.5-3      *   0*   1*   2* 
This test checks that the function odd is restricted to 
integer parameters. 
6.6.6.5-4      *   0*   1*   2* 
This test checks that non-file parameters to the eof 
function are rejected. 
6.6.6.5-5      *   0*   1*   2* 
This test deviates since the parameter to the eoln 
function must be a textfile. 
6.6.6.5-9      *   0*   1*   2* 
This test deviates since eoln should only be allowed on 
textfiles. 
6.7.1-16       *   0*   1*   2* 
This test contains a member-designator of the form A..B 
where A and B have different types. 
6.7.1-17       *   0*   1*   3* 
This test deviates because one of the expressions used 
in the set-constructor is not compatible with the 
base-type of the set. 
6.7.1-18       *   0*   1*   3* 
This test contains an IN operation for which the 
base-type of the right operand is not compatible with 
the type of the left operand. 
6.7.2.2-5      *   0*   1*   2* 
The monadic operator plus can only be applied to 
numeric operands. 
6.7.2.2-6      *   0*   1*   2* 
This program is invalid because the operands of the div 
operation are real. 
6.7.2.2-7      *   0*   1*   2* 
Arithmetic operations should not be allowed with 
Boolean operands. 
6.7.2.2-18     *   0*   1*   2* 
This test deviates since the operands used in a divide 
operation must be either of integer-type or real-type. 
6.7.2.3-2      *   0*   1*   1* 
Logical operations should not be allowed on integers. 
6.7.2.3-5      *   0*   1*   2* 
This test contains an extension of Boolean operators 
which is permitted in Ada but not in Pascal. 
6.7.2.4-3      *   0*   1*   2* 
This program is invalid since there are no monadic 
operators on sets. 
6.7.2.4-7      *   0*   1*   2* 
This program deviates since both operands of a set 
union operation must possess set-types. 
6.7.2.4-8      *   0*   1*   3* 
This program deviates since both operands on which a 
set operation is performed, must have the same 
canonical set-of-T type. 
6.7.2.4-9      *   0*   1*   2* 
This checks that the left-hand operand of 'in' cannot 
be an expression of a set-type. 
6.7.2.5-4      *   0*   1*   1* 
This test checks that file-comparisons are not allowed. 
6.7.2.5-5      *   0*   1*   2* 
Relational operators should not be permitted to 
concatenate. 
6.7.2.5-6      *   0*   1*   2* 
Tests of equality on records or arrays should not be 
permitted. 
6.7.2.5-7      *   0*   1*   2* 
This test checks that equality and non-equality is not 
permitted between different pointer-types. 
6.7.2.5-8      *   0*   1*   2* 
Only '=' and '<>' operators are permitted in a 
relational expression that contains pointer operands. 
6.7.2.5-9      *   0*   1*   4* 
This test deviates because the only 
relational-operators that are permitted in a relational 
expression containing set operands are : '=', '<=', 
'>=' and '<>'. 
6.7.2.5-10     *   0*   1*   2* 
This test deviates since the IN operator must be 
preceded by an ordinal-type. 
6.7.2.5-12     *   0*   1*   2* 
This test deviates since the IN operator must be 
followed by an expression which possesses a set-type. 
6.8.1-1        *   0*   1*   2* 
This test checks whether jumps between branches of an 
if-statement are allowed. 
6.8.1-2        *   0*   1*   2* 
This test checks whether jumps between branches of a 
case-statement are allowed. 
6.8.1-3        *   0*   1*   2* 
This program attempts to jump from a procedure to the 
middle of a compound-statement. 
6.8.1-4        *   0*   1*   2* 
This program attempts to jump into the middle of a 
for-statement by means of a goto-statement. 
6.8.1-5        *   0*   1*   2* 
This program attempts to jump into the middle of a 
for-statement by means of a non-local goto-statement. 
6.8.1-6        *   0*   1*   2* 
This test illustrates the dangers of permitting a jump 
into a with-statement. 
6.8.1-7        *   0*   1*   2* 
This test illustrates the dangers of permitting a jump 
into a with-statement. 
6.8.2.2-3      *   0*   1*   2* 
This program deviates since an assignment to the 
identifier of a required function is not permitted. 
6.8.2.2-4      *   0*   1*   3* 
This test deviates by declaring a procedure with a 
functional-parameter and the body of the procedure 
contains an assignment to the function-identifier. 
6.8.2.3-1      *   0*   1*   2* 
This test deviates since a function cannot be called as 
a statement. 
6.8.2.3-3      *   0*   1*   3* 
This test checks that the number of actual parameters 
in a procedure call is equal to the number of formal 
parameters in the corresponding procedure-declaration. 
6.8.3.4-3      *   0*   1*   2* 
This test deviates since the expression used in an 
if-statement must have a boolean-type. 
6.8.3.5-3      *   0*   1*   2* 
This test contains invalid real case-constants with an 
integer case-expression. 
6.8.3.5-4      *   0*   1*   3* 
This test checks that the processor detects that 
case-constants and the case-index are of different 
types. 
6.8.3.5-5      *   0*   1*   3* 
This test checks that the processor detects real 
case-constants and a real case-index, even when the 
values are integers. 
6.8.3.5-6      *   0*   1*   3* 
This test checks that the processor detects that a 
case-index and the case-constants are of different 
types. 
6.8.3.5-7      *   0*   1*   2* 
This test checks that subrange-like lists cannot be 
used as case-constant elements. 
6.8.3.5-8      *   0*   1*   2* 
This test checks that subrange-like lists cannot be 
used as case-constant elements. 
6.8.3.5-9      *   0*   1*   2* 
This test deviates by using a string as a 
case-constant. 
6.8.3.5-17     *   0*   1*   3* 
This test deviates since the case-constants of a 
case-statement must be of the same ordinal-type as the 
case-index. 
6.8.3.5-18     *   0*   1*   2* 
This test deviates since the case-constants of a 
case-statement must be distinct. 
6.8.3.9-5      *   0*   1*   2* 
This program checks that an assignment cannot be made 
to a for-statement control-variable. 
6.8.3.9-6      *   0*   1*   3* 
This test checks that the threat to the 
control-variable posed by its use as an actual 
parameter is detected. 
6.8.3.9-7      *   0*   1*   4* 
This program checks that the threat to the 
control-variable of a for-statement posed by the use of 
the variable in a procedure contained in the block is 
detected. 
6.8.3.9-10     *   0*   1*   3* 
This program tests whether a non-local variable at an 
intermediate level can be used as a for-statement 
control-variable. 
6.8.3.9-11     *   0*   1*   2* 
This program tests whether a real number can be 
assigned to a for-statement control-variable. 
6.8.3.9-12     *   0*   1*   2* 
This test checks whether a for-statement 
control-variable can be a component variable. 
6.8.3.9-13     *   0*   1*   2* 
This test checks whether a for-statement 
control-variable can be an identified-variable. 
6.8.3.9-14     *   0*   1*   2* 
This program tests whether a formal parameter can be 
used as a for-statement control-variable. 
6.8.3.9-15     *   0*   1*   3* 
This program tests whether a global variable (at 
program level) can be used as a for-statement 
control-variable inside an inner block. 
6.8.3.9-16     *   0*   1*   3* 
This test checks the type of error produced when a 
for-statement control-variable value is read during the 
execution of the for-statement. 
6.8.3.9-17     *   0*   1*   2* 
The control-variable of a for-statement must be local 
to the block. 
6.8.3.9-18     *   0*   1*   2* 
This test checks that a control-variable cannot be used 
as a control-variable within the controlled statement. 
6.8.3.9-24     *   0*   1*   2* 
This test checks that an actual value parameter is not 
permitted as a for-loop control variable. 
6.8.3.10-9     *   0*   1*   2* 
This test tries to access a non-existent field of a 
record. 
6.8.3.10-10    *   0*   1*   3* 
This test deviates since the variable occuring in the 
record-variable-list of a with-statement must possess a 
record-type. 
6.9.1-11       *   0*   1*   2* 
This test deviates because only integer, real or 
character values can be read from a textfile. 
6.9.1-12       *   0*   1*   2* 
This test checks that reading an integer from a file of 
char is not permitted. 
6.9.1-13       *   0*   1*   2* 
This test checks that writing a string to a packed file 
of char is not permitted. 
6.9.2-3        *   0*   1*   2* 
The procedure readln should only be allowed on 
textfiles. 
6.9.3.1-4      *   0*   1*   3* 
This test deviates since the expression denoting 
TotalWidth used in the write procedure, can only have 
integer-type. 
6.9.3.1-5      *   0*   1*   3* 
This test deviates since the expression denoting 
FracDigits in the write procedure can only have 
integer-type. 
6.9.3.1-6      *   0*   1*   2* 
This program checks whether an unpacked array of 
characters can be output to a textfile. 
6.9.3.3-2      *   0*   1*   2* 
This program attempts to output an integer number using 
a real format. 
6.9.3.6-1      *   0*   1*   3* 
An entire-variable which is an array-type can only be 
written to a textfile if the lower bound of the array 
is one. 
6.9.3.6-3      *   0*   1*   2* 
This test deviates by writing an entire-variable of 
type packed array[1..1] of char to a text file. 
6.9.4-3        *   0*   1*   2* 
This test deviates by applying writeln to a non-text 
file. 
6.9.5-2        *   0*   1*   1* 
The procedure page may only be applied to textfiles. 
6.10-1         *   0*   1*   2* 
This program deviates as output is not declared but 
implicitly used. 
6.10-4         *   0*   1*   2* 
This program deviates since two of the 
program-parameters are identical. 
6.10-7         *   0*   1*   2* 
This test deviates because the program-parameter has 
not been declared in the variable-declaration-part. 
6.10-8         *   0*   1*   2* 
This test deviates because the program-parameter F has 
been subsequently declared as a function F. 
6.2.3.5-1      *   0*   4*  43*   2* 
This test causes an error by using a totally-undefined 
variable. 
6.4.3.3-10     *   0*   4*   2*   2* 
This test causes an error by accessing a field of an 
inactive variant. 
6.4.3.3-11     *   0*   4*  43*   2* 
This program causes an error by accessing a field with 
an undefined-value. 
6.4.3.3-12     *   0*   4*  43*   4* 
This program accesses a field of a variant which is not 
the current variant, thereby changing the selected 
variant, but causes an error due to the 
undefined-value. 
6.4.3.3-13     *   0*   4*  43*   2* 
This program causes an error by accessing a field with 
an undefined-value. 
6.4.5-15       *   0*   4*  49*   2* 
This program causes an error by assigning an 
out-of-range value to a variable. 
6.4.6-9        *   0*   4*  49*   2* 
This test violates the assignment-compatibility rules 
for ordinal-types. 
6.4.6-10       *   0*   4*   7*   2* 
This program violates parameter 
assignment-compatibility rules. 
6.4.6-11       *   0*   4*   1*   2* 
This program violates array subscript 
assignment-compatibility rules. 
6.4.6-12       *   0*   4*  50*   2* 
This test violates the assignment-compatibility rules 
for set-types. 
6.4.6-13       *   0*   4*   8*   2* 
This test violates the assignment-compatibility rules 
for sets passed as parameters. 
6.5.3.2-2      *   0*   4*   1*   2* 
This test allows an array index to exceed the array 
bounds. 
6.5.4-1        *   0*   4*   3*   2* 
This program causes an error by dereferencing a pointer 
whose value is nil. 
6.5.4-2        *   0*   4*   4*   2* 
This test causes an error since the pointer-variable 
has an undefined value when it is dereferenced. 
6.5.5-2        *   0*   4*   6*   4* 
This program causes an error to occur by changing the 
current file position of a file, while the 
buffer-variable is an actual variable parameter to a 
procedure. 
6.5.5-3        *   0*   4*   6*   3* 
This test causes an error by altering the value of a 
file-variable when a reference to the buffer-variable 
exists. 
6.6.2-7        *   0*   4*  48*   3* 
This program contains a function with an assignment to 
its identifier, however the assignment is never 
executed. 
6.6.5.2-4      *   0*   4*  11*   3* 
This program causes an error to occur, as eof(fyle) 
does not yield true prior to execution of a put on the 
file. 
6.6.5.2-5      *   0*   4*  16*   3* 
This program causes an error to occur as eof(fyle) does 
not yield false prior to execution of a get on the 
file. 
6.6.5.2-6      *   0*   4*  14*   2* 
This program checks for detection of the error of doing 
a get on a file immediately following a rewrite. 
6.6.5.2-7      *   0*   4*   9*   2* 
This test causes an error by using put when the file 
mode is not generation. 
6.6.5.2-8      *   0*   4*  10*   2* 
This test causes an error by applying 'page' to a text 
file whose value is undefined. 
6.6.5.2-9      *   0*   4*  12*   2* 
This test causes an error by applying 'put' to an 
undefined buffer-variable. 
6.6.5.2-10     *   0*   4*  13*   2* 
This test causes an error by applying 'reset' to an 
undefined file. 
6.6.5.2-11     *   0*   4*  15*   2* 
This test causes an error by using 'get' on an 
undefined file. 
6.6.5.2-12     *   0*   4*  17*   3* 
This program is in error since the value of the 
buffer-variable is not assignment-compatible with the 
variable-access, as a result of a call of read. 
6.6.5.2-13     *   0*   4*  17*   3* 
This program is in error since the value of the 
buffer-variable is not assignment-compatible with the 
variable-access, as a result of a use of get. 
6.6.5.2-14     *   0*   4*  18*   3* 
This test causes an error by writing an expression 
which is not assignment-compatible with the 
buffer-variable, as a result of a call of write. 
6.6.5.2-15     *   0*   4*  18*   3* 
This test causes an error by writing an expression 
which is not assignment-compatible with the 
buffer-variable, as a result of the use of put. 
6.6.5.3-4      *   0*   4*  23*   2* 
This program causes an error to occur as the pointer 
parameter of dispose is nil. 
6.6.5.3-5      *   0*   4*  24*   2* 
In this test an error is caused by the pointer variable 
of dispose being undefined. 
6.6.5.3-6      *   0*   4*   5*   3* 
This program causes an error to occur as a variable 
which is currently an actual variable parameter is 
referred to by the pointer parameter of dispose. 
6.6.5.3-7      *   0*   4*   5*   4* 
This program causes an error to occur as a variable 
which is an element of the record-variable-list of a 
with-statement is referred to by the pointer parameter 
of dispose. 
6.6.5.3-8      *   0*   4*  25*   3* 
This program causes an error to occur, as a variable 
created by the use of the long form of new is used as 
an operand in an expression. 
6.6.5.3-9      *   0*   4*  25*   3* 
This program causes an error to occur, as a variable 
created by the long form of new is used as the variable 
in an assignment-statement. 
6.6.5.3-10     *   0*   4*  25*   3* 
This program causes an error to occur, as a variable 
created by the long form of new is used as an actual 
parameter. 
6.6.5.3-11     *   0*   4*  43*   2* 
This program is illegal since it uses the value of a 
pointer after a call of dispose. 
6.6.5.3-13     *   0*   4*  19*   2* 
This test causes an error by activating a variant which 
is different from those specified by new(p,c1, ,cn). 
6.6.5.3-14     *   0*   4*  20*   3* 
This test causes an error since an identifying-value 
which had been created using the form new(p,c1, ,cn) is 
consequently removed by applying dispose(p). 
6.6.5.3-16     *   0*   4*  21*   2* 
This test causes an error by calling dispose(q,k1, ,km) 
with an incorrect number of parameters. 
6.6.5.3-17     *   0*   4*  22*   4* 
This test causes an error by calling dispose(q,k1, ,km) 
when the variants in the variable identified by the 
pointer q, are different from those specified by the 
case-constants k1, ,km. 
6.6.5.3-21     *   0*   4*   4*   2* 
This test causes an error by dereferencing a dangling 
pointer. 
6.6.5.4-2      *   0*   4*  26*   4* 
This program causes an error to occur by use of the 
procedure pack such that the parameter of ordinal-type 
is not assignment compatible with the index-type of the 
unpacked array parameter. 
6.6.5.4-3      *   0*   4*  27*   3* 
This program causes an error to occur by the call of 
the procedure pack when a component of the unpacked 
array is both undefined and accessed. 
6.6.5.4-4      *   0*   4*  28*   3* 
This program causes an error to occur by the call of 
the procedure pack such that the index-type of the 
unpacked array is exceeded. 
6.6.5.4-5      *   0*   4*  29*   4* 
This program causes an error to occur by use of the 
procedure unpack such that the parameter of 
ordinal-type is not assignment compatible with the 
index-type of the unpacked array parameter. 
6.6.5.4-6      *   0*   4*  30*   3* 
This program causes an error to occur by the call of 
the procedure unpack when a component of the packed 
array is both undefined and accessed. 
6.6.5.4-7      *   0*   4*  31*   3* 
This program causes an error to occur by the call of 
the procedure unpack such that the index-type of the 
unpacked array is exceeded. 
6.6.6.2-4      *   0*   4*  33*   3* 
This program causes an error to occur as an expression 
with a negative value is used as an argument for the 
arithmetic function ln. 
6.6.6.2-5      *   0*   4*  34*   2* 
This program causes an error to occur as a negative 
argument is used for the sqrt function. 
6.6.6.2-12     *   0*   4*  32*   3* 
This program causes an error to occur by a call of the 
function sqr such that the resulting value does not 
exist with a real parameter. 
6.6.6.2-13     *   0*   4*  32*   3* 
This program causes an error to occur by a call of the 
function sqr such that the resulting value does not 
exist with an integer parameter. 
6.6.6.3-3      *   0*   4*  35*   2* 
This program causes an error to occur as the result 
returned by the trunc function exceeds maxint. 
6.6.6.3-4      *   0*   4*  36*   2* 
This program causes an error to occur as the result 
returned by the round function exceeds maxint. 
6.6.6.4-5      *   0*   4*  38*   2* 
This program causes an error to occur as the function 
succ is applied to the last value of an ordinal-type. 
6.6.6.4-6      *   0*   4*  39*   2* 
This program causes an error to occur as the function 
pred is applied to the first value of an ordinal-type. 
6.6.6.4-7      *   0*   4*  37*   3* 
This test evokes an error by pushing chr past the 
limits of the char-type. It assumes that no char-type 
has more than 1000 + ord('0') values. 
6.6.6.5-6      *   0*   4*  40*   2* 
This test checks for the error of the parameter to the 
eof function being undefined. 
6.6.6.5-7      *   0*   4*  42*   2* 
This test causes an error by applying the eoln function 
to a file f while eof(f) is true. 
6.6.6.5-8      *   0*   4*  41*   2* 
This test causes an error by applying eoln(f) while f 
is undefined. 
6.7.2.2-8      *   0*   4*  45*   2* 
This program causes an error to occur as the second 
operand of the div operator is 0. 
6.7.2.2-9      *   0*   4*  47*   2* 
This program causes an error to occur as the result of 
a dyadic integer operation is greater than maxint. 
6.7.2.2-10     *   0*   4*  47*   2* 
This program causes an error to occur as the result of 
a dyadic integer operation is less than -maxint. 
6.7.2.2-11     *   0*   4*  46*   2* 
This program causes an error to occur as the second 
operand of the mod operator is 0. 
6.7.2.2-12     *   0*   4*  47*   2* 
This program attempts to output a value which 
overflows. 
6.7.2.2-13     *   0*   4*  45*   2* 
This program incorporates the error of j being negative 
in the expression i mod j. 
6.7.2.2-16     *   0*   4*  44*   2* 
This test causes an error since in the expression x/y y 
has the value zero. 
6.7.2.2-19     *   0*   4*  47*   2* 
This test contains a simple-expression in which the 
value of a term exceeds maxint. 
6.7.2.4-4      *   0*   4*  50*   2* 
This test checks that operations on overlapping sets 
are detected. 
6.8.3.5-10     *   0*   4*  51*   3* 
This test checks the type of error produced when the 
case-statement does not contain a constant of the 
selected value. 
6.8.3.5-11     *   0*   4*  51*   2* 
This test is in error since the case-statement is given 
without a case-constant of the selected value. 
6.8.3.9-8      *   0*   4*  52*   3* 
This test causes an error since the initial-value of 
the for-statement violates the assignment-compatibility 
rules. 
6.8.3.9-9      *   0*   4*  53*   3* 
This test causes an error since the final-value of the 
for-statement violates the assignment-compatibility 
rules. 
6.8.3.9-19     *   0*   4*  43*   2* 
This test uses an undefined for-statement 
control-variable. 
6.8.3.9-21     *   0*   4*  43*   2* 
This test causes an error by examining the value of a 
control-variable after execution of a for-statement. 
6.8.3.9-22     *   0*   4*  43*   2* 
This test causes an error by using a control-variable 
after an unexecuted for-statement. 
6.8.3.9-27     *   0*   4*  43*   3* 
This test causes an error by access to the 
control-variable in spite of a potential valid value if 
a goto statement were executed. 
6.9.1-4        *   0*   4*  54*   4* 
This test checks that an error is produced when an 
attempt is made to read an integer but the sequence of 
characters on the input file does not form a valid 
signed integer. 
6.9.1-5        *   0*   4*  56*   4* 
This test checks that an error is produced when an 
attempt is made to read a real but the sequence of 
characters on the input file does not form a valid 
real. 
6.9.1-9        *   0*   4*  57*   3* 
This test causes an error by reading from a textfile 
when the buffer-variable is undefined, by a call of 
read. 
6.9.1-10       *   0*   4*  55*   3* 
This test causes an error by reading an integer whose 
value is not assignment-compatible with the type 
possessed by the variable-access. 
6.9.3.1-2      *   0*   4*  58*   2* 
This test attempts to output characters whose field 
width parameters are non-positive. 
6.9.3.1-3      *   0*   4*  58*   2* 
This program contains the error of FracDigits being 
less than one. 
6.9.3.1-7      *   0*   4*  58*   2* 
This program contains the error of FracDigits being 
less than one. 
1.2-1          *   0*   5*   1* 
This test is a general check on execution speed. 
1.2-2          *   0*   5*   1* 
This test evaluates the GAMM measure. 
1.2-3          *   0*   5*   1* 
This test checks on the speed of procedure calls. 
6.1.3-3        *   0*   5*   1* 
This test checks the significance limit of identifiers. 
6.1.5-8        *   0*   5*   2* 
This test checks that lines of up to 72 characters are 
permitted. 
6.1.5-10       *   0*   5*   2* 
This test checks that there are no small limits on the 
number of real literals allowed by a processor. 
6.1.5-11       *   0*   5*   2* 
This test checks that negative powers of the radix, 
stored as literal values, are converted exactly. 
6.1.5-12       *   0*   5*   2* 
This test checks that negative powers of the radix, 
stored as literal values, are converted exactly. 
6.1.7-14       *   0*   5*   2* 
This test checks that processors allow a reasonably 
large (20) number of constant-strings in a program. 
6.2.1-11       *   0*   5*   3* 
This test checks that 128 procedures are permitted in a 
procedure-declaration-part and 
function-declaration-part. 
6.2.1-12       *   0*   5*   2* 
This test checks that a large number of types (50) may 
be declared in a program. 
6.2.1-13       *   0*   5*   2* 
This test checks that a large number of labels (50) may 
be declared in a program. 
6.2.1-14       *   0*   5*   2* 
This test checks that 128 constant definitions are 
allowed in one constant-definition-part. 
6.4.3.2-7      *   0*   5*   2* 
This test checks that large arrays (at least 1024 
elements) can be declared. 
6.4.3.2-8      *   0*   5*   2* 
This test checks that 8 index-types can appear in an 
array-type. 
6.4.3.3-14     *   0*   5*   2* 
This test checks that 128 case-constant values are 
permitted in a variant record. 
6.4.3.3-15     *   0*   5*   2* 
This test checks that 50 record-sections can appear in 
the fixed part of a record. 
6.4.3.3-16     *   0*   5*   2* 
This test checks that 30 distinct variants are 
permitted in a record. 
6.4.3.4-4      *   0*   5*   2* 
This test is an implementation of Warshall's algorithm 
in Pascal. 
6.4.3.4-8      *   0*   5*   2* 
This test checks that sets with negative base types are 
accepted. Processors will rarely pass this test. 
6.4.3.4-9      *   0*   5*   2* 
This test checks for set of integer. Processors will 
rarely pass this test. 
6.4.3.4-10     *   0*   5*   2* 
This test checks that 'in' with large base types is 
accepted. Processors will rarely pass this test. 
6.4.3.5-15     *   0*   5*   1* 
This test contains fifteen simultaneous open files. 
6.5.1-2        *   0*   5*   2* 
This test checks that 300 identifiers are allowed in a 
variable-declaration-part. 
6.5.3-1        *   0*   5*   3* 
This test checks that the three forms of addressing 
(indexing, indirection and field selection) do not 
interact incorrectly. 
6.5.3.2-3      *   0*   5*   2* 
This test checks that array indices can be nested 10 
deep. 
6.5.3.2-4      *   0*   5*   2* 
This test checks that eight-dimensional arrays are 
permitted. 
6.5.3.2-5      *   0*   5*   2* 
This test checks that eight-dimensional arrays are 
permitted. 
6.6.1-8        *   0*   5*   2* 
This test checks that procedures may be nested to 15 
levels. 
6.6.3.1-6      *   0*   5*   2* 
This test checks that 50 formal parameter sections can 
appear in one parameter list. 
6.6.5.3-12     *   0*   5*   3* 
This test checks that the procedure dispose is 
implemented and is not merely a dummy, or that the 
store is large enough not to need dispose. 
6.6.6.2-6      *   0*   5*   2* 
This test checks the implementation of the sqrt 
function. 
6.6.6.2-7      *   0*   5*   2* 
This test checks the implementation of the arctan 
function. 
6.6.6.2-8      *   0*   5*   2* 
This test checks the implementation of the exp 
function. 
6.6.6.2-9      *   0*   5*   2* 
This test checks the implementation of the sin and cos 
functions. 
6.6.6.2-10     *   0*   5*   1* 
This test checks the implementation of the ln function. 
6.6.6.2-11     *   0*   5*   3* 
This program determines some of the characteristics of 
the floating-point arithmetic system of the host 
machine. 
6.7.1-3        *   0*   5*   2* 
This test checks that deeply-nested expressions are 
permitted. 
6.7.1-4        *   0*   5*   2* 
This test checks that deeply-nested expressions are 
permitted. 
6.7.1-5        *   0*   5*   2* 
This test checks that a deeply-nested expression 
requiring temporary working store is permitted. 
6.7.1-15       *   0*   5*   3* 
This test checks that the construction of a null set by 
using a member-designator of the form maxint..-maxint 
is possible. 
6.7.2.2-14     *   0*   5*   1* 
This test checks real division by using small integers. 
6.7.2.2-15     *   0*   5*   2* 
This test checks real +, -, *, abs and sqr by requiring 
equality for small integer-valued operands. 
6.7.3-1        *   0*   5*   2* 
This test checks if deeply-nested function calls are 
possible. 
6.8.3.2-1      *   0*   5*   2* 
This test checks that deeply-nested compound statements 
are permitted. 
6.8.3.2-2      *   0*   5*   2* 
This program checks that a procedure may have 300 
statements. 
6.8.3.4-2      *   0*   5*   2* 
This test checks that deeply-nested if-statements are 
permitted. 
6.8.3.5-13     *   0*   5*   2* 
This test contains a large case-statement to check that 
the limit on the size of code is not a serious one. 
6.8.3.5-14     *   0*   5*   2* 
This test checks that 300 constants are allowed in a 
case-constant list. 
6.8.3.5-15     *   0*   5*   2* 
This test checks that case-statements can be nested 15 
deep. 
6.8.3.5-19     *   0*   5*   3* 
This test checks that the sparsest of possible case 
statements is acceptable. Processors will rarely pass 
this test. 
6.8.3.7-4      *   0*   5*   2* 
This test checks that repeat-statements can be nested 
15 deep. 
6.8.3.8-3      *   0*   5*   2* 
This test checks that while-statements can be nested 15 
deep. 
6.8.3.9-20     *   0*   5*   2* 
This test checks that for-statements can be nested 15 
deep. 
6.8.3.10-7     *   0*   5*   2* 
This test checks that with-statements may be nested to 
15 levels. 
6.9-3          *   0*   5*   2* 
This test checks that a line of length 255 can be 
written to a textfile. 
6.9.1-6        *   0*   5*   1* 
This test checks the accuracy of read for reals. 
6.9.1-7        *   0*   5*   2* 
This test checks that a list of 30 variable-accesses 
can appear in a read-parameter-list. 
6.9.1-8        *   0*   5*   1* 
This test checks the accuracy of copying reals. 
6.9.2-2        *   0*   5*   2* 
This test checks that a list of 30 variable-accesses 
can appear in a readln-parameter-list. 
6.9.3-2        *   0*   5*   3* 
This test checks that data written appears on the 
output file regardless of the omission of a line 
separator. 
6.9.3-3        *   0*   5*   2* 
This test checks that a list of 30 write-parameters can 
appear in a write-parameter-list. 
6.9.3.4.2-2    *   0*   5*   1* 
This test checks the accuracy of write for reals. 
6.9.4-2        *   0*   5*   2* 
This test checks that a list of 30 write-parameters can 
appear in a writeln-parameter-list. 
6.1.7-15       *   0*   2*   1*   2* 
This program checks that the required string-characters 
are provided. 
6.1.9-5        *   0*   2*  17*   3* 
This program checks whether the required 
equivalent-symbols can be used instead of the reference 
representation. 
6.4.2.2-10     *   0*   2*   6*   2* 
This program prints out the implementation defined 
value of maxint. 
6.4.2.2-11     *   0*   2*   2*   3* 
This program observes the approximate accuracy of real 
values around 1.0. It prints the precision in decimal 
digits up to 30 places. 
6.4.2.2-12     *   0*   2*   4*   2* 
This program provides the implementation-defined 
ordinal values of the required string-characters. 
6.7.2.2-17     *   0*   2*   7*   3* 
This program observes the approximate accuracy of real 
operations giving results around 1.0. It prints the 
precision in decimal digits up to 30 places. 
6.9.3.1-1      *   0*   2*   9*   2* 
This program determines the implementation defined 
default field-width for writing reals. 
6.9.3.1-8      *   0*   2*  10*   2* 
This program determines the implementation defined 
default field-width for writing booleans. 
6.9.3.1-9      *   0*   2*   8*   2* 
This program determines the implementation defined 
default field-width for writing integers. 
6.9.3.4.1-1    *   0*   2*  11*   3* 
This program determines the implementation defined 
value which represents the number of digit characters 
written in an exponent. 
6.9.3.4.1-2    *   0*   2*  12*   2* 
This program determines the implementation defined 
exponent character. 
6.9.3.5-1      *   0*   2*  13*   3* 
This test checks that boolean variables are correctly 
written to textfiles, and determines the case of the 
characters used. 
6.5.3.2-6      *   0*   3*   1*   2* 
This program determines the evaluation order of 
indexed-expressions of an indexed-variable. 
6.6.5.4-8      *   0*   3*  11*   2* 
This program determines the order and number of 
evaluations of the parameters of the procedure pack. 
6.6.5.4-9      *   0*   3*  11*   2* 
This program determines the order and number of 
evaluations of the parameters of the procedure unpack. 
6.7.1-11       *   0*   3*   2*   2* 
This program determines the order of evaluation of the 
expressions of a member-designator. 
6.7.1-12       *   0*   3*   3*   3* 
This test contains an implementation-dependency in the 
order of evaluation of expressions in a 
member-designator of a set-constructor. 
6.7.1-13       *   0*   3*   3*   3* 
This test contains an implementation-dependency in the 
order of evaluation of member-designators of a 
set-constructor. 
6.7.1-14       *   0*   3*   3*   2* 
This program determines the order of evaluation of the 
expressions of a set-constructor. 
6.7.2.3-3      *   0*   3*   4*   4* 
This program determines if a boolean-expression is 
partially or completely evaluated when the value of the 
expression is determined before the expression is fully 
evaluated. 
6.7.2.3-4      *   0*   3*   4*   4* 
This program determines if a boolean-expression is 
partially or completely evaluated when the value of the 
expression is determined before the expression is fully 
evaluated. 
6.7.3-2        *   0*   3*   5*   2* 
This program determines the order of evaluation of the 
actual parameters of a function-designator. 
6.8.2.2-1      *   0*   3*   6*   4* 
This program determines whether selection of a variable 
involving the indexing of an array occurs before or 
after the evaluation of the expression in an 
assignment-statement. 
6.8.2.2-2      *   0*   3*   6*   4* 
This program determines whether selection of a variable 
involving the dereferencing of a pointer occurs before 
or after the evaluation of the expression in an 
assignment-statement. 
6.8.2.3-2      *   0*   3*   7*   2* 
This program determines the order of evaluation of the 
actual parameters in a procedure statement. 
6.9.5-3        *   0*   3*   8*   2* 
This program determines the sequence of characters used 
to represent the effect of page on a textfile. 
6.4.2.2-13     *   1*   2*   4*   2* 
This program determines the range of the type char by 
using a conformant array. 
6.6.3.6-6      *   1*   0*   2* 
This test checks that the congruity of conformant array 
parameters is implemented correctly. 
6.6.3.6-7      *   1*   1*   2* 
This program checks that the index-types of congruent 
conformant array parameters must be the same. 
6.6.3.6-8      *   1*   1*   3* 
This program checks that the component types of 
congruent conformant array parameters must be 
conformable. 
6.6.3.6-9      *   1*   1*   2* 
This program checks that the packing of congruent 
conformant array parameters must be the same. 
6.6.3.7-1      *   1*   0*   2* 
This program checks that conformant arrays can appear 
as actual parameters to the procedure pack. 
6.6.3.7-2      *   1*   0*   2* 
This program checks that conformant arrays can appear 
as actual parameters to the procedure unpack. 
6.6.3.7-3      *   1*   1*   3* 
This test checks that the equals operator cannot be 
used with a conformant array as an operand even if it 
is a packed array of char. 
6.6.3.7-4      *   1*   1*   3* 
This test checks that writeln cannot be applied with a 
conformant array as a parameter even if it is a packed 
array of char. 
6.6.3.7.1-1    *   1*   0*   2* 
This test checks assignment of, and of the components 
of value and variable conformant arrays. 
6.6.3.7.1-2    *   1*   1*   2* 
This test checks that explicit bounds to a conformant 
array cannot be given in the call. 
6.6.3.7.1-3    *   1*   0*   2* 
This test checks for the equivalence of the long and 
abbreviated form of conformant array schemas. 
6.6.3.7.1-4    *   1*   1*   2* 
This test checks that an assignment to a 
bound-identifier is not permitted. 
6.6.3.7.1-5    *   1*   1*   2* 
This test checks that a bound-identifier cannot be used 
in a constant-definition. 
6.6.3.7.1-6    *   1*   0*   3* 
This test checks that the final array dimension of a 
schema can be packed and also checks the 
bound-identifier values. 
6.6.3.7.1-7    *   1*   1*   2* 
This test checks that packing of a conformant array is 
not permitted for two dimensions. 
6.6.3.7.1-8    *   1*   1*   3* 
This test checks that arrays with different bounds 
cannot be passed as conformant arrays in the same 
section. 
6.6.3.7.1-9    *   1*   1*   2* 
This test checks that type real is not permitted as an 
index-type of a conformant array schema. 
6.6.3.7.1-10   *   1*   1*   2* 
This test checks that two similar arrays of distinct 
types cannot be passed in the same section. 
6.6.3.7.1-11   *   1*   1*   2* 
This test checks that the component type of a 
conformant array must be the same as the actual type. 
6.6.3.7.1-12   *   1*   1*   2* 
This test checks that packing of a conformant array is 
not permitted for two dimensions. 
6.6.3.7.1-13   *   1*   1*   4* 
This test contains a procedure with two conformant 
arrays of the same type and attempts to supply two 
parameters (to the procedure) whose types are not 
identical. 
6.6.3.7.1-14   *   1*   0*   2* 
This test checks that the bound-identifiers can be 
accessed if the procedure is declared forward. 
6.6.3.7.2-1    *   1*   0*   2* 
This test checks all the main facilities of value 
conformant arrays. 
6.6.3.7.2-2    *   1*   0*   2* 
This test checks that a copy is made of a value array 
even if this does not seem to be necessary. 
6.6.3.7.2-3    *   1*   1*   2* 
This test checks that a value array actual-parameter 
does not have a file-type as a component type. 
6.6.3.7.2-4    *   1*   1*   2* 
This test checks that a value array actual-parameter 
does not indirectly have a file component. 
6.6.3.7.2-5    *   1*   0*   3* 
This test checks that the two permitted contexts of the 
use of a value conformant array parameter as an actual 
parameter is permitted. 
6.6.3.7.2-6    *   1*   1*   3* 
This test checks that a value conformant array cannot 
be passed on as an actual parameter to another value 
conformant array. 
6.6.3.7.2-7    *   1*   5*   2* 
This quality test checks the storage management of 
value conformant arrays. 
6.6.3.7.3-1    *   1*   0*   2* 
This program checks that a conformant array schema can 
be nested within itself. 
6.6.3.7.3-2    *   1*   0*   2* 
This test checks that variable conformant array 
parameters are handled correctly. 
6.6.3.7.3-3    *   1*   4*   1*   5* 
The purpose of this test is to exhibit the way the 
processor handles the error resulting from an access to 
an element of an array passed as a conformant array 
parameter when the index is outside the range of its 
associated index-type. 
6.6.3.7.3-4    *   1*   1*   3* 
This test checks that the actual parameter 
corresponding to a variable conformant array is not an 
expression. 
6.6.3.7.3-5    *   1*   1*   3* 
This test checks that the actual parameter 
corresponding to a variable conformant array is not a 
string. 
6.6.3.7.3-6    *   1*   1*   3* 
This test checks that an array which is a component of 
a packed type cannot be passed as an actual parameter 
to a variable conformant array. 
6.6.3.7.3-7    *   1*   1*   3* 
This test checks that a variable formal conformant 
array cannot be passed as an actual to a value 
conformant array. 
6.6.3.7.3-8    *   1*   5*   2* 
This test checks whether a conformant array schema can 
accommodate 8 index-type specifications. 
6.6.3.7.3-9    *   1*   0*   3* 
This test checks that an array parameter is correctly 
passed to a var conformant array where the levels of 
parameter and array data are different. 
6.6.3.7.3-10   *   1*   0*   3* 
This test checks that an array parameter is correctly 
passed to a component of a var conformant array where 
the levels of parameter and array data are different. 
6.6.3.8-1      *   1*   1*   5* 
The actual parameters shall possess the same 
index-types as the corresponding formal parameters that 
occur in a conformant array parameter specification. 
This is not the case in this program, as the 
index-types differ, so it deviates from the Standard. 
6.6.3.8-2      *   1*   4*  59*   3* 
This program sees if the largest and smallest bounds of 
an array lie within the bounds of the formal conformant 
array schema. 
6.6.3.8-3      *   1*   0*   2* 
This test checks the application of the conformability 
rules for higher dimensions. 
6.6.3.8-4      *   1*   1*   2* 
This test checks that the component type of the actual 
and formal arrays must be conformable. 
6.6.3.8-5      *   1*   1*   2* 
This test checks that packing is preserved in the 
conformant array schema. 
6.6.3.8-7      *   1*   4*  59*   3* 
This test contains a conformant-array and the values of 
the index-type of the actual-parameter violate the 
conformability rules. 
6.6.3.8-8      *   1*   1*   3* 
This test deviates by trying to supply an 
actual-parameter whose type is not an array-type, to a 
procedure which contains a conformant-array-schema. 
6.6.5.4-14     *   1*   0*   2* 
This test contains calls of pack and unpack in which 
both parameters are conformant-array-parameters. 
6.1.3-4        *   0*   6*   2* 
This test checks if underscores are permitted in 
identifiers, and if they are significant. 
6.1.9-7        *   0*   6*   2* 
This program checks whether equivalent-symbols can be 
used for the standard reference representation. 
6.1.9-8        *   0*   6*   3* 
This program checks whether commonly accepted alternate 
symbols can be used for the colon, semicolon and 
assignment (:=) symbols. 
6.8.3.5-16     *   0*   6*   2* 
This test checks whether an otherwise clause in a 
case-statement is accepted. 
1.2-4          *   0*   5*   4* 
This test allows evaluation of the run-time diagnostic 
facilities of an implementation and also determines 
whether checks are made for unclosed comments or for 
unexecutable elements in case statements. 
6.1.9-6        *   0*   2*  17*   2* 
This program checks whether the equivalent symbol can 
be used for the reference representation of up-arrow. 
6.2.1-3        *   0*   0*   1* 
This is the minimal-program. 
6.9.5-1        *   0*   0*   2* 
This program checks that the procedure page is 
implemented. 
6.10-5         *   0*   0*   2* 
This test checks that a comment is permitted between 
the final end and the '.'. 
6.10-6         *   0*   0*   2* 
This test checks that a program without any comments 
is accepted. 
6.10-9         *   0*   2*  16*   2* 
This test determines how the procedure rewrite deals 
with the standard file output. 
6.10-10        *   0*   2*  16*   2* 
This test determines how the procedure reset deals with 
the standard file output. 
6.10-11        *   0*   0*   2* 
A single test that checks external file binding for 
binary files. 
6.10-12        *   0*   5*   2* 
A single test that checks external file binding for 
binary files. 
6.10-13        *   0*   0*   2* 
A single test that checks external file binding for 
text files. 
6.10-14        *   0*   5*   2* 
A single test that checks external file binding for 
text files.