TestReport class

Class implementing the Coyote test report.

public class TestReport

Public Members

name description
TestReport(…) Initializes a new instance of the TestReport class.
BugReports { get; } Set of unique bug reports.
Configuration { get; } Configuration of the program-under-test.
CoverageInfo { get; } Information regarding code coverage.
InternalErrors { get; } Set of internal errors. If no internal errors occurred, then this set is empty.
MaxExploredFairSteps { get; } The max explored scheduling steps in average, in fair tests.
MaxFairStepsHitInFairTests { get; } Number of times the fair max steps bound was hit, in fair tests.
MaxUnfairStepsHitInFairTests { get; } Number of times the unfair max steps bound was hit, in fair tests.
MaxUnfairStepsHitInUnfairTests { get; } Number of times the unfair max steps bound was hit, in unfair tests.
MinExploredFairSteps { get; } The min explored scheduling steps in average, in fair tests.
NumOfExploredFairSchedules { get; } Number of explored fair schedules.
NumOfExploredUnfairSchedules { get; } Number of explored unfair schedules.
NumOfFoundBugs { get; } Number of found bugs.
TotalExploredFairSteps { get; } The total explored scheduling steps (across all testing iterations), in fair tests.
Clone() Clones the test report.
GetText(…) Returns the testing report as a string, given a configuration and an optional prefix.
Merge(…) Merges the information from the specified test report.

See Also