1 files changed, 0 insertions, 19 deletions
diff --git a/test/emploi.c.ppl b/test/emploi.c.ppl
deleted file mode 100644
index 7156c99..0000000
--- a/test/emploi.c.ppl
+++ /dev/null
@@ -1,19 +0,0 @@
-/* Generated from ./emploi.cloog by CLooG 0.15 64 bits in 0.00s. */
-if (m >= 1) {
-  for (i=1;i<=n;i++) {
-    if (i <= 2*m) {
-      S1 ;
-    }
-    if (i >= max(2*m+1,m)) {
-      S1 ;
-    }
-    for (j=1;j<=m;j++) {
-      S2 ;
-    }
-  }
-}
-if (m <= 0) {
-  for (i=1;i<=n;i++) {
-    S1 ;
-  }
-}