StdInvariant

State Variables

address[] private _excludedContracts;

address[] private _excludedSenders;

address[] private _targetedContracts;

address[] private _targetedSenders;

string[] private _excludedArtifacts;

string[] private _targetedArtifacts;

FuzzArtifactSelector[] private _targetedArtifactSelectors;

FuzzSelector[] private _excludedSelectors;

FuzzSelector[] private _targetedSelectors;

FuzzInterface[] private _targetedInterfaces;

function excludeContract(address newExcludedContract_) internal;

function excludeSelector(FuzzSelector memory newExcludedSelector_) internal;

function excludeSender(address newExcludedSender_) internal;

function excludeArtifact(string memory newExcludedArtifact_) internal;

function targetArtifact(string memory newTargetedArtifact_) internal;

function targetArtifactSelector(FuzzArtifactSelector memory newTargetedArtifactSelector_) internal;

function targetContract(address newTargetedContract_) internal;

function targetSelector(FuzzSelector memory newTargetedSelector_) internal;

function targetSender(address newTargetedSender_) internal;

function targetInterface(FuzzInterface memory newTargetedInterface_) internal;

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_);

struct FuzzSelector {
    address addr;
    bytes4[] selectors;
}

struct FuzzArtifactSelector {
    string artifact;
    bytes4[] selectors;
}

struct FuzzInterface {
    address addr;
    string[] artifacts;
}