Module IInvariantTest

Module containing a contract’s types and functions.

interface IInvariantTest {
    struct FuzzSelector { address addr; bytes4[] selectors; }
    struct FuzzArtifactSelector { string artifact; bytes4[] selectors; }
    struct FuzzInterface { address addr; string[] artifacts; }
    function afterInvariant() external;
    function excludeArtifacts() public view returns (string[] memory excludedArtifacts);
    function excludeContracts() public view returns (address[] memory excludedContracts);
    function excludeSelectors() public view returns (FuzzSelector[] memory excludedSelectors);
    function excludeSenders() public view returns (address[] memory excludedSenders);
    function targetArtifacts() public view returns (string[] memory targetedArtifacts);
    function targetArtifactSelectors() public view returns (FuzzArtifactSelector[] memory targetedArtifactSelectors);
    function targetContracts() public view returns (address[] memory targetedContracts);
    function targetSelectors() public view returns (FuzzSelector[] memory targetedSelectors);
    function targetSenders() public view returns (address[] memory targetedSenders);
    function targetInterfaces() public view returns (FuzzInterface[] memory targetedInterfaces);
}

Structs

• FuzzArtifactSelector
• FuzzInterface
• FuzzSelector
• afterInvariantCall
  Function with signature afterInvariant() and selector 0x93969ddf.
• afterInvariantReturn
  Container type for the return parameters of the afterInvariant() function.
• excludeArtifactsCall
  Function with signature excludeArtifacts() and selector 0xb5508aa9.
• excludeArtifactsReturn
  Container type for the return parameters of the excludeArtifacts() function.
• excludeContractsCall
  Function with signature excludeContracts() and selector 0xe20c9f71.
• excludeContractsReturn
  Container type for the return parameters of the excludeContracts() function.
• excludeSelectorsCall
  Function with signature excludeSelectors() and selector 0xb0464fdc.
• excludeSelectorsReturn
  Container type for the return parameters of the excludeSelectors() function.
• excludeSendersCall
  Function with signature excludeSenders() and selector 0x1ed7831c.
• excludeSendersReturn
  Container type for the return parameters of the excludeSenders() function.
• targetArtifactSelectorsCall
  Function with signature targetArtifactSelectors() and selector 0x66d9a9a0.
• targetArtifactSelectorsReturn
  Container type for the return parameters of the targetArtifactSelectors() function.
• targetArtifactsCall
  Function with signature targetArtifacts() and selector 0x85226c81.
• targetArtifactsReturn
  Container type for the return parameters of the targetArtifacts() function.
• targetContractsCall
  Function with signature targetContracts() and selector 0x3f7286f4.
• targetContractsReturn
  Container type for the return parameters of the targetContracts() function.
• targetInterfacesCall
  Function with signature targetInterfaces() and selector 0x2ade3880.
• targetInterfacesReturn
  Container type for the return parameters of the targetInterfaces() function.
• targetSelectorsCall
  Function with signature targetSelectors() and selector 0x916a17c6.
• targetSelectorsReturn
  Container type for the return parameters of the targetSelectors() function.
• targetSendersCall
  Function with signature targetSenders() and selector 0x3e5e3c23.
• targetSendersReturn
  Container type for the return parameters of the targetSenders() function.

Enums

• IInvariantTestCalls
  Container for all the IInvariantTest function calls.