INCL/EXCL - No range check
MODULE TestSet3;
PROCEDURE Do*;
VAR set: SET16;
BEGIN
INCL(set, 20); (*! out of range *)
END Do;
END TestSet3.
gitlab.inf.ethz.ch will not be available from Friday, 19 September 2025 18:00 to Saturday, 20 September 2025 18:00 due to an urgent migration.
To get announcements by mail please subscribe to our mailinglist https://lists.inf.ethz.ch/mailman/listinfo/gitlab-announce
MODULE TestSet3;
PROCEDURE Do*;
VAR set: SET16;
BEGIN
INCL(set, 20); (*! out of range *)
END Do;
END TestSet3.