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