klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
CoreStats.h
Go to the documentation of this file.
1 //===-- CoreStats.h ---------------------------------------------*- C++ -*-===//
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 #ifndef KLEE_CORESTATS_H
11 #define KLEE_CORESTATS_H
12 
13 #include "klee/Statistic.h"
14 
15 namespace klee {
16 namespace stats {
17 
18  extern Statistic allocations;
19  extern Statistic resolveTime;
20  extern Statistic instructions;
25  extern Statistic trueBranches;
26  extern Statistic falseBranches;
27  extern Statistic forkTime;
28  extern Statistic solverTime;
29 
31  extern Statistic forks;
32 
35  extern Statistic states;
36 
40 
45 
49 
50 }
51 }
52 
53 #endif
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