Report an error, adding it to the list of errors.
(&mut self, error: impl Into<VerifierError>)
| 209 | |
| 210 | /// Report an error, adding it to the list of errors. |
| 211 | pub fn report(&mut self, error: impl Into<VerifierError>) { |
| 212 | self.0.push(error.into()); |
| 213 | } |
| 214 | |
| 215 | /// Report a fatal error and return `Err`. |
| 216 | pub fn fatal(&mut self, error: impl Into<VerifierError>) -> VerifierStepResult { |
no test coverage detected