t_id
875
t_adddate
2003/10/03
t_result
0
t_knownrunerror
0
| tr_id | run | tr_ok | tr_skip | tr_result |
|---|---|---|---|---|
| -2127973017 | 497919 | True | False | Successfully run |
Record count: 1
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
}