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.
pub fn pretty_verifier_error<'a>(
func: &Function,
func_w: Option<Box<dyn FuncWriter + 'a>>,
errors: VerifierErrors,
) -> String
Pretty-print a verifier error.