diff options
Diffstat (limited to 'test/forwardsub-2-1-2-3.c.polylib')
-rw-r--r-- | test/forwardsub-2-1-2-3.c.polylib | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/forwardsub-2-1-2-3.c.polylib b/test/forwardsub-2-1-2-3.c.polylib deleted file mode 100644 index 55d3562..0000000 --- a/test/forwardsub-2-1-2-3.c.polylib +++ /dev/null @@ -1,12 +0,0 @@ -/* Generated by CLooG v0.10.7 */ -S3(i = 1,j = 0) ; -for (k=2;k<=M;k++) { - S1(i = 1,j = 1) ; -} -for (i=2;i<=M-1;i++) { - S4(j = 0) ; - for (k=i+1;k<=M;k++) { - S2(j = 1) ; - } -} -S4(i = M,j = 0) ; |