Change mert/Timer.

- Add a high resolution timing function to measure the
  wall-clock time by gettimeofday().

- Now the Timer class use getrusage() to measure the elapsed
  CPU time as KenLM does.

- Revive Timer::restart().

- Add Timer::ToString() for reporting the detail statistics
  as well as for debugging.

- Add a simple unit test for Timer.

1 files changed, 1 insertions, 1 deletions

diff --git a/mert/Util.cpp b/mert/Util.cpp
index fee1efd81..952aaf9aa 100644
--- a/mert/Util.cpp
+++ b/mert/Util.cpp
@@ -84,5 +84,5 @@ void PrintUserTime(const std::string &message)
 
 double GetUserTime()
 {
-  return g_timer.get_elapsed_time();
+  return g_timer.get_elapsed_cpu_time();
 }