Time.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	klee
namespace	klee::util
Functions
double	klee::util::getUserTime ()
double	klee::util::getWallTime ()