public final class SmvLogParser
extends java.lang.Object
Test
object.Constructor and Description |
---|
SmvLogParser()
Constructs a new parser object.
|
Modifier and Type | Method and Description |
---|---|
int |
getCounterexamples()
Returns the number of counterexamples generated during model checking.
|
int |
getOverallSpecs()
Returns the total number of specifications.
|
int |
getTrueSpecs()
Returns the number of true specifications after model checking.
|
void |
parseCheckerLog(java.lang.String fileName)
Parses checker output for run statistics.
|
Test |
parseCounterexamples(java.lang.String fileName)
Parses a file for counterexamples.
|
void |
parseSpecifications(java.lang.String fileName)
Parses a file for specification statistics.
|
void |
setSignalInterface(CfgInterface iface) |
public int getTrueSpecs()
public int getCounterexamples()
public int getOverallSpecs()
public void setSignalInterface(CfgInterface iface)
public Test parseCounterexamples(java.lang.String fileName)
fileName
- - the specified log file name.Test
object extracted from the file.public void parseCheckerLog(java.lang.String fileName)
fileName
- - the specified *.smvlog file name.public void parseSpecifications(java.lang.String fileName)
fileName
- - the specified file name.