klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Time.h
Go to the documentation of this file.
1 //===-- Time.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_UTIL_TIME_H
11 #define KLEE_UTIL_TIME_H
12 
13 namespace klee {
14  namespace util {
15  double getUserTime();
16  double getWallTime();
17  }
18 }
19 
20 #endif
double getWallTime()
Definition: Time.cpp:24
double getUserTime()
Definition: Time.cpp:18