klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
SolverStats.h File Reference
#include "klee/Statistic.h"
Include dependency graph for SolverStats.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::cexCacheTime
 
Statistic klee::stats::queries
 
Statistic klee::stats::queriesInvalid
 
Statistic klee::stats::queriesValid
 
Statistic klee::stats::queryCacheHits
 
Statistic klee::stats::queryCacheMisses
 
Statistic klee::stats::queryCexCacheHits
 
Statistic klee::stats::queryCexCacheMisses
 
Statistic klee::stats::queryConstructTime
 
Statistic klee::stats::queryConstructs
 
Statistic klee::stats::queryCounterexamples
 
Statistic klee::stats::queryTime