java.util.Collection<SMTSolver> |
AbstractTestGenerator.filterSolverResultsAndShowSolverStatistics(java.util.Collection<SMTSolver> problemSolvers,
TestGenerationLog log) |
protected void |
AbstractTestGenerator.generateFiles(java.util.Collection<SMTSolver> problemSolvers,
TestGenerationLog log,
Proof originalProof) |
void |
AbstractTestGenerator.generateTestCases(StopRequest stopRequest,
TestGenerationLog log) |
protected void |
AbstractTestGenerator.handleLauncherStarted(java.util.Collection<SMTProblem> problems,
java.util.Collection<SolverType> solverTypes,
SolverLauncher launcher,
TestGenerationLog log) |
protected void |
AbstractTestGenerator.handleLauncherStopped(SolverLauncher launcher,
java.util.Collection<SMTSolver> problemSolvers,
TestGenerationLog log) |
protected void |
AbstractTestGenerator.informAboutNoTestResults(SolverLauncher launcher,
java.util.Collection<SMTSolver> problemSolvers,
TestGenerationLog log,
Proof originalProof)
This method is used in the Eclipse world to show a dialog with the log.
|