StdInvariant
State Variables
_excludedContracts
address[] private _excludedContracts;
_excludedSenders
address[] private _excludedSenders;
_targetedContracts
address[] private _targetedContracts;
_targetedSenders
address[] private _targetedSenders;
_excludedArtifacts
string[] private _excludedArtifacts;
_targetedArtifacts
string[] private _targetedArtifacts;
_targetedArtifactSelectors
FuzzArtifactSelector[] private _targetedArtifactSelectors;
_excludedSelectors
FuzzSelector[] private _excludedSelectors;
_targetedSelectors
FuzzSelector[] private _targetedSelectors;
_targetedInterfaces
FuzzInterface[] private _targetedInterfaces;
Functions
excludeContract
function excludeContract(address newExcludedContract_) internal;
excludeSelector
function excludeSelector(FuzzSelector memory newExcludedSelector_) internal;
excludeSender
function excludeSender(address newExcludedSender_) internal;
excludeArtifact
function excludeArtifact(string memory newExcludedArtifact_) internal;
targetArtifact
function targetArtifact(string memory newTargetedArtifact_) internal;
targetArtifactSelector
function targetArtifactSelector(FuzzArtifactSelector memory newTargetedArtifactSelector_) internal;
targetContract
function targetContract(address newTargetedContract_) internal;
targetSelector
function targetSelector(FuzzSelector memory newTargetedSelector_) internal;
targetSender
function targetSender(address newTargetedSender_) internal;
targetInterface
function targetInterface(FuzzInterface memory newTargetedInterface_) internal;
excludeArtifacts
function excludeArtifacts() public view returns (string[] memory excludedArtifacts_);
excludeContracts
function excludeContracts() public view returns (address[] memory excludedContracts_);
excludeSelectors
function excludeSelectors() public view returns (FuzzSelector[] memory excludedSelectors_);
excludeSenders
function excludeSenders() public view returns (address[] memory excludedSenders_);
targetArtifacts
function targetArtifacts() public view returns (string[] memory targetedArtifacts_);
targetArtifactSelectors
function targetArtifactSelectors() public view returns (FuzzArtifactSelector[] memory targetedArtifactSelectors_);
targetContracts
function targetContracts() public view returns (address[] memory targetedContracts_);
targetSelectors
function targetSelectors() public view returns (FuzzSelector[] memory targetedSelectors_);
targetSenders
function targetSenders() public view returns (address[] memory targetedSenders_);
targetInterfaces
function targetInterfaces() public view returns (FuzzInterface[] memory targetedInterfaces_);
Structs
FuzzSelector
struct FuzzSelector {
address addr;
bytes4[] selectors;
}
FuzzArtifactSelector
struct FuzzArtifactSelector {
string artifact;
bytes4[] selectors;
}
FuzzInterface
struct FuzzInterface {
address addr;
string[] artifacts;
}