Skip to main contentModule filters
Source use alloy_json_abi::Function; ๐ use alloy_json_abi::JsonAbi; ๐ use alloy_primitives::Address; ๐ use alloy_primitives::Selector; ๐ use foundry_compilers::ArtifactId; ๐ use foundry_evm_core::utils::get_function; ๐ use std::collections::BTreeMap; ๐
- ArtifactFilters
- Contains which contracts are to be targeted or excluded on an invariant test through their
artifact identifiers.
- SenderFilters
- Filter for acceptable senders to use for invariant testing. Exclusion takes priority if
clashing.