Struct FuzzerConfig 

pub struct FuzzerConfig {
    pub node_count: usize,
    pub state_count: usize,
    pub event_count: usize,
    pub concurrent_prob: f64,
    pub reorder_prob: f64,
    pub partition_prob: f64,
    pub seed: u64,
}

Fuzzer configuration

Fields

node_count: usize

Number of nodes

state_count: usize

Number of state atoms

event_count: usize

Number of events to generate

concurrent_prob: f64

Probability of concurrent mutation (0.0 - 1.0)

reorder_prob: f64

Probability of out-of-order delivery

partition_prob: f64

Probability of partition

seed: u64

Random seed

Implementations

impl FuzzerConfig

pub fn light() -> Self

Light fuzzing for quick tests

pub fn heavy() -> Self

Heavy fuzzing for thorough testing

pub fn adversarial() -> Self

Adversarial scenario

Trait Implementations

impl Clone for FuzzerConfig

fn clone(&self) -> FuzzerConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FuzzerConfig

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

Formats the value using the given formatter.

impl Default for FuzzerConfig

fn default() -> Self

Returns the “default value” for a type.