klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
SolverStats.h
Go to the documentation of this file.
1 //===-- SolverStats.h -------------------------------------------*- C++ -*-===//
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 #ifndef KLEE_SOLVERSTATS_H
11 #define KLEE_SOLVERSTATS_H
12 
13 #include "klee/Statistic.h"
14 
15 namespace klee {
16 namespace stats {
17 
18  extern Statistic cexCacheTime;
19  extern Statistic queries;
20  extern Statistic queriesInvalid;
21  extern Statistic queriesValid;
22  extern Statistic queryCacheHits;
23  extern Statistic queryCacheMisses;
24  extern Statistic queryCexCacheHits;
25  extern Statistic queryCexCacheMisses;
26  extern Statistic queryConstructTime;
27  extern Statistic queryConstructs;
28  extern Statistic queryCounterexamples;
29  extern Statistic queryTime;
30 
31 #ifdef DEBUG
32  extern Statistic arrayHashTime;
33 #endif
34 
35 }
36 }
37 
38 #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