CoreStats.cpp

Go to the documentation of this file.
00001 //===-- CoreStats.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 "CoreStats.h"
00011 
00012 using namespace klee;
00013 
00014 Statistic stats::allocations("Allocations", "Alloc");
00015 Statistic stats::coveredInstructions("CoveredInstructions", "Icov");
00016 Statistic stats::falseBranches("FalseBranches", "Bf");
00017 Statistic stats::forkTime("ForkTime", "Ftime");
00018 Statistic stats::forks("Forks", "Forks");
00019 Statistic stats::instructionRealTime("InstructionRealTimes", "Ireal");
00020 Statistic stats::instructionTime("InstructionTimes", "Itime");
00021 Statistic stats::instructions("Instructions", "I");
00022 Statistic stats::minDistToReturn("MinDistToReturn", "Rdist");
00023 Statistic stats::minDistToUncovered("MinDistToUncovered", "UCdist");
00024 Statistic stats::reachableUncovered("ReachableUncovered", "IuncovReach");
00025 Statistic stats::resolveTime("ResolveTime", "Rtime");
00026 Statistic stats::solverTime("SolverTime", "Stime");
00027 Statistic stats::states("States", "States");
00028 Statistic stats::trueBranches("TrueBranches", "Bt");
00029 Statistic stats::uncoveredInstructions("UncoveredInstructions", "Iuncov");