summaryrefslogtreecommitdiff
path: root/test/min-2-1.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'test/min-2-1.cloog')
-rw-r--r--test/min-2-1.cloog31
1 files changed, 0 insertions, 31 deletions
diff --git a/test/min-2-1.cloog b/test/min-2-1.cloog
deleted file mode 100644
index 0c1ed37..0000000
--- a/test/min-2-1.cloog
+++ /dev/null
@@ -1,31 +0,0 @@
-# language: C
-c
-
-# Context
-# {M,N | 1>=0}
-1 4
-# M N 1
-1 0 0 1
-0
-
-1 # Number of statements
-
-1
-# {i,j |1<=i<=N; 0<=j<=M; j<=i; j+i<=N}, i.e.
-# {i,j | (1,j)<=i<=-j+N; 0<=j<=M}
-10 7
-# i j k M N 1
-1 1 0 0 0 0 -1
-1 0 1 0 0 0 0
-1 0 -1 0 1 0 0
-1 1 -1 0 0 0 0
-1 -1 -1 0 0 1 0
-1 0 0 1 0 0 0
-1 0 0 -1 1 0 0
-1 1 0 -1 0 0 0
-1 -1 0 -1 0 1 0
-1 0 0 0 0 0 1
-0 0 0
-0
-
-0 # Scattering functions