zcov: / include/klee/TimerStatIncrementer.h

	Files: 1 Branches Taken: 0.0% 0 / 0 Generated: 2009-05-17 22:47 Branches Executed: 0.0% 0 / 0 Line Coverage: 80.0% 4 / 5

	Programs: 5 Runs 3149

       1                 : //===- TimerStatIncrementer.h - Autoincrement for time stats ----*- C++ -*-===//
       2                 : 
       3                 : #ifndef KLEE_TIMERSTATINCREMENTER_H
       4                 : #define KLEE_TIMERSTATINCREMENTER_H
       5                 : 
       6                 : #include "klee/Statistics.h"
       7                 : #include "klee/Internal/Support/Timer.h"
       8                 : 
       9                 : namespace klee {
      10                 :   class TimerStatIncrementer {
      11                 :   private:
      12                 :     WallTimer timer;
      13                 :     Statistic &statistic;
      14                 : 
      15                 :   public:
      16             5243:     TimerStatIncrementer(Statistic &_statistic) : statistic(_statistic) {}
      17             4226:     ~TimerStatIncrementer() {
      18             5243:       statistic += timer.check(); 
      19             4226:     };
      20                 : 
      21                0:     uint64_t check() { return timer.check(); }
      22                 :   };
      23                 : }
      24                 : 
      25                 : #endif