예제 #1
0
        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());
        }
예제 #2
0
 protected override void ReportResultsOnRunFinish(MatlabRunOutput matlabRunOutput)
 {
     singleTestRunProgressListener.TestFinished(matlabRunOutput.CheckOutput());
 }
예제 #3
0
 protected override void ReportResultsOnRunFinish(MatlabRunOutput matlabRunOutput)
 {
     randomExplorationProgressListener.RandomExplorationFinished(
         matlabRunOutput.CheckOutput(),
         ((RandomExplorationRunOutput)matlabRunOutput).GetRandomExplorationResultsFolderPath());
 }