1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
//===-- Timer.cpp ---------------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "klee/Config/Version.h"
#include "klee/Internal/Support/Timer.h"
#include "llvm/Support/Process.h"
using namespace klee;
using namespace llvm;
WallTimer::WallTimer() {
sys::TimeValue now(0,0),user(0,0),sys(0,0);
sys::Process::GetTimeUsage(now,user,sys);
startMicroseconds = now.usec();
}
uint64_t WallTimer::check() {
sys::TimeValue now(0,0),user(0,0),sys(0,0);
sys::Process::GetTimeUsage(now,user,sys);
return now.usec() - startMicroseconds;
}
|
