1 files changed, 0 insertions, 82 deletions
diff --git a/test/ccured_olden/rapportCompcert_all.txt b/test/ccured_olden/rapportCompcert_all.txt
deleted file mode 100644
index 25a7e4cf..00000000
--- a/test/ccured_olden/rapportCompcert_all.txt
+++ /dev/null
@@ -1,82 +0,0 @@
-********** Répertoire bh ************************
-*************************************************
-
-../../../../ccomp -dump-c  io.c
-/usr/include/stdio.h:250: Unsupported C feature: integer type specifier
--> int      fclose(FILE );    ?????
-make: *** [io.compcert] Error 2
-
-../../../../ccomp -dump-c getparam.c
-/usr/include/stdio.h:171: Warning: array type of unspecified size
-/usr/include/stdio.h:171: Unsupported C feature: integer type specifier
--> extern FILE __sF[];
-make: *** [getparam.compcert] Error 2
-
-********** Répertoire bisort ********************
-*************************************************
-../../../../ccomp -dump-c bitonic.c
-bitonic.c:42: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:91: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:231: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:233: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:242: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:244: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:245: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:246: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:248: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:251: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:253: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:255: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:257: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:260: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:262: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:264: Warning: working around a call to a variadic or non-prototyped function
-bitonic.c:265: Warning: working around a call to a variadic or non-prototyped function
-Error in translation Csyntax -> PPC
-
-********** Répertoire bisort ********************
-*************************************************
-../../../../ccomp -dump-c bitonic.c
-
-même problème que pour bitonic.c du répertoire bisort.
-
-********** Répertoire health ********************
-*************************************************
-../../../../ccomp -dump-c poisson.c
-
-../../../../ccomp -dump-c list.c
-list.c:16: Unsupported C feature: ill-formed recursive structure or union
---> void addList(struct List *list, struct Patient *patient) {
-make: *** [list.s] Error 2
-
-********** Répertoire em3d **********************
-*************************************************
-../../../../ccomp -dump-c make_graph.c
-make_graph.c:28: Warning: working around a call to a variadic or non-prototyped function
-make_graph.c:43: Warning: working around a call to a variadic or non-prototyped function
-make_graph.c:101: Warning: working around a call to a variadic or non-prototyped function
-make_graph.c:136: Unsupported C feature: return value of struct or union type
--> graph_t initialize_graph()
-{
-  node_t **h_table;
-  node_t **e_table;
-  graph_t retval;
-................
-make: *** [make_graph.s] Error 2
-
-********** Répertoire treeadd *********************
-*************************************************
-
-node.c:38: Error: Cannot resolve variable stderr.
-->	fprintf(stderr, "Iteration %d...", i);
-
-error in doExp (Errormsg.Error)
-
-error in doExp (Errormsg.Error)
-node.c:27: Warning: working around a call to a variadic or non-prototyped function
-node.c:30: Warning: working around a call to a variadic or non-prototyped function
-node.c:32: Warning: working around a call to a variadic or non-prototyped function
-node.c:33: Warning: working around a call to a variadic or non-prototyped function
-node.c:34: Warning: working around a call to a variadic or non-prototyped function
-node.c:38: Unsupported C feature: inline assembly
--> 	fprintf(stderr, "Iteration %d...", i);