pub fn analyze_function(file: &File, fn_name: &str) -> ConstraintSystemExpand description
Analyze a single function by name, treating parameters as symbolic inputs.
pub fn analyze_function(file: &File, fn_name: &str) -> ConstraintSystemAnalyze a single function by name, treating parameters as symbolic inputs.