From b798ac29c37299b2f761243ae92ab8f7c4c4d7f1 Mon Sep 17 00:00:00 2001
From: Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>
Date: Tue, 30 Oct 2018 15:32:56 +0100
Subject: Initial commit

---
 source/xi_lib/measure.ml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 source/xi_lib/measure.ml

(limited to 'source/xi_lib/measure.ml')

diff --git a/source/xi_lib/measure.ml b/source/xi_lib/measure.ml
new file mode 100644
index 0000000..1aec0b9
--- /dev/null
+++ b/source/xi_lib/measure.ml
@@ -0,0 +1,8 @@
+let logf fmt = Logger.make_logf __MODULE__ fmt
+
+let measure name f =
+  let t_start = Unix.gettimeofday () in 
+  let r = f () in
+  let t_end = Unix.gettimeofday () in
+  logf "%s: execution time %f" name (t_end -. t_start);
+  r
\ No newline at end of file
-- 
cgit 1.4.1