M2compiler-V3/compiler/tests/t_trap_setspan.mod

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