Report a fatal error and return `Err`.
(&mut self, error: impl Into<VerifierError>)
| 214 | |
| 215 | /// Report a fatal error and return `Err`. |
| 216 | pub fn fatal(&mut self, error: impl Into<VerifierError>) -> VerifierStepResult { |
| 217 | self.report(error); |
| 218 | Err(()) |
| 219 | } |
| 220 | |
| 221 | /// Report a non-fatal error and return `Ok`. |
| 222 | pub fn nonfatal(&mut self, error: impl Into<VerifierError>) -> VerifierStepResult { |
no test coverage detected