rapx::analysis::rcanary::ranalyzer

Function is_z3_goal_verbose

source 
pub fn is_z3_goal_verbose() -> bool