Return to pvs2.p CVS log

Up to [CSRG BSD Unix] / 43BSDTahoe / ucb / pascal / tstpx / src

Annotation of 43BSDTahoe/ucb/pascal/tstpx/src/pvs2.p, revision 1.1

1.1     ! root        1: {TEST 6.6.5.2-3, CLASS=CONFORMANCE}
        !             2: 
        !             3: { This program tests if true is assigned to eof if the file f
        !             4:   is empty when reset. }
        !             5: 
        !             6: program t6p6p5p2d3(output);
        !             7: var
        !             8:    fyle : text;
        !             9: begin
        !            10:    reset(fyle);
        !            11:    if eof(fyle) then
        !            12:       writeln(' PASS...6.6.5.2-3')
        !            13:    else
        !            14:       writeln(' FAIL...6.6.5.2-3')
        !            15: end.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.