summaryrefslogtreecommitdiff
path: root/test/iftest.c.polylib
diff options
context:
space:
mode:
Diffstat (limited to 'test/iftest.c.polylib')
-rw-r--r--test/iftest.c.polylib10
1 files changed, 0 insertions, 10 deletions
diff --git a/test/iftest.c.polylib b/test/iftest.c.polylib
deleted file mode 100644
index 1f40af6..0000000
--- a/test/iftest.c.polylib
+++ /dev/null
@@ -1,10 +0,0 @@
-/* Generated from ./test/iftest.cloog by CLooG v0.14.0 64 bits in 0.00s. */
-/* CLooG asked for 168 KBytes. */
-for (i=1;i<=n;i++) {
- if (i <= 2*m) {
- S1 ;
- }
- if (i >= max(m,2*m+1)) {
- S1 ;
- }
-}