pub fn pretty_verifier_error<'a>(
func: &Function,
func_w: Option<Box<dyn FuncWriter + 'a>>,
errors: VerifierErrors,
) -> StringExpand description
Pretty-print a verifier error.
pub fn pretty_verifier_error<'a>(
func: &Function,
func_w: Option<Box<dyn FuncWriter + 'a>>,
errors: VerifierErrors,
) -> StringPretty-print a verifier error.