Skip to main content

failure_reason

forge::cmd::properties

Function failure_reason 

Source 
fn failure_reason(
    reason: &str,
    counterexample: Option<&CounterExample>,
) -> String
Expand description

Appends the counterexample calls to a failure reason.