pub fn pretty_verifier_error<'a>(
    func: &Function,
    func_w: Option<Box<dyn FuncWriter + 'a>>,
    errors: VerifierErrors
) -> String
Expand description

Pretty-print a verifier error.