diff options
Diffstat (limited to 'test/min-2-1.c.ppl')
-rw-r--r-- | test/min-2-1.c.ppl | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/min-2-1.c.ppl b/test/min-2-1.c.ppl deleted file mode 100644 index 1e79724..0000000 --- a/test/min-2-1.c.ppl +++ /dev/null @@ -1,10 +0,0 @@ -/* Generated from ./min-2-1.cloog by CLooG 0.15 64 bits in 0.01s. */ -if (M >= 0) { - for (i=1;i<=N;i++) { - for (j=0;j<=min(min(i,-i+N),M);j++) { - for (k=0;k<=min(min(i,-i+N),M);k++) { - S1 ; - } - } - } -} |