pub fn format_verifier_output(
label: &str,
result: &VerifierVmResult,
raw: bool,
) -> StringExpand description
Format verifier results as text: brief lines per program and collapsed logs.
pub fn format_verifier_output(
label: &str,
result: &VerifierVmResult,
raw: bool,
) -> StringFormat verifier results as text: brief lines per program and collapsed logs.