Module filters

Source

Structs§

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.