Skip to main content

forget_path_predicates

forge_lint::sol::high::reentrancy

Function forget_path_predicates 

Source 
fn forget_path_predicates(state: &mut FlowState, var_id: VariableId)
Expand description

Drops every path fact that mentions the (re)assigned local var_id.