M2compiler-V2/tests/r_bool.mod

MODULE RBool;
VAR ExitCode : INTEGER;
    b : BOOLEAN;
    i : INTEGER;
BEGIN
  i := 0;
  b := (3 <= 4) AND (4 >= 5) OR NOT FALSE;
  IF b THEN i := i + 1 END;
  IF (1 = 1) AND (2 # 3) AND NOT (4 < 3) THEN i := i + 10 END;
  IF (5 <> 5) OR (6 <= 5) THEN i := i + 100 END;
  ExitCode := i
END RBool.