public class SuiteAPI2 extends SuiteAPI
Modifier and Type | Field and Description |
---|---|
ImplementationMap |
impMap |
TestingScope |
scope |
Modifier and Type | Method and Description |
---|---|
protected void |
dropBrokenSequences(SUITE suite)
To drop sequences that for some reason fail to execute
|
protected void |
dropNonViolatingSequences(SUITE suite)
To drop non-violating sequences
|
void |
reportCoverage(SUITE S) |
flushReportStream, getT3logger, injectOracles, load, load, replay
public TestingScope scope
public ImplementationMap impMap
public SuiteAPI2(Config config)
protected void dropNonViolatingSequences(SUITE suite)
protected void dropBrokenSequences(SUITE suite)
public void reportCoverage(SUITE S) throws java.lang.Exception
java.lang.Exception