` FILE:    bools.x
` PURPOSE: test all logical operators
` METHOD:  The X assert  if boolexp ? fi is used to check answers.

pass := 0;                                  ` none yet
` test literal constant, store and fetch
b1, b2 := true, false;
if b1 & ~b2 ? fi;
pass := pass + 2;

` test multiple assign, |
b3, b4, b5, b6 := true|false, b1|false, true|b1, b1|b1;
if b3 & b4 & b5 & b6 ? fi;
pass := pass + 4;

` test multiple assign, &
b7, b8, b9, b10 := true&false, b1&false, true&b1, b1&b1;
if ~b7 & ~b8 & b9 & b10 ? fi;
pass := pass + 4;

` test bool ~
b11, b12, b13 := ~b1, ~ (~ b1), ~ (~ (~ b1));
`xx1:=b11;
`xx2:=b12;
`xx3:=b13;
`xx4:= ~b11;
`xx5:= ~b13;
`xx6:= ~b11 & b12 & ~b13;
if ~b11 & b12 & ~b13 ? fi;
pass := pass + 3;

` test int relations
b14, b15, b16 := 1<2,  1<=2, 1=2;
b17, b18, b19 := 1~=2, 1>=2, 1>2;
if b14 & b15 & ~b16 & b17 & ~b18 & ~b19 ? fi;
pass := pass + 6;

b14, b15, b16 := 1<1,  1<=1, 1=1;
b17, b18, b19 := 1~=1, 1>=1, 1>1;
if ~b14 & b15 & b16 & ~b17 & b18 & ~b19 ? fi;
pass := pass + 6;

` test real relations
b14, b15 := 1.1<2.2,  1.1<=2.2;
b18, b19 := 1.1>=2.2, 1.1>2.2;
if b14 & b15 & ~b18 & ~b19 ? fi;
pass := pass + 4;

b14, b15 := 1.1<1.1,  1.1<=1.1;
b18, b19 := 1.1>=1.1, 1.1>1.1;
if ~b14 & b15 & b18 & ~b19 ? fi;
pass := pass + 4;

b20, b21 := 2.1<1.1,  2.1<=1.1;
b22, b23 := 2.1>=1.1, 2.1>1.1;
if ~b20 & ~b21 & b22 & b23 ? fi;
pass := pass + 4;

` parens
b26, b27 := ((((((((true)))))))), (~(~(~(~false))));
if b26 & ~b27 ? fi;
pass := pass + 2;

` precedence
b28, b29, b30, b31 := b1|b1&b1, ~b1|b1&b1, ~b1| ~b1&b1, ~b1|b1& ~b1;
if b28 & b29 & ~b30 & ~b31 ? fi;
pass := pass + 4;

passedbools := pass;