M2compiler-V3/compiler/tests/t_bool.mod

MODULE TBool;
VAR ExitCode : INTEGER;
VAR b : BOOLEAN;
VAR c : CHAR;
BEGIN
  b := (3 < 5) AND NOT (2 = 2) OR (1 # 0);
  c := 'a';
  IF b AND (c = 'a') THEN ExitCode := 42 ELSE ExitCode := 0 END
END TBool.