#!../bin/nb
#
# File: cellStaticBoolTrue.nb
#
# Test cell static expression - Boolean True
#================================================

# Define rule to enable 9 cells

define r1 if(e1 and e2 and e3 and e4 and e5 and e6 and e7 and e8 and e9);

# Test with literal numbers

assert e1==(1    );
assert e2==(not 0);
assert e3==(1 & 1);
assert e4==(1 | 0);
assert e5==(1 | ?); 
assert e6==(0 | 1);
assert e7==(? | 1); 
assert e8==(1 | 1);
assert e9==(1 ^ 0);

show -cells;

# Test with variable numbers

assert t=1;
assert f=0;

assert e1==(t    );
assert e2==(not f);
assert e3==(t & t);
assert e4==(t | f);
assert e5==(t | ?);
assert e6==(f | t);
assert e7==(? | t);
assert e8==(t | t);
assert e9==(t ^ f);

show -cells;

# Test with literal string

assert a="a";

assert e1==a=("a");
assert e2==(not 0);
assert e3==a=("a" & "a");
assert e4==a=("a" | 0);
assert e5==a=("a" | ?);
assert e6==a=( 0  | "a");
assert e7==a=( ?  | "a");
assert e8==a=("a" | "a");
assert e9==("a" ^ 0);

show -cells;

# Test with variable string

assert e1==a=(a);
assert e2==(not f);
assert e3==a=(a & a);
assert e4==(t | f);
assert e5==(t | ?);
assert e6==a=(f | a);
assert e7==a=(? | a);
assert e8==a=(a | a);
assert e9==(a ^ f);

show -cells;

# Verify that all e1-e9 cells above have a value of 1