M2compiler-V3/compiler/tests/t_set.mod

MODULE TSet;
// Small sets: literals, all four ops, IN, =/#, empty. Exit 131.
TYPE Small = SET OF [0..7];
VAR ExitCode : INTEGER;
VAR s, t, u : Small;
VAR i : INTEGER;
BEGIN
  s := {1, 3, 5};
  t := {3, 4, 5, 6};
  u := s + t;
  IF 4 IN u THEN ExitCode := 10 ELSE ExitCode := 0 END;
  u := s * t;
  IF (3 IN u) AND NOT (4 IN u) THEN ExitCode := ExitCode + 20 END;
  u := s - t;
  IF u = {1} THEN ExitCode := ExitCode + 1 END;
  u := s / t;
  i := 4;
  IF (i IN u) AND (u # {}) THEN ExitCode := ExitCode + 100 END
END TSet.