Struct foundry_config::InvariantConfig

pub struct InvariantConfig {
    pub runs: u32,
    pub depth: u32,
    pub fail_on_revert: bool,
    pub call_override: bool,
    pub dictionary: FuzzDictionaryConfig,
    pub shrink_sequence: bool,
}

Contains for invariant testing

Fields

runs: u32

The number of runs that must execute for each invariant test group.

depth: u32

The number of calls executed to attempt to break invariants in one run.

fail_on_revert: bool

Fails the invariant fuzzing if a revert occurs

call_override: bool

Allows overriding an unsafe external call when running invariant tests. eg. reentrancy checks

dictionary: FuzzDictionaryConfig

The fuzz dictionary configuration

shrink_sequence: bool

Attempt to shrink the failure case to its smallest sequence of calls

Trait Implementations

impl Clone for InvariantConfig

fn clone(&self) -> InvariantConfig

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InvariantConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InvariantConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for InvariantConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl InlineConfigParser for InvariantConfig

fn config_key() -> String

Returns a config key that is common to all valid configuration lines for the current impl. This helps to extract correct values out of a text.

fn try_merge( &self, configs: &[String] ) -> Result<Option<Self>, InlineConfigParserError>

Tries to override self properties with values specified in the configs parameter.

fn validate_configs(natspec: &NatSpec) -> Result<(), InlineConfigError>

Validates all configurations contained in a natspec that apply to the current configuration key.

fn get_config_overrides(config_lines: &[String]) -> Vec<(String, String)>

Given a list of `config_lines, returns all available pairs (key, value) matching the current config key

impl PartialEq<InvariantConfig> for InvariantConfig

fn eq(&self, other: &InvariantConfig) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for InvariantConfig

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for InvariantConfig

impl Eq for InvariantConfig

impl StructuralEq for InvariantConfig

impl StructuralPartialEq for InvariantConfig