rapx::analysis::rcanary::ranalyzer

Function is_z3_goal_verbose

Source 
pub fn is_z3_goal_verbose() -> bool