CocoR/Test2/tests/q_bool.LST

Listing:

    1  MODULE QBool;
    2  VAR a, b : BOOLEAN; x, y : INTEGER; ExitCode : INTEGER;
    3  BEGIN
    4    x := 5; y := 10;
    5    a := (x < y) AND (x # 0);
    6    b := (NOT a) OR (x = 5);
    7    IF a AND b THEN ExitCode := 42 ELSE ExitCode := 1 END
    8  END QBool.

    0 errors