diff options
Diffstat (limited to 'test/infinite.omega')
-rw-r--r-- | test/infinite.omega | 13 |
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 ; |