klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Time.cpp
Go to the documentation of this file.
1 //===-- Time.cpp ----------------------------------------------------------===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #include "klee/Config/Version.h"
12 
13 #include "llvm/Support/Process.h"
14 
15 using namespace llvm;
16 using namespace klee;
17 
19  sys::TimeValue now(0,0),user(0,0),sys(0,0);
20  sys::Process::GetTimeUsage(now,user,sys);
21  return (user.seconds() + (double) user.nanoseconds() * 1e-9);
22 }
23 
25  sys::TimeValue now(0,0),user(0,0),sys(0,0);
26  sys::Process::GetTimeUsage(now,user,sys);
27  return (now.seconds() + (double) now.nanoseconds() * 1e-9);
28 }
double getWallTime()
Definition: Time.cpp:24
double getUserTime()
Definition: Time.cpp:18