tests/assume3.c

   1 int f(int k)
   2 {
   3         int a;
   4 #pragma scop
   5         __pencil_assume(k >= 0);
   6         a = k % 16;
   7 #pragma endscop
   8         return a;
   9 }