Skip to main content

collect_external_edges

Function collect_external_edges 

Source
pub fn collect_external_edges(
    store: &Store,
) -> Result<Vec<ExternalCallEdge>, String>
Expand description

Collect every EXTRACTED calls edge currently in the store, with the evidence-derived callee/line needed for conflict records.