Skip to main content

terminator_is_path_condition

rapx::verify::slicer::visitor

Function terminator_is_path_condition 

Source 
fn terminator_is_path_condition(terminator: &Terminator<'_>) -> bool