Listing:

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

    0 errors