public class T3SuiteGenAPI extends SuiteAPI2
Modifier and Type | Field and Description |
---|---|
T3SuiteG |
T3defaultSuiteGenerator |
protected java.util.function.Function<Pool,Generator<PARAM,STEP>> |
valueMetaGenerator |
Constructor and Description |
---|
T3SuiteGenAPI(java.util.function.Function<ImplementationMap,java.util.function.Function<Pool,Generator<PARAM,STEP>>> fValueMetaGenerator,
Config config,
java.lang.Class... classesTobeScanned) |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Just for testing.
|
SUITE |
suite(boolean adt)
The worker of test; to produce a single suite.
|
java.util.List<SUITE> |
suites(boolean adt,
java.lang.String dir)
Generate test suites for the CUT, and saving the resulting suites.
|
dropBrokenSequences, dropNonViolatingSequences, reportCoverage
flushReportStream, getT3logger, injectOracles, load, load, replay
protected java.util.function.Function<Pool,Generator<PARAM,STEP>> valueMetaGenerator
public T3SuiteG T3defaultSuiteGenerator
public SUITE suite(boolean adt)
public java.util.List<SUITE> suites(boolean adt, java.lang.String dir) throws java.lang.Exception
java.lang.Exception
public static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception