mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-04 02:18:37 +00:00
43 lines
1007 B
C
43 lines
1007 B
C
#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;
|
|
}
|