REQ1: If a==0, then set b to True; otherwise set b to False.
Note: a is integer type. Range (-128 to 127)
b is Boolean type. Range: True, False
inputs ==> a
outputs ==> b
[-128 to -1] [0] [1 to 127]
false true false
-129 -128 -127 -60 -2 -1 0 1 2 65 126 127 128
ECP ==> yes
BVA ==> yes
MC/DC ==> no
[-128 to -1] ==> b is False
[0] ==> b is True
[1 to 127] ==> b is False
-129, -128, -127,-65,-2,-1,0
-1,0,1
0,1,2,65,126,127,128
a b(exp)
-129
-128 False
-127 False
-65 False
-2 False
-1 False
0 True
1 False
2 False
65 False
126 False
127 False
128