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