From: WANG Date: Wed, 21 Aug 2013 15:48:02 +0000 (+0200) Subject: Pretty printing of main.ml. X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/commitdiff_plain/5ffc68ce0ca4af8e3139f8df236b19edae9e4cd5?ds=sidebyside Pretty printing of main.ml. --- diff --git a/interpretor/faustine b/interpretor/faustine index 585ed24..2de8a55 100755 Binary files a/interpretor/faustine and b/interpretor/faustine differ diff --git a/interpretor/gmon.out b/interpretor/gmon.out index 8c27fb9..fd15f7f 100644 Binary files a/interpretor/gmon.out and b/interpretor/gmon.out differ 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