paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-06 02:08:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

* big set test

Browse Source 
git-svn-id: trunk@6911 -
This commit is contained in:
florian 2007-03-18 10:34:18 +00:00
parent 74f3b75ec1
commit 2639d8f83a
2 changed files with 340 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitattributes vendored
View File

@ -6848,6 +6848,7 @@ tests/test/tset3.pp svneol=native#text/plain
tests/test/tset4.pp svneol=native#text/plain
tests/test/tset5.pp svneol=native#text/plain
tests/test/tset5a.pp svneol=native#text/plain
tests/test/tset6.pp svneol=native#text/plain
tests/test/tstack.pp svneol=native#text/plain
tests/test/tstprocv.pp svneol=native#text/plain
tests/test/tstring1.pp svneol=native#text/plain

339
tests/test/tset6.pp Normal file
View File

@ -0,0 +1,339 @@
{ %opt=-Ooregvar }
{$ifdef fpc}
{$packset 1}
{$endif fpc}
{$z1}
type
ta = set of 0..700;
tb = set of 0..1500;
tc = set of 0..2300;
td = set of 0..3100;
te = set of 0..12700;
var
ve: te;
vd: td;
vc: tc;
vb: tb;
va: ta;
b1,b2,b3: byte;
begin
b1 := $ff;
b2 := $ff;
b3 := $ff;
va := [];
vb := [];
vc := [];
vd := [];
ve := [];
va := [300..400];
vb := va;
if b1 <> $ff then
halt(1);
if va <> [300..400] then
halt(1);
if vb <> [300..400] then
halt(1);
if vc <> [] then
halt(1);
if vd <> [] then
halt(1);
if ve <> [] then
halt(1);
vc := va;
if b1 <> $ff then
halt(1);
if va <> [300..400] then
halt(1);
if vb <> [300..400] then
halt(1);
if vc <> [300..400] then
halt(1);
if vd <> [] then
halt(1);
if ve <> [] then
halt(1);
vd := va;
if b1 <> $ff then
halt(1);
if va <> [300..400] then
halt(1);
if vb <> [300..400] then
halt(1);
if vc <> [300..400] then
halt(1);
if vd <> [300..400] then
halt(1);
if ve <> [] then
halt(1);
ve := va;
if b1 <> $ff then
halt(1);
if va <> [300..400] then
halt(1);
if vb <> [300..400] then
halt(1);
if vc <> [300..400] then
halt(1);
if vd <> [300..400] then
halt(1);
if ve <> [300..400] then
halt(1);
b1 := $ff;
b2 := $ff;
b3 := $ff;
va := [];
vb := [];
vc := [];
vd := [];
ve := [];
vb := [0,200,300];
va := vb;
if b1 <> $ff then
halt(2);
if va <> [0,200,300] then
halt(2);
if vb <> [0,200,300] then
halt(2);
if vc <> [] then
halt(2);
if vd <> [] then
halt(2);
if ve <> [] then
halt(2);
vc := vb;
if b1 <> $ff then
halt(2);
if va <> [0,200,300] then
halt(2);
if vb <> [0,200,300] then
halt(2);
if vc <> [0,200,300] then
halt(2);
if vd <> [] then
halt(2);
if ve <> [] then
halt(2);
vd := vb;
if b1 <> $ff then
halt(2);
if va <> [0,200,300] then
halt(2);
if vb <> [0,200,300] then
halt(2);
if vc <> [0,200,300] then
halt(2);
if vd <> [0,200,300] then
halt(2);
if ve <> [] then
halt(2);
ve := vb;
if va <> [0,200,300] then
halt(2);
if vb <> [0,200,300] then
halt(2);
if vc <> [0,200,300] then
halt(2);
if vd <> [0,200,300] then
halt(2);
if ve <> [0,200,300] then
halt(2);
b1 := $ff;
b2 := $ff;
b3 := $ff;
va := [];
vb := [];
vc := [];
vd := [];
ve := [];
vc := [500,600,700];
va := vc;
if b1 <> $ff then
halt(3);
if va <> [500,600,700] then
halt(3);
if vc <> [500,600,700] then
halt(3);
if vb <> [] then
halt(3);
if vd <> [] then
halt(3);
if ve <> [] then
halt(3);
vb := vc;
if b1 <> $ff then
halt(3);
if va <> [500,600,700] then
halt(3);
if vb <> [500,600,700] then
halt(3);
if vc <> [500,600,700] then
halt(3);
if vd <> [] then
halt(3);
if ve <> [] then
halt(3);
vd := vc;
if b1 <> $ff then
halt(3);
if va <> [500,600,700] then
halt(3);
if vb <> [500,600,700] then
halt(3);
if vc <> [500,600,700] then
halt(3);
if vd <> [500,600,700] then
halt(3);
if ve <> [] then
halt(3);
ve := vc;
if b1 <> $ff then
halt(3);
if va <> [500,600,700] then
halt(3);
if vb <> [500,600,700] then
halt(3);
if vc <> [500,600,700] then
halt(3);
if vd <> [500,600,700] then
halt(3);
if ve <> [500,600,700] then
halt(3);
b1 := $ff;
b2 := $ff;
b3 := $ff;
va := [];
vb := [];
vc := [];
vd := [];
ve := [];
vd := [100,300,500];
va := vd;
if b1 <> $ff then
halt(4);
if va <> [100,300,500] then
halt(4);
if vd <> [100,300,500] then
halt(4);
if vc <> [] then
halt(4);
if vb <> [] then
halt(4);
if ve <> [] then
halt(4);
vb := vd;
if b1 <> $ff then
halt(4);
if va <> [100,300,500] then
halt(4);
if vb <> [100,300,500] then
halt(4);
if vd <> [100,300,500] then
halt(4);
if vc <> [] then
halt(4);
if ve <> [] then
halt(4);
vc := vd;
if b1 <> $ff then
halt(4);
if va <> [100,300,500] then
halt(4);
if vb <> [100,300,500] then
halt(4);
if vc <> [100,300,500] then
halt(4);
if vd <> [100,300,500] then
halt(4);
if ve <> [] then
halt(4);
ve := vd;
if b1 <> $ff then
halt(4);
if va <> [100,300,500] then
halt(4);
if vb <> [100,300,500] then
halt(4);
if vc <> [100,300,500] then
halt(4);
if vd <> [100,300,500] then
halt(4);
if ve <> [100,300,500] then
halt(4);
b1 := $ff;
b2 := $ff;
b3 := $ff;
va := [];
vb := [];
vc := [];
vd := [];
ve := [];
ve := [0,700];
va := ve;
if b1 <> $ff then
halt(5);
if va <> [0,700] then
halt(5);
if ve <> [0,700] then
halt(5);
if vc <> [] then
halt(5);
if vd <> [] then
halt(5);
if vb <> [] then
halt(5);
vb := ve;
if b1 <> $ff then
halt(5);
if va <> [0,700] then
halt(5);
if vb <> [0,700] then
halt(5);
if ve <> [0,700] then
halt(5);
if vd <> [] then
halt(5);
if vc <> [] then
halt(5);
vc := ve;
if b1 <> $ff then
halt(5);
if va <> [0,700] then
halt(5);
if vb <> [0,700] then
halt(5);
if vc <> [0,700] then
halt(5);
if ve <> [0,700] then
halt(5);
if vd <> [] then
halt(5);
vd := ve;
if b1 <> $ff then
halt(5);
if va <> [0,700] then
halt(5);
if vb <> [0,700] then
halt(5);
if vc <> [0,700] then
halt(5);
if vd <> [0,700] then
halt(5);
if ve <> [0,700] then
halt(5);
writeln('ok');
end.