M2compiler-V1/tests/t_set.mod

MODULE TSet;
VAR s, t : SET OF [0 .. 7]; ExitCode : INTEGER;
BEGIN
  s := {1, 2, 3};
  t := {5 .. 7};
  IF (2 IN s) AND (s = {1, 2, 3}) THEN ExitCode := 14 ELSE ExitCode := 0 END;
  IF 6 IN t THEN ExitCode := ExitCode + 1 END
END TSet.