Skip to main content

newly_broken_invariants

foundry_evm::executors::showmap

Function newly_broken_invariants 

Source 
fn newly_broken_invariants<FEN: FoundryEvmNetwork>(
    executor: &Executor<FEN>,
    invariant_address: Address,
    invariant_fns: &[(&Function, bool)],
    observed: &BTreeSet<ReplayFailure>,
) -> Result<Vec<ReplayFailure>>