1984-07-12 13:50:44 +00:00
|
|
|
#
|
|
|
|
{
|
|
|
|
(c) copyright 1983 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
|
|
|
|
|
|
This product is part of the Amsterdam Compiler Kit.
|
|
|
|
|
|
|
|
Permission to use, sell, duplicate or disclose this software must be
|
|
|
|
obtained in writing. Requests for such permissions may be sent to
|
|
|
|
|
|
|
|
Dr. Andrew S. Tanenbaum
|
|
|
|
Wiskundig Seminarium
|
|
|
|
Vrije Universiteit
|
|
|
|
Postbox 7161
|
|
|
|
1007 MC Amsterdam
|
|
|
|
The Netherlands
|
|
|
|
|
|
|
|
}
|
|
|
|
program t2(input,output);
|
|
|
|
|
|
|
|
{ This program can be used to test out PASCAL compilers }
|
|
|
|
|
|
|
|
const
|
1984-07-12 14:07:14 +00:00
|
|
|
rcsversion='$Header$';
|
1984-07-12 13:50:44 +00:00
|
|
|
kew='q';
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
eps = 2.0e-7; { This constant is machine dependent }
|
|
|
|
#endif
|
|
|
|
|
|
|
|
type wavelength = (red,blue,yellow);
|
|
|
|
tp2= record c1:char; i,j:integer; p:boolean; x:real end;
|
|
|
|
single= array [0..0] of integer;
|
|
|
|
spectrum= set of wavelength;
|
|
|
|
np= ^node;
|
|
|
|
node = record val:integer; next: np end;
|
|
|
|
|
|
|
|
var t,pct,ect:integer;
|
|
|
|
i,j,k,l:integer;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
w,x,y,z:real;
|
|
|
|
#endif
|
|
|
|
p:boolean;
|
|
|
|
d:char;
|
|
|
|
color: wavelength;
|
|
|
|
head: np;
|
|
|
|
|
|
|
|
|
|
|
|
function twice(k:integer):integer; begin twice := 2*k end;
|
|
|
|
function inc(k:integer):integer; begin inc := k+1 end;
|
|
|
|
|
|
|
|
procedure e(n:integer);
|
|
|
|
begin
|
|
|
|
ect := ect + 1;
|
|
|
|
writeln(' Error', n:3,' in test ', t)
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst21;
|
|
|
|
{ Test things packed }
|
|
|
|
var i:integer; c:char;
|
|
|
|
r1: packed record c:char; b:boolean; i:integer end;
|
|
|
|
r2: packed record c:char; i:integer; b:boolean; j:integer end;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
r3: packed record c:char; r:real end;
|
|
|
|
#else
|
|
|
|
r3: packed record c:char end;
|
|
|
|
#endif
|
|
|
|
r4: packed record i:0..10; j:integer end;
|
|
|
|
r5: packed record x:array[1..3] of char; i:integer end;
|
|
|
|
r6: packed record x: packed array[1..3] of char; i:integer end;
|
|
|
|
r7: packed record c:char; x:packed array[1..3] of char end;
|
|
|
|
r8: packed record c:char; x:packed array[1..3] of integer end;
|
|
|
|
r9: record x:packed record c:char; i:integer end; i:integer; c:char end;
|
|
|
|
r10:packed record a:0..100; b:0..100; c:char; d:char end;
|
|
|
|
|
|
|
|
a1: packed array[1..3] of char;
|
|
|
|
a2: packed array[1..3] of integer;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
a3: packed array[1..7] of real;
|
|
|
|
#endif
|
|
|
|
a4: packed array[1..7] of array[1..11] of char;
|
|
|
|
a5: packed array[1..5] of array[1..11] of integer;
|
|
|
|
a6: packed array[1..9] of packed array[1..11] of char;
|
|
|
|
a7: packed array[1..3] of packed array[1..5] of integer;
|
|
|
|
begin t:=21; pct := pct + 1;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
i:=4; x:=3.5; c:='x'; p:=true;
|
|
|
|
#else
|
|
|
|
i:=4; c:='x'; p:=true;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
r1.c:='a'; r1.b:=true; r1.i:=i; p:=r1.b; j:=r1.i;
|
|
|
|
r2.c:=c; r2.i:=i; r2.b:=p; r2.j:=i; j:=r2.i; j:=r2.j;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
r3.c:=c; r3.r:=x; y:=r3.r;
|
|
|
|
#else
|
|
|
|
r3.c:=c;
|
|
|
|
#endif
|
|
|
|
r4.i:=i; r4.j:=i; j:=r4.i; j:=r4.j;
|
|
|
|
r5.x[i-2]:=c; r5.i:=i; j:=r5.i;
|
|
|
|
r6.x[i-1]:=c; r6.i:=i; j:=r6.i;
|
|
|
|
r7.c:=c; r7.x[i-1]:=c; d:=r7.c; d:=r7.x[i-1];
|
|
|
|
r8.c:=c; r8.x[i-1]:=5; j:=r8.x[i-1];
|
|
|
|
r9.x.c:=c; r9.x.i:=i; r9.c:=c; j:=r9.x.i;
|
|
|
|
|
|
|
|
if (r1.c <> 'a') or (r1.b <> true) or (r1.i <> 4) then e(1);
|
|
|
|
if (r2.c<>'x') or (r2.i<>4) or (r2.b<>p) or (r2.j<>4) then e(2);
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
if (r3.c<>'x') or (r3.r<>3.5) then e(3);
|
|
|
|
#else
|
|
|
|
if (r3.c<>'x') then e(3);
|
|
|
|
#endif
|
|
|
|
if (r4.i<>4) or (r4.j<>4) then e(4);
|
|
|
|
if (r5.x[2]<>'x') or (r5.i<>4) then e(5);
|
|
|
|
if (r6.x[3]<>'x') or (r6.i<>4) then e(6);
|
|
|
|
if (r7.c<>'x') or (r7.x[3]<>'x') or (c<>d) then e(7);
|
|
|
|
if (r8.c<>'x') or (r8.x[3]<>5) then e(8);
|
|
|
|
if (r9.x.c<>'x') or (r9.x.i<>4) or (r9.c<>'x') then e(9);
|
|
|
|
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
i:=4; a1[i-1]:=c; a2[i-1]:=i; a3[i]:=x;
|
|
|
|
#else
|
|
|
|
i:=4; a1[i-1]:=c; a2[i-1]:=i;
|
|
|
|
#endif
|
|
|
|
a4[i][i+1]:=c;
|
|
|
|
a5[i][i+1]:=i; j:=a5[i][i+1];
|
|
|
|
a6[i][i+1]:=c;
|
|
|
|
a7[i-1][i+1]:=i; j:=a7[i-1][i+1];
|
|
|
|
|
|
|
|
if a1[i-1] <> 'x' then e(10);
|
|
|
|
if a2[i-1] <> 4 then e(11);
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
if a3[i] <> 3.5 then e(12);
|
|
|
|
#endif
|
|
|
|
if a4[i][i+1] <> 'x' then e(13);
|
|
|
|
if a5[i][i+1] <> 4 then e(14);
|
|
|
|
if a6[i][i+1] <> 'x' then e(15);
|
|
|
|
if a7[i-1][i+1] <> 4 then e(16);
|
|
|
|
|
|
|
|
i:=75; c:='s';
|
|
|
|
r10.a:=i; r10.b:=i+1; r10.c:='x'; r10.d:=c;
|
|
|
|
if (r10.a<>i) or (r10.b<>76) or (r10.c<>'x') or (r10.d<>'s') then e(17);
|
|
|
|
i:=r10.a; if i<>75 then e(18);
|
|
|
|
i:=r10.b; if i<>76 then e(19);
|
|
|
|
c:=r10.c; if c<>'x'then e(20);
|
|
|
|
c:=r10.d; if c<>'s'then e(21);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst22;
|
|
|
|
{ References to intermediate lexical levels }
|
|
|
|
type wavelength = (pink,green,orange);
|
|
|
|
ww2= 1939..1945;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
tp2= record c1:char; i,j:integer; p:boolean; x:real end;
|
|
|
|
#else
|
|
|
|
tp2= record c1:char; i,j:integer; p:boolean end;
|
|
|
|
#endif
|
|
|
|
single= array [0..0] of integer;
|
|
|
|
spectrum= set of wavelength;
|
|
|
|
pnode = ^node;
|
|
|
|
node = record val:integer; next: pnode end;
|
|
|
|
vec1 = array[-10..+10] of integer;
|
|
|
|
|
|
|
|
var j,k,m:integer;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
x,y,z:real;
|
|
|
|
#endif
|
|
|
|
p,q,r:boolean;
|
|
|
|
c1,c2,c3:char;
|
|
|
|
sr1,sr2,sr3: 1939..1945;
|
|
|
|
color,hue,tint: wavelength;
|
|
|
|
a1: vec1;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
a2: array [ww2] of real;
|
|
|
|
#endif
|
|
|
|
a3: array[wavelength] of boolean;
|
|
|
|
a4: array[(mouse,house)] of char;
|
|
|
|
a5: array[50..52,(bat,cat,rat),boolean,ww2] of integer;
|
|
|
|
a6: packed array[0..10,0..3,0..3] of char;
|
|
|
|
r1,r2: tp2;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
r3: packed record c1:char; i,j:integer; p:boolean; x:real end;
|
|
|
|
#else
|
|
|
|
r3: packed record c1:char; i,j:integer; p:boolean end;
|
|
|
|
#endif
|
|
|
|
colors: spectrum;
|
|
|
|
beasts: set of (pig,chicken,farmersdaughter);
|
|
|
|
bits: set of 0..1;
|
|
|
|
p1: ^integer;
|
|
|
|
p2: ^tp2;
|
|
|
|
p3: ^single;
|
|
|
|
p4: ^spectrum;
|
|
|
|
tail: np;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
procedure tst2201;
|
|
|
|
{ Arithmetic on intermediate level integer variables }
|
|
|
|
begin t:=2201; pct := pct + 1;
|
|
|
|
i:=1; j:=2; k:=3; l:=4; m:=10;
|
|
|
|
if i+j <> k then e(1);
|
|
|
|
if i+k <> l then e(2);
|
|
|
|
if j-k <> -i then e(3);
|
|
|
|
if j*(j+k) <> m then e(4);
|
|
|
|
if -m <> -(k+k+l) then e(5);
|
|
|
|
if i div i <> 1 then e(6);
|
|
|
|
if m*m div m <> m then e(7);
|
|
|
|
if 10*m <> 100 then e(8);
|
|
|
|
if m*(-10) <> -100 then e(9);
|
|
|
|
if j div k <> 0 then e(10);
|
|
|
|
if 100 div k <> 33 then e(11);
|
|
|
|
if i+j*k+l+m mod j + 50 div k <> 27 then e(12);
|
|
|
|
if j*k*m div 6 <> 10 then e(13);
|
|
|
|
if (k>4) or (k>=4) or (k=4) then e(14);
|
|
|
|
if (m<j) or (m<=j) or (m=j) then e(15);
|
|
|
|
if k <> i+j then e(16);
|
|
|
|
end;
|
|
|
|
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
|
|
|
|
procedure tst2202;
|
|
|
|
{ Real arithmetic using intermediate level variables }
|
|
|
|
begin t:=2202; pct := pct + 1;
|
|
|
|
|
|
|
|
x:=1.50; y:=3.00; z:= 0.10;
|
|
|
|
if abs(5*y*z-x) > eps then e(10);
|
|
|
|
if abs(y*y*y/z*x-405) > eps then e(11);
|
|
|
|
x:=1.1; y:= 1.2;
|
|
|
|
if y<x then e(12);
|
|
|
|
if y <= x then e(13);
|
|
|
|
if y = x then e(14);
|
|
|
|
if x <> x then e(15);
|
|
|
|
if x >= y then e(16);
|
|
|
|
if x >y then e(17);
|
|
|
|
end;
|
|
|
|
|
|
|
|
#endif
|
|
|
|
procedure tst2203;
|
|
|
|
{ Boolean expressions using intermediate level varibales }
|
|
|
|
begin t:=2203; pct := pct + 1;
|
|
|
|
p:=true; q:=true; r:=false;
|
|
|
|
if not p then e(7);
|
|
|
|
if r then e(8);
|
|
|
|
if p and r then e(9);
|
|
|
|
if p and not q then e(10);
|
|
|
|
if not p or not q then e(11);
|
|
|
|
if (p and r) or (q and r) then e(12);
|
|
|
|
if p and q and r then e(13);
|
|
|
|
if (p or q) = r then e(14);
|
|
|
|
end;
|
|
|
|
|
|
|
|
procedure tst2204;
|
|
|
|
{ Characters, Subranges, Enumerated types using intermediate level vars }
|
|
|
|
begin t:=2204; pct := pct + 1;
|
|
|
|
if 'q' <> kew then e(1);
|
|
|
|
c1 := 'a'; c2 := 'b'; c3 := 'a';
|
|
|
|
if c1 = c2 then e(2);
|
|
|
|
if c1 <> c3 then e(3);
|
|
|
|
|
|
|
|
sr1:=1939; sr2:=1945; sr3:=1939;
|
|
|
|
if sr1=sr2 then e(4);
|
|
|
|
if sr1<>sr3 then e(5);
|
|
|
|
|
|
|
|
color := orange; hue := green; tint := orange;
|
|
|
|
if color = hue then e(6);
|
|
|
|
if color <> tint then e(7);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
procedure tst2205;
|
|
|
|
{ Intermediate level arrays }
|
|
|
|
var i,l,o:integer;
|
|
|
|
begin t:=2205; pct := pct + 1;
|
|
|
|
for i:= -10 to 10 do a1[i] := i*i;
|
|
|
|
if (a1[-10]<>100) or (a1[9]<>81) then e(1);
|
|
|
|
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
for i:=1939 to 1945 do a2[i]:=i-1938.5;
|
|
|
|
if (abs(a2[1939]-0.5) > eps) or (abs(a2[1945]-6.5) > eps) then e(2);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
color := orange;
|
|
|
|
a3[green] := true; a3[orange] := true;
|
|
|
|
if (a3[green]<>true) or (a3[orange]<>true) then e(3);
|
|
|
|
a3[green] := false; a3[orange] := false;
|
|
|
|
if (a3[green]<>false) or (a3[orange]<>false) then e(4);
|
|
|
|
|
|
|
|
a4[mouse]:='m'; a4[house]:='h';
|
|
|
|
if (a4[mouse] <> 'm') or (a4[house]<>'h' ) then e(5);
|
|
|
|
|
|
|
|
for i:=1939 to 1945 do a5[51,bat,false,i]:=300+i;
|
|
|
|
if a5[51,bat,false,1940] <> 2240 then e(6);
|
|
|
|
for i:=50 to 52 do a5[i,cat,true,1943]:=200+i;
|
|
|
|
if (a5[50,cat,true,1943] <> 250) or (a5[52,cat,true,1943] <> 252) then e(7);
|
|
|
|
|
|
|
|
for i:= -10 to 10 do a1[i]:= 0;
|
|
|
|
for i:= 0 to 10 do a1[i div 2 + i div 2]:= i+1;
|
|
|
|
if(a1[0]<>2) or (a1[5]<>0) or (a1[8]<>10) then e(8);
|
|
|
|
|
|
|
|
for i:= 0 to 10 do
|
|
|
|
for l:= 0 to 3 do
|
|
|
|
for o:= 0 to 3 do
|
|
|
|
if ( (i+l+o) div 2) * 2 = i+l+o then a6[i,l,o]:='e' else a6[i,l,o]:='o';
|
|
|
|
if (a6[2,2,2]<>'e') or (a6[2,2,3]<>'o') or (a6[0,3,1]<>'e') then e(9);
|
|
|
|
end;
|
|
|
|
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
|
|
|
|
procedure tst2206;
|
|
|
|
{ Intermediate level records }
|
|
|
|
begin t:=2206; pct := pct + 1;
|
|
|
|
r1.c1:='x'; r1.i:=40; r1.j:=50; r1.p:=true; r1.x:=3.0;
|
|
|
|
c1:='a'; i:=0; j:=0; p:=false; x:=100.0;
|
|
|
|
if (r1.c1<>'x') or (r1.i<>40) or (r1.p<>true) or (r1.x<>3.0) then e(1);
|
|
|
|
r2:=r1;
|
|
|
|
if (r2.c1<>'x') or (r2.i<>40) or (r2.p<>true) or (r2.x<>3.0) then e(2);
|
|
|
|
i:=r1.i; p:=r1.p; c1:=r1.c1; x:=r1.x;
|
|
|
|
if (c1<>'x') or (i<>40) or (p<>true) or (x<>3.0) then e(3);
|
|
|
|
r3.c1:='x'; r3.i:=40; r3.j:=50; r3.p:=true; r3.x:=3.0;
|
|
|
|
if (r3.c1<>'x') or (r3.i<>40) or (r3.p<>true) or (r3.x<>3.0) then e(4);
|
|
|
|
end;
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
procedure tst2206;
|
|
|
|
{ Intermediate level records }
|
|
|
|
begin t:=2206; pct := pct + 1;
|
|
|
|
r1.c1:='x'; r1.i:=40; r1.j:=50; r1.p:=true;
|
|
|
|
c1:='a'; i:=0; j:=0; p:=false;
|
|
|
|
if (r1.c1<>'x') or (r1.i<>40) or (r1.p<>true) then e(1);
|
|
|
|
r2:=r1;
|
|
|
|
if (r2.c1<>'x') or (r2.i<>40) or (r2.p<>true) then e(2);
|
|
|
|
i:=r1.i; p:=r1.p; c1:=r1.c1;
|
|
|
|
if (c1<>'x') or (i<>40) or (p<>true) then e(3);
|
|
|
|
r3.c1:='x'; r3.i:=40; r3.j:=50; r3.p:=true;
|
|
|
|
if (r3.c1<>'x') or (r3.i<>40) or (r3.p<>true) then e(4);
|
|
|
|
end;
|
|
|
|
|
|
|
|
#endif
|
|
|
|
procedure tst2207;
|
|
|
|
{ Intermediate level sets }
|
|
|
|
begin t:=2207; pct := pct + 1;
|
|
|
|
colors := [];
|
|
|
|
colors := colors + [];
|
|
|
|
if colors <> [] then e(1);
|
|
|
|
colors := colors + [pink];
|
|
|
|
if colors <> [pink] then e(2);
|
|
|
|
colors := colors + [green];
|
|
|
|
if colors <> [pink,green] then e(3);
|
|
|
|
if colors <> [green,pink] then e(4);
|
|
|
|
colors := colors - [pink];
|
|
|
|
if colors <> [green] then e(5);
|
|
|
|
beasts := [chicken] + [chicken,pig];
|
|
|
|
if beasts <> [pig,chicken] then e(6);
|
|
|
|
beasts := [] - [farmersdaughter];
|
|
|
|
if beasts <> [] then e(7);
|
|
|
|
bits := [0] + [1] - [0];
|
|
|
|
if bits <> [1] then e(8);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
procedure tst2208;
|
|
|
|
{ Pointers }
|
|
|
|
begin t:=2208; pct := pct + 1;
|
|
|
|
new(p1); new(p2); new(p3); new(p4);
|
|
|
|
p1^ := 1066;
|
|
|
|
if p1^ <> 1066 then e(1);
|
|
|
|
p2^.i := 1215;
|
|
|
|
if p2^.i <> 1215 then e(2);
|
|
|
|
p3^[0]:= 1566;
|
|
|
|
if p3^[0] <> 1566 then e(3);
|
|
|
|
p4^ := [pink];
|
|
|
|
if p4^ <> [pink] then e(4);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
procedure tst2209;
|
|
|
|
var i:integer;
|
|
|
|
begin t:=2209; pct := pct + 1;
|
|
|
|
head := nil;
|
|
|
|
for i:= 1 to 100 do
|
|
|
|
begin new(tail); tail^.val:=100+i; tail^.next :=head; head:= tail end;
|
|
|
|
if (tail^.val<>200) or (tail^.next^.val<>199) then e(1);
|
|
|
|
if tail^.next^.next^.next^.next^.next^.next^.next^.next^.val<> 192 then e(2);
|
|
|
|
tail^.next^.next^.next^.val := 30;
|
|
|
|
if tail^.next^.next^.next^.val <> 30 then e(3);
|
|
|
|
end;
|
|
|
|
begin t:=22; pct:=pct+1;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
tst2201; tst2202; tst2203; tst2204; tst2205; tst2206;
|
|
|
|
#else
|
|
|
|
tst2201; tst2203; tst2204; tst2205; tst2206;
|
|
|
|
#endif
|
|
|
|
tst2207; tst2208; tst2209;
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst25;
|
|
|
|
{ Statement sequencing }
|
|
|
|
label 0,1,2,3;
|
|
|
|
procedure tst2501;
|
|
|
|
begin t:=2501;
|
|
|
|
goto 0;
|
|
|
|
e(1);
|
|
|
|
end;
|
|
|
|
begin t:=25; pct:=pct+1;
|
|
|
|
tst2501;
|
|
|
|
e(1);
|
|
|
|
0:
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
i:=0;
|
|
|
|
1: if i>10 then goto 3 else goto 2;
|
|
|
|
e(2);
|
|
|
|
2: i:=i+1; goto 1;
|
|
|
|
e(3);
|
|
|
|
3:
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst26;
|
|
|
|
{ More data structures }
|
|
|
|
type x = array[1..5] of integer;
|
|
|
|
ta = array [1..5] of array [1..5] of x;
|
|
|
|
tb = array [1..5] of record p1: ^x; p2: ^x end;
|
|
|
|
tr = record c: record b: record a: integer end end end ;
|
|
|
|
|
|
|
|
var low,i,j,k:integer; a:ta; b:tb; r:tr; hi:integer;
|
|
|
|
|
|
|
|
procedure tst2601(w:ta; x:tb; y:tr);
|
|
|
|
var i,j,k: integer;
|
|
|
|
begin t:=2601; pct:=pct+1;
|
|
|
|
for i:= 1 to 5 do for j:= 1 to 5 do for k:=1 to 5 do
|
|
|
|
if w[i][j][k] <> i*i + 7*j + k then e(1);
|
|
|
|
if (x[1].p1^[1] <> -9) or (x[2].p2^[4]<> -39) then e(2);
|
|
|
|
if y.c.b.a <> 102 then e(3);
|
|
|
|
end;
|
|
|
|
|
|
|
|
begin t:=26; pct:=pct+1;
|
|
|
|
low := 1000; hi := 1001;
|
|
|
|
for i:= 1 to 5 do for j:=1 to 5 do for k:= 1 to 5 do a[i][j][k] :=i*i+7*j+k;
|
|
|
|
new(b[1].p1); new(b[2].p2);
|
|
|
|
b[1].p1^[1] := -9; b[2].p2^[4] := -39;
|
|
|
|
r.c.b.a := 102;
|
|
|
|
tst2601(a,b,r);
|
|
|
|
t:=26;
|
|
|
|
if(low <> 1000) or (hi <> 1001) then e(1);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst27;
|
|
|
|
{ Assignments }
|
|
|
|
begin t:=27; pct := pct+1;
|
|
|
|
i:=3; j:=2; k:= -100;
|
|
|
|
l:= 1+(i*(j+(i*(j+(i*(j+(i*(3+j*(i*1+j*2)))))))));
|
|
|
|
if l <> 1456 then e(1);
|
|
|
|
l:= ((((((((((((((((((((((((((((((((0))))))))))))))))))))))))))))))));
|
|
|
|
if l <> 0 then e(2);
|
|
|
|
l:=(((i*j)+(3*i)-5) div 10)*(((i*j)+(3*i)-5) div 10)*(((i*j)+(3*i)-5) div 10)
|
|
|
|
+ (((i*j)+(3*i)-5) div 10)*(((i*j)+(3*i)-5) div 10)*(((i*j)+(3*i)-5) div 10);
|
|
|
|
if l <> 2 then e(3);
|
|
|
|
|
|
|
|
l:=((j+j) div 4) * ((j+j) div 4) * ((j+j) div 4)* (j div 3 + j div 4 + 3)+
|
|
|
|
((j+j) div 4) * ((j+j) div 4) * ((j+j) div 4)* (j div 3 + j div 4 + 3);
|
|
|
|
if l <> 6 then e(4);
|
|
|
|
i:=j*j*j*j*j*j*j*j*j*j*j*j*j*j - 16383;
|
|
|
|
if i <>1 then e(5);
|
|
|
|
l:=(i+(i+(i+(i+(i+(i+(i+(i+(i+(i+(i+(i+(i+(i+(i+(i))))))))))))))));
|
|
|
|
if l <> 16 then e(6);
|
|
|
|
l:= (((((((((((((((((j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j)+j);
|
|
|
|
if l <> 34 then e(7);
|
|
|
|
l:= (-(-(-(-(-(-(-(-(-(j))))))))));
|
|
|
|
if l <> -2 then e(8);
|
|
|
|
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
x:= 0.1; y:=0.2; z:=0.3;
|
|
|
|
w:=(((((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0))*
|
|
|
|
((((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0))*
|
|
|
|
((((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0))*
|
|
|
|
((((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0))*
|
|
|
|
((((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0)+(((x+y)/z)*2.0)))-1;
|
|
|
|
if abs(w-32767) > 0.0001 then e(9);
|
|
|
|
|
|
|
|
i:= trunc(100*y+0.5); if i <> 20 then e(10);
|
|
|
|
i:= 32767; w:=i; if w <> 32767 then e(11);
|
|
|
|
#endif
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst28;
|
|
|
|
{ Calls }
|
|
|
|
var i:integer;
|
|
|
|
function ack(m,n:integer):integer;
|
|
|
|
begin if m=0
|
|
|
|
then ack := n+1
|
|
|
|
else if n=0
|
|
|
|
then ack := ack(m-1,1)
|
|
|
|
else ack := ack(m-1,ack(m,n-1))
|
|
|
|
end;
|
|
|
|
|
|
|
|
procedure fib(a:integer; var b:integer); { Fibonacci nrs }
|
|
|
|
var i,j:integer;
|
|
|
|
begin
|
|
|
|
if (a=1) or (a=2) then b:=1 else
|
|
|
|
begin fib(a-1,i); fib(a-2,j); b:=i+j end
|
|
|
|
end;
|
|
|
|
|
|
|
|
begin t:=28; pct:= pct+1;
|
|
|
|
if ack(2,2) <> 7 then e(1);
|
|
|
|
if ack(3,3) <> 61 then e(2);
|
|
|
|
if ack(3,5) <> 253 then e(3);
|
|
|
|
if ack(2,100) <> 203 then e(4);
|
|
|
|
fib(10,i); if i <> 55 then e(5);
|
|
|
|
fib(20,i); if i <> 6765 then e(6);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst29;
|
|
|
|
{ Loops }
|
|
|
|
var i,l:integer; p:boolean;
|
|
|
|
begin t:= 29; pct:=pct+1;
|
|
|
|
j:=5;
|
|
|
|
k:=0; for i:=1 to j do k:=k+1; if k<>5 then e(1);
|
|
|
|
k:=0; for i:=5 to j do k:=k+1; if k<>1 then e(2);
|
|
|
|
k:=0; for i:=6 to j do k:=k+1; if k<>0 then e(3);
|
|
|
|
k:=0; for i:=-1 downto -j do k:=k+1; if k<>5 then e(4);
|
|
|
|
k:=0; for i:=-5 downto -j do k:=k+1; if k<>1 then e(5);
|
|
|
|
k:=0; for i:=-6 downto j do k:=k+1; if k<>0 then e(6);
|
|
|
|
k:=0; for i:=1 downto 10 do k:=k+1; if k<>0 then e(7);
|
|
|
|
|
|
|
|
k:=0; for l:=1 to j do k:=k+1; if k<>5 then e(8);
|
|
|
|
k:=0; for l:=5 to j do k:=k+1; if k<>1 then e(9);
|
|
|
|
k:=0; for l:=6 to j do k:=k+1; if k<>0 then e(10);
|
|
|
|
k:=0; for l:=-1 downto -j do k:=k+1; if k<>5 then e(11);
|
|
|
|
k:=0; for l:=-5 downto -j do k:=k+1; if k<>1 then e(12);
|
|
|
|
k:=0; for l:=-6 downto j do k:=k+1; if k<>0 then e(13);
|
|
|
|
k:=0; for l:=1 downto 10 do k:=k+1; if k<>0 then e(14);
|
|
|
|
k:=0; for p:= true downto false do k:=k+1; if k<>2 then e(15);
|
|
|
|
k:=0; for p:= false to true do k:=k+1; if k<>2 then e(16);
|
|
|
|
|
|
|
|
k:=0; while k<0 do k:=k+1; if k<>0 then e(17);
|
|
|
|
k:=0; repeat k:=k+1; until k>0; if k<> 1 then e(18);
|
|
|
|
k:=0; repeat k:=k+1; until k > 15; if k <> 16 then e(18);
|
|
|
|
k:=0; while k<=10 do k:=k+1; if k<> 11 then e(19);
|
|
|
|
end;
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst30;
|
|
|
|
{ case statements }
|
|
|
|
begin t:=30; pct:=pct+1;
|
|
|
|
i:=3; k:=0;
|
|
|
|
case i*i-7 of
|
|
|
|
0: k:=0; 1: k:=0; 2: k:=1; 3,4: k:=0
|
|
|
|
end;
|
|
|
|
if k<>1 then e(1);
|
|
|
|
|
|
|
|
color := red; k:=0;
|
|
|
|
case color of
|
|
|
|
red: k:=1; blue: k:=0; yellow: k:=0
|
|
|
|
end;
|
|
|
|
if k<>1 then e(2);
|
|
|
|
|
|
|
|
k:=0;
|
|
|
|
case color of
|
|
|
|
red,blue: k:=1; yellow: k:=0
|
|
|
|
end;
|
|
|
|
if k<>1 then e(3);
|
|
|
|
end;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst31;
|
|
|
|
{ with statements }
|
|
|
|
var ra: record i:integer; x:real; p:tp2; q:single;
|
|
|
|
a2: record a3: tp2 end
|
|
|
|
end;
|
|
|
|
rb: record j: integer; y:real; pp:tp2; qq:single end;
|
|
|
|
begin t:=31; pct:=pct+1;
|
|
|
|
i:=0; x:=0;
|
|
|
|
ra.i:=-3006; ra.x:=-6000.23; ra.q[0]:=35; ra.p.i:=20;
|
|
|
|
with ra do
|
|
|
|
begin if (i<>-3006) or (x<>-6000.23) or (q[0]<>35)
|
|
|
|
or (p.i<>20) then e(2);
|
|
|
|
|
|
|
|
i:=300; x:= 200.5; q[0]:=35; p.i:=-10
|
|
|
|
end;
|
|
|
|
if (ra.i<>300) or (ra.x<>200.5) or (ra.q[0]<>35) or (ra.p.i<>-10) then e(3);
|
|
|
|
with ra.p do if i <> -10 then e(4);
|
|
|
|
|
|
|
|
i:= -23;
|
|
|
|
ra.a2.a3.i := -909;
|
|
|
|
with ra do if a2.a3.i <> -909 then e(5);
|
|
|
|
with ra.a2 do if a3.i <> -909 then e(6);
|
|
|
|
with ra.a2.a3 do if i <> -909 then e(7);
|
|
|
|
with ra.a2 do i:=5;
|
|
|
|
if (i<>5) or (ra.a2.a3.i <> -909) then e(8);
|
|
|
|
with ra.a2.a3 do i:= 6;
|
|
|
|
if i<>5 then e(9);
|
|
|
|
if ra.a2.a3.i <> 6 then e(10);
|
|
|
|
|
|
|
|
with ra,rb do
|
|
|
|
begin x:=3.5; y:=6.5; i:=3; j:=9 end;
|
|
|
|
if (ra.x<>3.5) or (rb.y<>6.5) or (ra.i<>3) or (rb.j<>9) then e(11);
|
|
|
|
end;
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst31;
|
|
|
|
{ with statements }
|
|
|
|
var ra: record i:integer; p:tp2; q:single;
|
|
|
|
a2: record a3: tp2 end
|
|
|
|
end;
|
|
|
|
rb: record j: integer; pp:tp2; qq:single end;
|
|
|
|
begin t:=31; pct:=pct+1;
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
i:=0; x:=0;
|
|
|
|
#else
|
|
|
|
i:=0;
|
|
|
|
#endif
|
|
|
|
ra.i:=-3006; ra.q[0]:=35; ra.p.i:=20;
|
|
|
|
with ra do
|
|
|
|
begin if (i<>-3006) or (q[0]<>35)
|
|
|
|
or (p.i<>20) then e(2);
|
|
|
|
|
|
|
|
i:=300; q[0]:=35; p.i:=-10
|
|
|
|
end;
|
|
|
|
if (ra.i<>300) or (ra.q[0]<>35) or (ra.p.i<>-10) then e(3);
|
|
|
|
with ra.p do if i <> -10 then e(4);
|
|
|
|
|
|
|
|
i:= -23;
|
|
|
|
ra.a2.a3.i := -909;
|
|
|
|
with ra do if a2.a3.i <> -909 then e(5);
|
|
|
|
with ra.a2 do if a3.i <> -909 then e(6);
|
|
|
|
with ra.a2.a3 do if i <> -909 then e(7);
|
|
|
|
with ra.a2 do i:=5;
|
|
|
|
if (i<>5) or (ra.a2.a3.i <> -909) then e(8);
|
|
|
|
with ra.a2.a3 do i:= 6;
|
|
|
|
if i<>5 then e(9);
|
|
|
|
if ra.a2.a3.i <> 6 then e(10);
|
|
|
|
|
|
|
|
with ra,rb do
|
|
|
|
begin i:=3; j:=9 end;
|
|
|
|
if (ra.i<>3) or (rb.j<>9) then e(11);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{************************************************************************}
|
|
|
|
procedure tst32;
|
|
|
|
{ Standard procedures }
|
|
|
|
begin t:=32; pct:=pct+1;
|
|
|
|
if abs(-1) <> 1 then e(1);
|
|
|
|
i:= -5; if abs(i) <> 5 then e(2);
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
x:=-2.0; if abs(x) <> 2.0 then e(3);
|
|
|
|
#endif
|
|
|
|
if odd(5) = false then e(4);
|
|
|
|
if odd(4) then e(5);
|
|
|
|
if sqr(i) <> 25 then e(6);
|
|
|
|
if succ(i) <> -4 then e(7);
|
|
|
|
if succ(red) <> blue then e(8);
|
|
|
|
if pred(blue) <> red then e(9);
|
|
|
|
if ord(red) <> 0 then e(10);
|
|
|
|
if ord(succ(succ(red))) <> 2 then e(11);
|
|
|
|
if chr(ord(chr(ord(chr(ord('u')))))) <> 'u' then e(12);
|
|
|
|
if ord(chr(ord(chr(ord(chr(50)))))) <> 50 then e(13);
|
|
|
|
#ifndef NOFLOAT
|
|
|
|
if abs(trunc(5.2)-5.0) > eps then e(14);
|
|
|
|
if abs(sin(3.1415926536)) > 10*eps then e(15);
|
|
|
|
if abs(exp(1.0)-2.7182818) > 0.0001 then e(16);
|
|
|
|
if abs(ln(exp(1.0))- 1.0) > 3*eps then e(17);
|
|
|
|
if abs(sqrt(25.0)-5.0) > eps then e(18);
|
|
|
|
if abs(arctan(1.0) - 3.1415926535/4.0) > 0.0001 then e(19);
|
|
|
|
if abs(ln(arctan(1)*4) - 1.144729886) > 0.000001 then e(20);
|
|
|
|
if abs(sin(1) - 0.841470985 ) > 0.000001 then e(21);
|
|
|
|
if abs(cos(1) - 0.540302306) > 0.000001 then e(22);
|
|
|
|
if abs(sqrt(2) - 1.4142135623) > 0.000001 then e(23);
|
|
|
|
if abs(sqrt(10) - 3.1622776601) > 0.000001 then e(24);
|
|
|
|
if abs(sqrt(1000.0) - 31.622776602) > 0.00001 then e(25);
|
|
|
|
#endif
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
{***************************************************************************}
|
|
|
|
procedure tst33;
|
|
|
|
{ Functions }
|
|
|
|
var i,j,k,l,m: integer;
|
|
|
|
begin t:=33; pct := pct+1;
|
|
|
|
i:=1; j:=2; k:=3; l:=4; m:=10;
|
|
|
|
if twice(k) <> m-l then e(1);
|
|
|
|
if twice(1) <> 2 then e(2);
|
|
|
|
if twice(k+1) <> twice(l) then e(3);
|
|
|
|
if twice(twice(twice(inc(twice(inc(3)))))) <> 72 then e(4);
|
|
|
|
if twice(inc(j+twice(inc(twice(i+1+inc(k)+inc(k))+twice(2)))))<>106
|
|
|
|
then e(5);
|
|
|
|
if twice(1) + twice(2) * twice(3) <> 26 then e(6);
|
|
|
|
if 3 <> 0 + twice(1) + 1 then e(7);
|
|
|
|
if 0 <> 0 * twice(m) then e(8);
|
|
|
|
end;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{**********************************************************************}
|
|
|
|
|
|
|
|
{ Main Program }
|
|
|
|
begin ect := 0; pct := 0;
|
|
|
|
tst21; tst22; tst25; tst26; tst27; tst28; tst29; tst30; tst31; tst32; tst33;
|
|
|
|
|
|
|
|
write('Program t2:',pct:3,' tests completed.');
|
|
|
|
writeln('Number of errors = ',ect:0);
|
|
|
|
end.
|