klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
SolverStats.cpp
Go to the documentation of this file.
1 //===-- SolverStats.cpp ---------------------------------------------------===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #include "SolverStats.h"
11 
12 using namespace klee;
13 
14 Statistic stats::cexCacheTime("CexCacheTime", "CCtime");
15 Statistic stats::queries("Queries", "Q");
16 Statistic stats::queriesInvalid("QueriesInvalid", "Qiv");
17 Statistic stats::queriesValid("QueriesValid", "Qv");
18 Statistic stats::queryCacheHits("QueryCacheHits", "QChits") ;
19 Statistic stats::queryCacheMisses("QueryCacheMisses", "QCmisses");
20 Statistic stats::queryCexCacheHits("QueryCexCacheHits", "QCexHits") ;
21 Statistic stats::queryCexCacheMisses("QueryCexCacheMisses", "QCexMisses");
22 Statistic stats::queryConstructTime("QueryConstructTime", "QBtime") ;
23 Statistic stats::queryConstructs("QueriesConstructs", "QB");
24 Statistic stats::queryCounterexamples("QueriesCEX", "Qcex");
25 Statistic stats::queryTime("QueryTime", "Qtime");
26 
27 #ifdef DEBUG
28 Statistic stats::arrayHashTime("ArrayHashTime", "AHtime");
29 #endif
Statistic cexCacheTime
Statistic queriesValid
Statistic queryCexCacheMisses
Statistic queries
Statistic queryCacheHits
Statistic queryConstructTime
Statistic queryCacheMisses
Statistic queryCounterexamples
Statistic queryTime
Statistic queryCexCacheHits
Statistic queriesInvalid
Statistic queryConstructs