klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
CoreStats.cpp
Go to the documentation of this file.
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");
Statistic minDistToReturn
Statistic forkTime
Statistic reachableUncovered
Statistic falseBranches
Statistic trueBranches
Statistic minDistToUncovered
Statistic solverTime
Statistic resolveTime
Statistic instructionTime
Statistic instructionRealTime
Statistic allocations
Statistic forks
The number of process forks.
Statistic uncoveredInstructions
Statistic instructions
Statistic coveredInstructions
Statistic states