Skip to main content

StdInvariant

Git Source

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;
}