M2compiler-V1/tests/t_setop.mod

MODULE TSetOp;
VAR s, t, u : SET OF [0 .. 7]; ExitCode : INTEGER;
BEGIN
  s := {1, 2, 3};
  t := {3, 4, 5};
  u := s + t;
  IF (1 IN u) AND (5 IN u) AND ~(2 IN t) THEN ExitCode := 10 ELSE ExitCode := 0 END;
  u := s * t;
  IF (3 IN u) AND ~(1 IN u) THEN ExitCode := ExitCode + 5 ELSE ExitCode := 0 END;
  u := s - t;
  IF (1 IN u) AND ~(3 IN u) THEN ExitCode := ExitCode + 7 ELSE ExitCode := 0 END
END TSetOp.