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 // 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