diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/SolverStats.h | 38 | ||||
| -rw-r--r-- | include/klee/util/ArrayExprHash.h | 2 |
2 files changed, 39 insertions, 1 deletions
diff --git a/include/klee/SolverStats.h b/include/klee/SolverStats.h new file mode 100644 index 00000000..a38c9826 --- /dev/null +++ b/include/klee/SolverStats.h @@ -0,0 +1,38 @@ +//===-- SolverStats.h -------------------------------------------*- C++ -*-===// +// +// The KLEE Symbolic Virtual Machine +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#ifndef KLEE_SOLVERSTATS_H +#define KLEE_SOLVERSTATS_H + +#include "klee/Statistic.h" + +namespace klee { +namespace stats { + + extern Statistic cexCacheTime; + extern Statistic queries; + extern Statistic queriesInvalid; + extern Statistic queriesValid; + extern Statistic queryCacheHits; + extern Statistic queryCacheMisses; + extern Statistic queryCexCacheHits; + extern Statistic queryCexCacheMisses; + extern Statistic queryConstructTime; + extern Statistic queryConstructs; + extern Statistic queryCounterexamples; + extern Statistic queryTime; + +#ifdef DEBUG + extern Statistic arrayHashTime; +#endif + +} +} + +#endif diff --git a/include/klee/util/ArrayExprHash.h b/include/klee/util/ArrayExprHash.h index da3b1d2b..23211a70 100644 --- a/include/klee/util/ArrayExprHash.h +++ b/include/klee/util/ArrayExprHash.h @@ -12,7 +12,7 @@ #include "klee/Expr.h" #include "klee/TimerStatIncrementer.h" -#include "SolverStats.h" +#include "klee/SolverStats.h" #include <map> |