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 // OR ========================================================== 14 g(|, n, n, n); // det, det 15 16 g(|, n, p, p); // ok, det 17 18 g(|, p, n, p); // ok, det 19 20 g(|, p, p, e); // detected bad OR; ok, det 21 g(|, p, p2, e); // detected bad OR; det, det 22 23 g(|, n, un, u); // undet, undet 24 g(|, n, up, u); // ok, undet 25 26 g(|, un, n, u); // undet, undet 27 g(|, up, n, u); // ok, undet 28 29 g(|, un, un, u); // undet, undet 30 g(|, un, up, u); // ok, undet 31 g(|, up, un, u); // ok, undet 32 g(|, up, up, u); // undetected bad OR; ok, undet 33 g(|, up, up2,u); // undetected bad OR; undet, undet 34 35 g(|, un, p, u); // ok, undet 36 g(|, up, p, u); // undetected bad OR; undet, undet 37 38 g(|, p, un, u); // ok, undet 39 g(|, p, up, u); // undetected bad OR; undet, undet 40 41 return 0; 42 } 43
