(&self)
| 42 | } |
| 43 | |
| 44 | pub(super) fn summary_text(&self) -> String { |
| 45 | format_verification_summary(&self.summary()) |
| 46 | } |
| 47 | |
| 48 | pub(super) fn record(&self, reports: impl IntoIterator<Item = VerificationReport>) { |
| 49 | write_or_recover(&self.reports).extend(reports); |
no test coverage detected