Statistics.cpp File Reference

#include "klee/Statistics.h"
#include <vector>

Include dependency graph for Statistics.cpp:

Go to the source code of this file.

Functions
static StatisticManager &	getStatisticManager ()

---

Function Documentation

static StatisticManager& getStatisticManager

(

)

[static]

Definition at line 59 of file Statistics.cpp.

References klee::theStatisticManager.

Referenced by klee::Statistic::Statistic().

Here is the caller graph for this function: