Statistics.cpp File Reference

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

Include dependency graph for Statistics.cpp:

Go to the source code of this file.

Functions
static StatisticManager &	getStatisticManager ()

Function Documentation

getStatisticManager()

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: