Skip to main content

record_candidate_limitation

foundry_evm_symbolic::executor::invariant

Function record_candidate_limitation 

Source 
fn record_candidate_limitation(
    limitation: &mut Option<SymbolicInvariantSearchLimitation>,
    error: SymbolicError,
) -> bool