27 VerificationOptions.CheckOptions =
31 new DirectoryVerificationCampaignOptions
39 new SolutionVerificationBatchOptions
52 campaignOptions.KnownResultPredicate =
56 string.IsNullOrWhiteSpace(requiredId) ||
60 StringComparison.OrdinalIgnoreCase);
63 string.IsNullOrWhiteSpace(requiredNameFragment) ||
64 (result.Name ??
string.Empty).Contains(
66 StringComparison.OrdinalIgnoreCase);
68 return idMatches && nameMatches;
72 campaignOptions.EnsureValid();
73 return campaignOptions;
76 private static SolutionCheckOptions CloneCheckOptions(
77 SolutionCheckOptions source)
79 return new SolutionCheckOptions
82 FeasibilityTolerance = source.FeasibilityTolerance,
83 ZeroTolerance = source.ZeroTolerance,
84 IntegralityTolerance = source.IntegralityTolerance,
85 ObjectiveAbsoluteTolerance = source.ObjectiveAbsoluteTolerance,
86 ObjectiveRelativeTolerance = source.ObjectiveRelativeTolerance,
87 ReportedObjectiveValueOverride = source.ReportedObjectiveValueOverride,
88 IgnoreDisabledConstraints = source.IgnoreDisabledConstraints,
89 ContinueAfterStructuralErrors = source.ContinueAfterStructuralErrors
93 private static SolutionVerificationOptions CloneVerificationOptions(
94 SolutionVerificationOptions source)
96 return new SolutionVerificationOptions
99 ApplyToSolutionEvaluation = source.ApplyToSolutionEvaluation,
100 UpdateKnownResultFeasibility = source.UpdateKnownResultFeasibility,
101 PromoteFullyVerifiedKnownResult = source.PromoteFullyVerifiedKnownResult,
102 EvaluatorName = source.EvaluatorName,
103 EvaluatorVersion = source.EvaluatorVersion
107 private static SolutionCheckReportOptions CloneReportOptions(
108 SolutionCheckReportOptions source)
110 return new SolutionCheckReportOptions
112 IncludeStageDetails = source.IncludeStageDetails,
113 IncludeFeasibilityMetrics = source.IncludeFeasibilityMetrics,
114 IncludeObjectiveMetrics = source.IncludeObjectiveMetrics,
115 IncludeInformationIssues = source.IncludeInformationIssues,
116 IncludeWarningIssues = source.IncludeWarningIssues,
117 IncludeErrorIssues = source.IncludeErrorIssues,
118 MaximumDetailedIssues = source.MaximumDetailedIssues,
119 SortIssuesBySeverity = source.SortIssuesBySeverity