M2compiler-V1/tests/t_bool.mod

MODULE TBool;
VAR a, b : BOOLEAN; x, y : INTEGER; ExitCode : INTEGER;
BEGIN
  x := 5; y := 10;
  a := (x < y) AND (x # 0);
  b := (NOT a) OR (x = 5);
  IF a AND b THEN ExitCode := 42 ELSE ExitCode := 1 END
END TBool.