[analyzer][Z3] Restore the original timeout of 15s (#118291)
[llvm-project.git] / polly / lib / External / isl / test_inputs / codegen / cloog / basic-bounds-1.c
blob95eb5f716e3d3aa131f2fb638a0574649b50b5a4
1 for (int c0 = 0; c0 <= 2; c0 += 1)
2 S1(c0);