klee
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
14
15namespace klee {
16namespace stats {
17
27 extern Statistic forkTime;
28 extern Statistic solverTime;
29
31 extern Statistic forks;
32
35 extern Statistic states;
36
41
45
46}
47}
48
49#endif /* KLEE_CORESTATS_H */
Statistic minDistToReturn
Statistic resolveTime
Statistic allocations
Statistic forkTime
Statistic states
Statistic solverTime
Statistic instructionTime
Statistic coveredInstructions
Statistic falseBranches
Statistic trueBranches
Statistic instructions
Statistic uncoveredInstructions
Statistic forks
The number of process forks.
Statistic instructionRealTime
Statistic minDistToUncovered
Definition: main.cpp:291