- prerr_endline ("# " ^ fname);
- try
- let expected = parse_regtest test_fname in
- let actual = test_this expected.term in
- if dump then dump_environment env_fname ;
- if as_expected expected actual then
- incr ok
- else
- nok := fname :: !nok;
- with e -> nok := fname :: !nok
+ let time = Unix.gettimeofday () in
+ print ("Processing " ^ fname ^":\t") ;
+ let is_ok =
+ try
+ let expected = parse_regtest test_fname in
+ let actual = test_this expected.term in
+ if dump then dump_environment env_fname ;
+ if as_expected expected actual then
+ (incr ok ; true)
+ else
+ (nok := fname :: !nok ; false)
+ with e -> (nok := fname :: !nok ; false)
+ in
+ let timediff = Unix.gettimeofday () -. time in
+ print (sprintf "done in %f seconds\t" timediff) ;
+ print_endline (if is_ok then "\e[01;32m[ OK ]\e[00m" else "\e[01;31m[ FAILED ]\e[00m")