public class ParallelSUITE extends SUITE
Constructor and Description |
---|
ParallelSUITE(java.lang.String CUTname) |
ParallelSUITE(SUITE S)
To convert a suite to a parallel suite.
|
Modifier and Type | Method and Description |
---|---|
SUITE |
covertToSUITE()
To convert a parallel suite to a plain suite.
|
void |
injectOracles(java.lang.Class CUT,
boolean isSingleCore)
Enhance the non-failing sequences in the suite with injected oracles.
|
void |
parallelExec(boolean rethrowViolation,
java.io.OutputStream out)
Parallel version of exec.
|
exec, injectOracles, load, loadMany, main, save, showSuiteStatistics, split, union
public ParallelSUITE(java.lang.String CUTname)
public ParallelSUITE(SUITE S)
public SUITE covertToSUITE()
public void parallelExec(boolean rethrowViolation, java.io.OutputStream out) throws java.lang.Exception
java.lang.Exception
public void injectOracles(java.lang.Class CUT, boolean isSingleCore)
injectOracles
in class SUITE