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