Test suite results for test file tbs/tb0140.pp

Test run data :

View Test suite results

Test file "tbs/tb0140.pp" information:

t_id 383
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:

{ Old file: tbs0165.pp }
{ missing range check code for enumerated types.            OK 0.99.9 (PFV) }

{$R+}
Program bug0165;

uses
  erroru;

{ No range check when -Cr given}

Type Directions = (North, East,South,West);

Var Go : Directions;


begin
  Require_Error(201);
  Go:=North;
  Go:=Pred(Go); { must give run-time error }
end.

Link to SVN view of tbs/tb0140.pp source.