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/Statistics/Statistic.h"
14 
15 namespace klee {
16 namespace stats {
17 
18   extern Statistic allocations;
19   extern Statistic resolveTime;
20   extern Statistic instructions;
21   extern Statistic instructionTime;
22   extern Statistic instructionRealTime;
23   extern Statistic coveredInstructions;
24   extern Statistic uncoveredInstructions;
25   extern Statistic trueBranches;
26   extern Statistic falseBranches;
27   extern Statistic forkTime;
28   extern Statistic solverTime;
29 
30   /// The number of process forks.
31   extern Statistic forks;
32 
33   /// Number of states, this is a "fake" statistic used by istats, it
34   /// isn't normally up-to-date.
35   extern Statistic states;
36 
37   /// Instruction level statistic for tracking number of reachable
38   /// uncovered instructions.
39   extern Statistic reachableUncovered;
40 
41   /// Instruction level statistic tracking the minimum intraprocedural
42   /// distance to an uncovered instruction; this is only periodically
43   /// updated.
44   extern Statistic minDistToUncovered;
45 
46   /// Instruction level statistic tracking the minimum intraprocedural
47   /// distance to a function return.
48   extern Statistic minDistToReturn;
49 
50 }
51 }
52 
53 #endif /* KLEE_CORESTATS_H */
54