sanitize_smt_name

rapx::verify::smt_check::common

Function sanitize_smt_name 

Source 
fn sanitize_smt_name(name: &str) -> String
Expand description

Stable SMT identifier for diagnostic-only symbolic terms.