diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-18 13:16:56 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-18 13:16:56 +0000 |
| commit | b8a74d8593e063ac9168ce273cbf1691aaa360cd (patch) | |
| tree | edc5fca0836f3954e9e15247ac7bdec48d672fe2 /include | |
| parent | d348aee430c8308a29d5edadd4c38e7fee1abadc (diff) | |
| download | klee-b8a74d8593e063ac9168ce273cbf1691aaa360cd.tar.gz | |
Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h
so that it is possible to ``#include "klee/util/ArrayExprHash.h"``
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> |