exp-sgcheck/tests/or.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;
}