diff options
Diffstat (limited to 'test/reservoir/two.c.polylib')
| -rw-r--r-- | test/reservoir/two.c.polylib | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/reservoir/two.c.polylib b/test/reservoir/two.c.polylib deleted file mode 100644 index e8a57ef..0000000 --- a/test/reservoir/two.c.polylib +++ /dev/null @@ -1,9 +0,0 @@ -/* Generated from ./reservoir/two.cloog by CLooG v0.14.0 gmp bits in 0.00s. */ -/* CLooG asked for 56 KBytes. */ -for (i=0;i<=1;i++) { - if ((i+1)%2 == 0) { - j = (-i+3)/2 ; - k = (i+9)/2 ; - S1 ; - } -} |