89 throw new ArgumentOutOfRangeException(
92 "The maximum number of detailed issues cannot be negative.");
Configures human-readable checker reports.
bool SortIssuesBySeverity
Gets or sets whether detailed issues are sorted by decreasing severity before formatting.
bool IncludeWarningIssues
Gets or sets whether warning diagnostics are included.
int MaximumDetailedIssues
Gets or sets the maximum number of detailed issues written per candidate. Zero means no limit.
bool IncludeInformationIssues
Gets or sets whether informational diagnostics are included.
bool IncludeErrorIssues
Gets or sets whether error diagnostics are included.
bool IncludeObjectiveMetrics
Gets or sets whether objective-comparison metrics are included.
bool IncludeFeasibilityMetrics
Gets or sets whether mathematical feasibility metrics are included.
void EnsureValid()
Validates the report options.
bool IncludeStageDetails
Gets or sets whether stage status details are included.