| #include <stdio.h> |
| #include <stdlib.h> |
| #include <signal.h> |
| #include <setjmp.h> |
| #include <assert.h> |
| |
| #include "arith_include1.c" |
| |
| int main(void) |
| { |
| #include "arith_include2.c" |
| |
| // OR ========================================================== |
| g(|, n, n, n); // det, det |
| |
| g(|, n, p, p); // ok, det |
| |
| g(|, p, n, p); // ok, det |
| |
| g(|, p, p, e); // detected bad OR; ok, det |
| g(|, p, p2, e); // detected bad OR; det, det |
| |
| g(|, n, un, u); // undet, undet |
| g(|, n, up, u); // ok, undet |
| |
| g(|, un, n, u); // undet, undet |
| g(|, up, n, u); // ok, undet |
| |
| g(|, un, un, u); // undet, undet |
| g(|, un, up, u); // ok, undet |
| g(|, up, un, u); // ok, undet |
| g(|, up, up, u); // undetected bad OR; ok, undet |
| g(|, up, up2,u); // undetected bad OR; undet, undet |
| |
| g(|, un, p, u); // ok, undet |
| g(|, up, p, u); // undetected bad OR; undet, undet |
| |
| g(|, p, un, u); // ok, undet |
| g(|, p, up, u); // undetected bad OR; undet, undet |
| |
| return 0; |
| } |