| Subject: | Improved return value to combine results |
I foresee the following pitfall being common
Given every(3)||every(4)
pass expected actual
---- -------- ------
1 F||F=F F||F=F
2 F||F=F F||F=F
3 T||F=T T =T
4 F||T=T F||F=F
5 F||F=F F||T=T
6 T||F=T T =T
7 F||F=F F||F=F
8 F||T=T F||F=F
To get the expected value, one must use
(every(3)?1:0)|(every(4)?1:0)
I recommend that "every" returns specifically 1 and 0 instead of
unspecified true and false values. Then, the above would simplify to
every(3)|every(4)
(In both cases, "|" can be replaced with "+". Use whichever you prefer
in your documentation.)