summaryrefslogtreecommitdiff
path: root/test/reservoir/long.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'test/reservoir/long.cloog')
-rw-r--r--test/reservoir/long.cloog127
1 files changed, 0 insertions, 127 deletions
diff --git a/test/reservoir/long.cloog b/test/reservoir/long.cloog
deleted file mode 100644
index aae4a18..0000000
--- a/test/reservoir/long.cloog
+++ /dev/null
@@ -1,127 +0,0 @@
-# Language
-c
-
-# Context
-
- 15 11
- 1 1 0 0 0 0 0 0 0 0 -10
- 1 0 1 0 0 0 0 0 0 0 -10
- 1 0 0 1 0 0 0 0 0 0 -10
- 1 0 0 0 1 0 0 0 0 0 -1
- 1 0 0 0 -1 0 0 0 0 0 2
- 1 0 0 0 0 1 0 0 0 0 -1
- 1 0 0 0 0 -1 0 0 0 0 2
- 1 0 0 0 0 0 1 0 0 0 -1
- 1 0 0 0 0 0 -1 0 0 0 2
- 1 0 0 0 0 0 0 1 0 0 0
- 1 0 0 0 0 0 0 -1 0 0 1
- 1 0 0 0 0 0 0 0 1 0 0
- 1 0 0 0 0 0 0 0 -1 0 1
- 1 0 0 0 0 0 0 0 0 1 0
- 1 0 0 0 0 0 0 0 0 -1 1
-0
-
-# Number of statments
-4
-
-1
-# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
-
- 7 14
- 1 1 0 0 0 0 0 0 0 0 0 0 0 -1
- 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1
- 1 0 1 0 0 0 0 0 -1 0 0 0 0 0
- 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1
- 1 0 0 1 0 0 0 -1 0 0 0 0 0 0
- 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1
- 1 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-0 0 0
-1
-# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
-
- 7 14
- 1 1 0 0 0 0 0 0 0 0 0 0 0 -1
- 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1
- 1 0 1 0 0 0 0 0 -1 0 0 0 0 0
- 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1
- 1 0 0 1 0 0 0 0 0 0 0 0 0 -1
- 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1
- 1 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-0 0 0
-1
-# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 }
-
- 7 14
- 1 1 0 0 0 0 0 0 0 0 0 0 0 -1
- 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1
- 1 0 1 0 0 0 0 0 0 0 0 0 0 -1
- 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1
- 1 0 0 1 0 0 0 -1 0 0 0 0 0 0
- 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1
- 1 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-0 0 0
-1
-# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 }
-
- 7 14
- 1 1 0 0 0 0 0 0 0 0 0 0 0 -1
- 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1
- 1 0 1 0 0 0 0 0 0 0 0 0 0 -1
- 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1
- 1 0 0 1 0 0 0 0 0 0 0 0 0 -1
- 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1
- 1 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-0 0 0
-0
-# Scattering functions
-4
-
- 8 21
- 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
- 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-
- 8 21
- 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
- 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
- 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-
- 8 21
- 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
- 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
- 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-
- 8 21
- 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
- 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
- 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0
- 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0
- 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
-
-0
-