klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::stats Namespace Reference

Variables

Statistic allocations
 
Statistic resolveTime
 
Statistic instructions
 
Statistic instructionTime
 
Statistic instructionRealTime
 
Statistic coveredInstructions
 
Statistic uncoveredInstructions
 
Statistic trueBranches
 
Statistic falseBranches
 
Statistic forkTime
 
Statistic solverTime
 
Statistic forks
 The number of process forks. More...
 
Statistic states
 
Statistic reachableUncovered
 
Statistic minDistToUncovered
 
Statistic minDistToReturn
 
Statistic cexCacheTime
 
Statistic queries
 
Statistic queriesInvalid
 
Statistic queriesValid
 
Statistic queryCacheHits
 
Statistic queryCacheMisses
 
Statistic queryCexCacheHits
 
Statistic queryCexCacheMisses
 
Statistic queryConstructTime
 
Statistic queryConstructs
 
Statistic queryCounterexamples
 
Statistic queryTime
 

Variable Documentation

Statistic klee::stats::coveredInstructions
Statistic klee::stats::falseBranches
Statistic klee::stats::forks

The number of process forks.

Referenced by klee::Executor::branch(), klee::Executor::fork(), and main().

Statistic klee::stats::instructionRealTime
Statistic klee::stats::instructionTime
Statistic klee::stats::minDistToReturn

Instruction level statistic tracking the minimum intraprocedural distance to a function return.

Referenced by klee::computeMinDistToUncovered(), and klee::StatsTracker::computeReachableUncovered().

Statistic klee::stats::minDistToUncovered

Instruction level statistic tracking the minimum intraprocedural distance to an uncovered instruction; this is only periodically updated.

Referenced by klee::computeMinDistToUncovered(), and klee::StatsTracker::computeReachableUncovered().

Statistic klee::stats::queriesInvalid
Statistic klee::stats::queriesValid
Statistic klee::stats::queryCacheHits
Statistic klee::stats::queryCexCacheHits
Statistic klee::stats::queryCexCacheMisses
Statistic klee::stats::queryConstructTime
Statistic klee::stats::reachableUncovered

Instruction level statistic for tracking number of reachable uncovered instructions.

Statistic klee::stats::trueBranches