Skip to main content

block_reaches_component

rapx::verify::loop_sensitivity

Function block_reaches_component 

Source 
fn block_reaches_component(
    graph: &PathGraph<'_>,
    start: usize,
    component: &LoopComponent,
) -> bool
Expand description

Return whether start can reach any block in component.