Skip to main content

forget_path_predicates

forge_lint::sol::high::reentrancy

Function forget_path_predicates 

Source 
fn forget_path_predicates(
    state: &mut FlowState,
    vars: impl IntoIterator<Item = VariableId>,
)