Home | History | Annotate | Download | only in tests
      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 
      9 int main(void)
     10 {
     11    #include "arith_include2.c"
     12 
     13    // Base ========================================================
     14    b(p,  p);         // ok
     15 
     16    b(up, u);         // ok
     17 
     18    b(un, u);         // undet
     19 
     20    b(n,  n);         // det
     21 
     22    b(nn, n);         // det
     23 
     24    return 0;
     25 }
     26