Return a concise human-readable verification summary for this session.
(&self)
| 1102 | |
| 1103 | /// Return a concise human-readable verification summary for this session. |
| 1104 | pub fn verification_summary_text(&self) -> String { |
| 1105 | VerificationRuntime::from_session(self).summary_text() |
| 1106 | } |
| 1107 | |
| 1108 | /// Add externally produced verification reports to this session's completion evidence. |
| 1109 | pub fn record_verification_reports( |
nothing calls this directly
no test coverage detected