zcov: / lib/Support/Timer.cpp

	Files: 1 Branches Taken: 0.0% 0 / 0 Generated: 2009-05-17 22:47 Branches Executed: 0.0% 0 / 0 Line Coverage: 100.0% 7 / 7

	Programs: 2 Runs 1389

       1                 : /* -*- mode: c++; c-basic-offset: 2; -*- */
       2                 : 
       3                 : #include "klee/Internal/Support/Timer.h"
       4                 : 
       5                 : #include "llvm/System/Process.h"
       6                 : 
       7                 : using namespace klee;
       8                 : using namespace llvm;
       9                 : 
      10             7019: WallTimer::WallTimer() {
      11                 :   sys::TimeValue now(0,0),user(0,0),sys(0,0);
      12             7019:   sys::Process::GetTimeUsage(now,user,sys);
      13             7019:   startMicroseconds = now.usec();
      14             7019: }
      15                 : 
      16             7019: uint64_t WallTimer::check() {
      17                 :   sys::TimeValue now(0,0),user(0,0),sys(0,0);
      18             7019:   sys::Process::GetTimeUsage(now,user,sys);
      19             7019:   return now.usec() - startMicroseconds;
      20                 : }