Time.cpp

Go to the documentation of this file.
00001 //===-- Time.cpp ----------------------------------------------------------===//
00002 //
00003 //                     The KLEE Symbolic Virtual Machine
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 
00010 #include "klee/Internal/System/Time.h"
00011 
00012 #include "llvm/System/Process.h"
00013 
00014 using namespace llvm;
00015 using namespace klee;
00016 
00017 double util::getUserTime() {
00018   sys::TimeValue now(0,0),user(0,0),sys(0,0);
00019   sys::Process::GetTimeUsage(now,user,sys);
00020   return (user.seconds() + (double) user.nanoseconds() * 1e-9);
00021 }
00022 
00023 double util::getWallTime() {
00024   sys::TimeValue now(0,0),user(0,0),sys(0,0);
00025   sys::Process::GetTimeUsage(now,user,sys);
00026   return (now.seconds() + (double) now.nanoseconds() * 1e-9);
00027 }