1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <signal.h> 4 #include <setjmp.h> 5 #include <assert.h> 6 7 #include "arith_include1.c" 8 9 int main(void) 10 { 11 #include "arith_include2.c" 12 13 // XOR ========================================================= 14 g(^, n, n, n); // det, det 15 16 g(^, n, p, u); // ok, undet 17 18 g(^, p, n, u); // ok, undet 19 20 g(^, p, p, n); // det, det 21 22 g(^, n, un, u); // undet, undet 23 g(^, n, up, u); // ok, undet 24 25 g(^, un, n, u); // undet, undet 26 g(^, up, n, u); // ok, undet 27 28 g(^, un, un, n); // det, det (range) 29 g(^, un, up, u); // ok, undet 30 g(^, up, un, u); // ok, undet 31 g(^, up, up, n); // det, det 32 33 g(^, un, p, u); // ok, undet 34 g(^, up, p, u); // undet, undet 35 36 g(^, p, un, u); // ok, undet 37 g(^, p, up, u); // undet, undet 38 39 return 0; 40 } 41
