From badffc570e1be6b675dcab7e21829bd029c46287 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Fri, 31 Jan 2014 08:51:59 +0100
Subject: [include] Added documentation

---
 include/klee/Internal/System/Time.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'include')

diff --git a/include/klee/Internal/System/Time.h b/include/klee/Internal/System/Time.h
index 5229c8c9..a926a25c 100644
--- a/include/klee/Internal/System/Time.h
+++ b/include/klee/Internal/System/Time.h
@@ -12,7 +12,9 @@
 
 namespace klee {
   namespace util {
+    // Returns the current time spent by the process in userland in seconds
     double getUserTime();
+    // Returns the current wall time in seconds
     double getWallTime();
   }
 }
-- 
cgit 1.4.1