zcov: / lib/Core/CoreStats.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% 16 / 16

	Programs: 1 Runs 371

       1                 : /* -*- mode: c++; c-basic-offset: 2; -*- */
       2                 : 
       3                 : #include "CoreStats.h"
       4                 : 
       5                 : using namespace klee;
       6                 : 
       7              412: Statistic stats::allocations("Allocations", "Alloc");
       8              412: Statistic stats::coveredInstructions("CoveredInstructions", "Icov");
       9              412: Statistic stats::falseBranches("FalseBranches", "Bf");
      10              412: Statistic stats::forkTime("ForkTime", "Ftime");
      11              412: Statistic stats::forks("Forks", "Forks");
      12              412: Statistic stats::instructionRealTime("InstructionRealTimes", "Ireal");
      13              412: Statistic stats::instructionTime("InstructionTimes", "Itime");
      14              412: Statistic stats::instructions("Instructions", "I");
      15              412: Statistic stats::minDistToReturn("MinDistToReturn", "Rdist");
      16              412: Statistic stats::minDistToUncovered("MinDistToUncovered", "UCdist");
      17              412: Statistic stats::reachableUncovered("ReachableUncovered", "IuncovReach");
      18              412: Statistic stats::resolveTime("ResolveTime", "Rtime");
      19              412: Statistic stats::solverTime("SolverTime", "Stime");
      20              412: Statistic stats::states("States", "States");
      21              412: Statistic stats::trueBranches("TrueBranches", "Bt");
                      103: branch 0 taken
                        0: branch 1 not taken
                      103: branch 2 taken
                        0: branch 3 not taken
      22              618: Statistic stats::uncoveredInstructions("UncoveredInstructions", "Iuncov");