M2compiler-V1/tests/s_range.mod

MODULE SRange;
VAR a, b, c : SET OF [0 .. 15]; ExitCode : INTEGER;
BEGIN
  a := {1 .. 5};
  b := {4 .. 8};
  c := a + b;
  ExitCode := 0;
  IF (1 IN c) AND (8 IN c) AND ~(0 IN c) THEN ExitCode := 3 ELSE ExitCode := 0 END;
  c := a * b;
  IF (4 IN c) AND (5 IN c) AND ~(1 IN c) THEN ExitCode := ExitCode + 7 ELSE ExitCode := 0 END;
  c := a - b;
  IF (1 IN c) AND ~(4 IN c) THEN ExitCode := ExitCode + 11 ELSE ExitCode := 0 END
END SRange.