public class SmvStatisticsParser
extends java.lang.Object
Constructor and Description |
---|
SmvStatisticsParser()
Constructs a new parser.
|
Modifier and Type | Method and Description |
---|---|
int |
getCounterexamples()
Returns the number of counterexamples generated during model checking.
|
int |
getTrueSpecs()
Returns the number of true specifications after model checking.
|
void |
parseLine(java.lang.String line)
Parses the specified file line.
|
void |
parseStats(java.lang.String fileName)
Parses checker output for run statistics.
|
public void parseStats(java.lang.String fileName)
fileName
- - the specified *.smvlog file name.public void parseLine(java.lang.String line)
line
- - the specified line.public int getTrueSpecs()
public int getCounterexamples()