M2compiler-V3/compiler/tests/t_bad_setelem.mod

MODULE TBadSetElem;
TYPE S = SET OF [0..7];
VAR s : S;
VAR ExitCode : INTEGER;
BEGIN
  s := {300};
  ExitCode := 0
END TBadSetElem.