1 //===-- CoreStats.cpp -----------------------------------------------------===// 2 // 3 // The KLEE Symbolic Virtual Machine 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "CoreStats.h" 11 12 using namespace klee; 13 14 Statistic stats::allocations("Allocations", "Alloc"); 15 Statistic stats::coveredInstructions("CoveredInstructions", "Icov"); 16 Statistic stats::falseBranches("FalseBranches", "Bf"); 17 Statistic stats::forkTime("ForkTime", "Ftime"); 18 Statistic stats::forks("Forks", "Forks"); 19 Statistic stats::instructionRealTime("InstructionRealTimes", "Ireal"); 20 Statistic stats::instructionTime("InstructionTimes", "Itime"); 21 Statistic stats::instructions("Instructions", "I"); 22 Statistic stats::minDistToReturn("MinDistToReturn", "Rdist"); 23 Statistic stats::minDistToUncovered("MinDistToUncovered", "UCdist"); 24 Statistic stats::reachableUncovered("ReachableUncovered", "IuncovReach"); 25 Statistic stats::resolveTime("ResolveTime", "Rtime"); 26 Statistic stats::solverTime("SolverTime", "Stime"); 27 Statistic stats::states("States", "States"); 28 Statistic stats::trueBranches("TrueBranches", "Bt"); 29 Statistic stats::uncoveredInstructions("UncoveredInstructions", "Iuncov"); 30