SolverStats.cpp

Go to the documentation of this file.
00001 //===-- SolverStats.cpp ---------------------------------------------------===//
00002 //
00003 //                     The KLEE Symbolic Virtual Machine
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 
00010 #include "SolverStats.h"
00011 
00012 using namespace klee;
00013 
00014 Statistic stats::cexCacheTime("CexCacheTime", "CCtime");
00015 Statistic stats::queries("Queries", "Q");
00016 Statistic stats::queriesInvalid("QueriesInvalid", "Qiv");
00017 Statistic stats::queriesValid("QueriesValid", "Qv");
00018 Statistic stats::queryCacheHits("QueryCacheHits", "QChits") ;
00019 Statistic stats::queryCacheMisses("QueryCacheMisses", "QCmisses");
00020 Statistic stats::queryConstructTime("QueryConstructTime", "QBtime") ;
00021 Statistic stats::queryConstructs("QueriesConstructs", "QB");
00022 Statistic stats::queryCounterexamples("QueriesCEX", "Qcex");
00023 Statistic stats::queryTime("QueryTime", "Qtime");