/// <summary>
/// Gathers the exploration strategy statistics from the specified runtimne.
/// </summary>
private void GatherTestingStatistics(CoyoteRuntime runtime)
{
TestReport report = new TestReport(this.Configuration);
runtime.PopulateTestReport(report);
var coverageInfo = runtime.DefaultActorExecutionContext.BuildCoverageInfo();
report.CoverageInfo.Merge(coverageInfo);
this.TestReport.Merge(report);
// Save the DGML graph of the execution path explored in the last iteration.
this.LastExecutionGraph = runtime.DefaultActorExecutionContext.GetExecutionGraph();
}
/// <summary>
/// Gathers the exploration strategy statistics from the specified runtimne.
/// </summary>
private void GatherTestingStatistics(CoyoteRuntime runtime)
{
TestReport report = new TestReport(this.Configuration);
runtime.PopulateTestReport(report);
if (this.Configuration.ReportActivityCoverage)
{
report.CoverageInfo.CoverageGraph = this.Graph;
}
var coverageInfo = runtime.DefaultActorExecutionContext.BuildCoverageInfo();
report.CoverageInfo.Merge(coverageInfo);
this.TestReport.Merge(report);
// Also save the graph snapshot of the last iteration, if there is one.
this.Graph = coverageInfo.CoverageGraph;
}