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.