summaryrefslogtreecommitdiff
path: root/test/infinite.omega
diff options
context:
space:
mode:
Diffstat (limited to 'test/infinite.omega')
-rw-r--r--test/infinite.omega13
1 files changed, 0 insertions, 13 deletions
diff --git a/test/infinite.omega b/test/infinite.omega
deleted file mode 100644
index 585b1ef..0000000
--- a/test/infinite.omega
+++ /dev/null
@@ -1,13 +0,0 @@
-# CLooG -> OMEGA
-# This is an automatic dump of an input file from a CloogProgram data
-# structure. It can be correct ONLY if dumped before loop generation.
-
-# Context (2 parameter(s)).
-Symbolic M, N ;
-
-# Iteration domains:
-IS10:={[i]: 1>=0} ;
-IS20:={[i,j]: i-1>=0 && -i+N>=0 && j-1>=0 && -j+M>=0 && 1>=0} ;
-
-# CodeGen call:
-codegen 2 IS10, IS20 ;