Test suite results for test file webtbs/tw1915.pp

Test run data :

View Test suite results

Test file "webtbs/tw1915.pp" information:

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

Detailed test run results:

Record count: 50

Total = 50

OK=50 Percentage= 100.00

Source:

PROGRAM SetIncl;
{
    This program demonstrates a set inclusion test bug.
    (After two days passed to track down a very perverse program error....)
    (By Louis Jean-Ruichard)
}
TYPE
    eAttr   = ( e0, e1, e2, e3, e4, e5, e6, e7 );
    entityP = ^entity;
    entity  =
            RECORD
                attr    : SET OF eAttr;
            END;
VAR
    ep  : entityP;
    e   : entity;
BEGIN
    e.attr:=[e2,e4,e7,e1,e0];
    WITH e DO
            IF ([e1,e0] <= attr)
            THEN Writeln('A1: [e1,e0] is included in attr')
    ;
    New(ep);
    ep^.attr:=[e2,e4,e7,e1,e0];
    WITH ep^ DO
            IF ([e1,e0] <= attr)
            THEN Writeln('A2: [e1,e0] is included in attr')
            ELSE
             begin
              Writeln('A2 statement incorrectly executed');
              Halt(1);
             end;
    ;
END.

{
  $Log: tw1915.pp,v $
  Revision 1.2  2002/09/07 15:40:59  peter
    * old logs removed and tabs fixed

  Revision 1.1  2002/04/13 08:00:16  carl
  + web bug test #1915

}

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