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
main(void)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