extract out pet_expr_is_assume
[pet.git] / tests / inc3.c
blob010afe6f46d2ae58aa072ef74f24b7fdf46737f5
1 void foo(int N)
3 int i;
4 int a[N];
6 #pragma scop
7 for (i = 0; i < N; i = i + 1)
8 a[i] = i;
9 #pragma endscop