Settings
Help

Module filters

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.