zcov: / lib/Solver/SolverStats.cpp

	Files: 1 Branches Taken: 50.0% 2 / 4 Generated: 2009-05-17 22:47 Branches Executed: 100.0% 4 / 4 Line Coverage: 100.0% 10 / 10

	Programs: 2 Runs 1389

       1                 : /* -*- mode: c++; c-basic-offset: 2; -*- */
       2                 : 
       3                 : #include "SolverStats.h"
       4                 : 
       5                 : using namespace klee;
       6                 : 
       7              416: Statistic stats::cexCacheTime("CexCacheTime", "CCtime");
       8              416: Statistic stats::queries("Queries", "Q");
       9              416: Statistic stats::queriesInvalid("QueriesInvalid", "Qiv");
      10              416: Statistic stats::queriesValid("QueriesValid", "Qv");
      11              416: Statistic stats::queryCacheHits("QueryCacheHits", "QChits") ;
      12              416: Statistic stats::queryCacheMisses("QueryCacheMisses", "QCmisses");
      13              416: Statistic stats::queryConstructTime("QueryConstructTime", "QBtime") ;
      14              416: Statistic stats::queryConstructs("QueriesConstructs", "QB");
      15              416: Statistic stats::queryCounterexamples("QueriesCEX", "Qcex");
                      104: branch 0 taken
                        0: branch 1 not taken
                      104: branch 2 taken
                        0: branch 3 not taken
      16              624: Statistic stats::queryTime("QueryTime", "Qtime");