Go to the source code of this file.
|
| STATISTIC (NumSteps, "The # of steps executed.") |
|
| STATISTIC (NumReachedMaxSteps, "The # of times we reached the max number of steps.") |
|
| STATISTIC (NumPathsExplored, "The # of paths explored by the analyzer.") |
|
◆ DEBUG_TYPE
#define DEBUG_TYPE "CoreEngine" |
◆ STATISTIC() [1/3]
STATISTIC |
( |
NumSteps |
, |
|
|
"The # of steps executed." |
|
|
) |
| |
◆ STATISTIC() [2/3]
STATISTIC |
( |
NumReachedMaxSteps |
, |
|
|
"The # of times we reached the max number of steps." |
|
|
) |
| |
◆ STATISTIC() [3/3]
STATISTIC |
( |
NumPathsExplored |
, |
|
|
"The # of paths explored by the analyzer." |
|
|
) |
| |