# HG changeset patch # User orbitz # Date 1490650576 -7200 # Mon Mar 27 23:36:16 2017 +0200 # Node ID 3f93edb6d338a0fb5f9b8d72c21f94f66ee3f39e # Parent 0b4828c0dc52628397021f42746c0235103e16ea REFACTOR Move the elapsed time to a diagnostic diff --git a/src/oth/oth.ml b/src/oth/oth.ml --- a/src/oth/oth.ml +++ b/src/oth/oth.ml @@ -70,14 +70,14 @@ | `Ok -> Printf.fprintf oc - "ok %d %s (%0.02f sec)\n" + "ok %d %s\n# Elapsed %0.02f sec\n" n tr.Test_result.name (Duration.to_f tr.Test_result.duration) | `Timedout -> Printf.fprintf oc - "not ok %d %s (%0.02f sec)\n" + "not ok %d %s\n# Elapsed %0.02f sec\n" n tr.Test_result.name (Duration.to_f tr.Test_result.duration); @@ -85,7 +85,7 @@ | `Exn (exn, bt_opt) -> Printf.fprintf oc - "not ok %d %s (%0.02f sec)\n" + "not ok %d %s\n# Elapsed %0.02f sec\n" n tr.Test_result.name (Duration.to_f tr.Test_result.duration);