klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
CoreStats.h File Reference
#include "klee/Statistic.h"
Include dependency graph for CoreStats.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 klee
 
 klee::stats
 

Variables

Statistic klee::stats::allocations
 
Statistic klee::stats::resolveTime
 
Statistic klee::stats::instructions
 
Statistic klee::stats::instructionTime
 
Statistic klee::stats::instructionRealTime
 
Statistic klee::stats::coveredInstructions
 
Statistic klee::stats::uncoveredInstructions
 
Statistic klee::stats::trueBranches
 
Statistic klee::stats::falseBranches
 
Statistic klee::stats::forkTime
 
Statistic klee::stats::solverTime
 
Statistic klee::stats::forks
 The number of process forks. More...
 
Statistic klee::stats::states
 
Statistic klee::stats::reachableUncovered
 
Statistic klee::stats::minDistToUncovered
 
Statistic klee::stats::minDistToReturn