Module filters 

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.