Test suite results for test file webtbs/tw2031.pp

Test run data :

Test file "webtbs/tw2031.pp" information:

t_id 893
t_adddate 2003/10/03
t_result 0
t_knownrunerror 0

Detailed test run results:

Record count: 1

No log of 1015807.

Source:

program settest;
const
  size = 31;
var
  testset : set of 0..size;
  i : integer;
begin
  testset := [];
  testset := testset + [0,1,2,3,4];
  if testset <> [0,1,2,3,4] then
    begin
      writeln('add wrong');
      halt(1);
    end;
  testset := testset - [2];
  if testset <> [0,1,3,4] then
    begin
      writeln('sub wrong');
      halt(1);
    end;
end.

Link to SVN view of webtbs/tw2031.pp source.