Listing:

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

    0 errors