protected override void ReportResultsOnRunFinish(MatlabRunOutput matlabRunOutput)
{
int count = 0;
while (count < worstCaseHeatMapRegions.Count)
{
if (!worstCaseHeatMapRegions[worstCaseHeatMapRegions.ElementAt(count).Key])
{
worstCaseHeatMapRegions[worstCaseHeatMapRegions.ElementAt(count).Key] = true;
RunSingleStateSearchInRegion(worstCaseHeatMapRegions.ElementAt(count).Key);
return;
}
++count;
}
singleStateSearchRunProgressListener.SingleStateSearchFinished(
matlabRunOutput.CheckOutput(),
((SingleStateSearchRunOutput)matlabRunOutput).GetSingleStateSearchResultsFolderPath());
}
protected override void ReportResultsOnRunFinish(MatlabRunOutput matlabRunOutput)
{
singleTestRunProgressListener.TestFinished(matlabRunOutput.CheckOutput());
}
protected override void ReportResultsOnRunFinish(MatlabRunOutput matlabRunOutput)
{
randomExplorationProgressListener.RandomExplorationFinished(
matlabRunOutput.CheckOutput(),
((RandomExplorationRunOutput)matlabRunOutput).GetRandomExplorationResultsFolderPath());
}