failed

rapx::verify::smt_check::alive

Function failed 

Source 
fn failed(note: impl Into<String>) -> SmtCheckResult
Expand description

Builds a failed SMT check result with a single diagnostic note.