1 //
2 //
3 //
4
5 #include <stdio.h>
6 #include "liquid.h"
7
main()8 int main() {
9 unsigned char s0, s1, s2, r, r_hat;
10 unsigned int errors = 0;
11
12 for (s0=0; s0<2; s0++) {
13 for (s1=0; s1<2; s1++) {
14 for (s2=0; s2<2; s2++) {
15 r = (s0 + s1 + s2) < 2 ? 0 : 1;
16
17 //r_hat = (!s0 & s1 & s2) | (s0 & !(!s1 & !s2));
18 r_hat = (s1 & s2) | (s0 & s1) | (s0 & s2);
19
20 int error_found = (s0 ^ s1) | (s0 ^ s2) | (s1 ^ s2);
21
22 errors += r != r_hat;
23
24 printf("%2u %2u %2u %2u (%2u) %2u\n", s0, s1, s2, r, r_hat, error_found);
25 }
26 }
27 }
28 printf("errors : %u\n", errors);
29
30 return 0;
31 }
32