diff options
Diffstat (limited to 'test/reservoir/two.c')
| -rw-r--r-- | test/reservoir/two.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/reservoir/two.c b/test/reservoir/two.c new file mode 100644 index 0000000..ed227d2 --- /dev/null +++ b/test/reservoir/two.c @@ -0,0 +1,6 @@ +/* Generated from ../../../git/cloog/test/reservoir/two.cloog by CLooG 0.14.0-253-ge300ff5 gmp bits in 0.00s. */ +for (i=0;i<=1;i++) { + if ((i+1)%2 == 0) { + S1(i,(-i+3)/2,(i+9)/2); + } +} |