about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2014-04-03 16:34:49 +0100
committerMartin Nowack <martin@se.inf.tu-dresden.de>2014-04-14 10:34:54 +0200
commit3ca2809ec59d1fea913c3df23eb3f9539b8d87cc (patch)
tree6507e75727f3860a0a1f1e7f17c7a08c057e8eae /lib
parent60ff94b3ef5074d9da936d9ef59274bc11b43e07 (diff)
downloadklee-3ca2809ec59d1fea913c3df23eb3f9539b8d87cc.tar.gz
Fix mistake in StatsTracker. It should be reporting process ID but
instead it was reporting real user ID of the process.
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/StatsTracker.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index bbea2a98..4709a5bc 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -440,7 +440,7 @@ void StatsTracker::writeIStats() {
 
   of << "version: 1\n";
   of << "creator: klee\n";
-  of << "pid: " << getuid() << "\n";
+  of << "pid: " << getpid() << "\n";
   of << "cmd: " << m->getModuleIdentifier() << "\n\n";
   of << "\n";