From b8a74d8593e063ac9168ce273cbf1691aaa360cd Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Fri, 18 Dec 2015 13:16:56 +0000 Subject: Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h so that it is possible to ``#include "klee/util/ArrayExprHash.h"`` --- lib/Solver/SolverStats.h | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 lib/Solver/SolverStats.h (limited to 'lib/Solver/SolverStats.h') diff --git a/lib/Solver/SolverStats.h b/lib/Solver/SolverStats.h deleted file mode 100644 index a38c9826..00000000 --- a/lib/Solver/SolverStats.h +++ /dev/null @@ -1,38 +0,0 @@ -//===-- 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 -- cgit 1.4.1