M2compiler-V3/compiler/tests/t_setrange.mod

MODULE TSetRange;
// Ranges, variable elements, empty literal and comparison. Exit 55.
TYPE R = SET OF [0..15];
VAR ExitCode, i : INTEGER;
VAR s : R;
BEGIN
  s := {0..7};
  i := 10;
  s := s + {i};
  IF (7 IN s) AND (10 IN s) AND NOT (8 IN s) THEN ExitCode := 5
  ELSE ExitCode := 0
  END;
  s := {};
  IF s = {} THEN ExitCode := ExitCode + 50 END
END TSetRange.