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 // ADD ========================================================= 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 add; 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, u); // undet, undet 29 g(+, un, up, u); // undet, undet 30 g(+, up, un, u); // undet, undet 31 g(+, up, up, u); // undetected bad add; undet, undet 32 33 g(+, un, p, u); // undet, undet 34 g(+, up, p, u); // undetected bad add; undet, undet 35 36 g(+, p, un, u); // undet, undet 37 g(+, p, up, u); // undetected bad add; undet, undet 38 39 return 0; 40 } 41
