+ close_out oc;
+ print_endline ("\n\n---- </TESTS> " ^ file);
+ let filesize filename =
+ let ic = open_in filename in
+ let size = in_channel_length ic in
+ close_in ic ; size in
+ if filesize file = 0
+ then (print_endline "---- All tests succeeded."; Sys.remove file )
+ else (print_endline ("---- Not all tests succeeded. See " ^ file))