X-Git-Url: https://scm.cri.minesparis.psl.eu/git/Faustine.git/blobdiff_plain/d1f93175cc683d72876cb56b4a8f566578296bb9..5ffc68ce0ca4af8e3139f8df236b19edae9e4cd5:/interpretor/main.ml

diff --git a/interpretor/main.ml b/interpretor/main.ml
index e214802..ee77898 100644
--- a/interpretor/main.ml
+++ b/interpretor/main.ml
@@ -62,11 +62,17 @@ let main () =
 	let _ = set_GC () in
 	let () = Arg.parse speclist option_unknown option_usage in
 
+
+	let () = print_string("    Faustine -> Reading input files...") in
+	let tic0 = Sys.time () in
 	let wave = new waveio in
 	let csv = new csvio in
 	let input_wave = wave#read (Array.of_list !inwavs) in
 	let input_csv = csv#read (Array.of_list !incsvs) in
 	let input = input_wave#append input_csv in
+	let toc0 = Sys.time () in
+	let () = print_endline(" Done. (duration: " ^ (string_of_float (toc0 -. tic0)) ^ "s.)") in
+
 
 	let () = print_string("    Faustine -> Preprocessing...") in
 	let tic1 = Sys.time () in
@@ -75,7 +81,7 @@ let main () =
 	let () = print_endline(" Done. (duration: " ^ (string_of_float (toc1 -. tic1)) ^ "s.)") in
 
 
-	let () = print_string("    Faustine -> Interpretation...") in
+	let () = print_string("    Faustine -> Constructing process...") in
 	let tic2 = Sys.time () in
 	let faust_exp = exp_of_string faust_core in
 	let proc = (new proc_factory)#make faust_exp in
@@ -83,7 +89,14 @@ let main () =
 	let () = print_endline(" Done. (duration: " ^ (string_of_float (toc2 -. tic2)) ^ "s.)") in
 
 
+	let () = print_string("    Faustine -> Evaluation...") in
+	let tic3 = Sys.time () in
 	let output = proc#eval input in
+	let toc3 = Sys.time () in
+	let () = print_endline(" Done. (duration: " ^ (string_of_float (toc3 -. tic3)) ^ "s.)") in
+
+
+
 	let data = output#output time_maximum in
 	let rates = output#frequency in