pvs2.p

早期freebsd实现

{TEST 6.6.5.2-3, CLASS=CONFORMANCE}

{ This program tests if true is assigned to eof if the file f
  is empty when reset. }

program t6p6p5p2d3(output);
var
   fyle : text;
begin
   reset(fyle);
   if eof(fyle) then
      writeln(' PASS...6.6.5.2-3')
   else
      writeln(' FAIL...6.6.5.2-3')
end.