Structs§
- Artifact
Filters - Contains which contracts are to be targeted or excluded on an invariant test through their artifact identifiers.
- Sender
Filters - Filter for acceptable senders to use for invariant testing. Exclusion takes priority if clashing.