klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Timer.h
Go to the documentation of this file.
1 //===-- Timer.h -------------------------------------------------*- C++ -*-===//
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 #ifndef KLEE_TIMER_H
11 #define KLEE_TIMER_H
12 
13 #include <stdint.h>
14 
15 namespace klee {
16  class WallTimer {
18 
19  public:
20  WallTimer();
21 
23  uint64_t check();
24  };
25 }
26 
27 #endif
28 
uint64_t startMicroseconds
Definition: Timer.h:17
uint64_t check()
check - Return the delta since the timer was created, in microseconds.
Definition: Timer.cpp:24