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