Struct fuzzcheck::sensors_and_pools::MaximiseCounterValuePool

pub struct MaximiseCounterValuePool { /* fields omitted */ }

A pool that tries to find test cases maximizing the value of each counter of a sensor.

It is compatible with the following sensors:

• CodeCoverageSensor
• ArrayOfCounters
• any other sensor whose observation handler is a &'a mut dyn FnMut((usize, u64))

Implementations

impl MaximiseCounterValuePool

pub fn new(name: &str, size: usize) -> Self

Trait Implementations

impl CompatibleWithIteratorSensor for MaximiseCounterValuePool

type Observation = (usize, u64)

type ObservationState = Vec<(usize, u64)>

fn start_observing(&mut self) -> Self::ObservationState

fn observe(
    &mut self,
    (index, counter): &Self::Observation,
    input_complexity: f64,
    state: &mut Self::ObservationState
)

fn finish_observing(
    &mut self,
    _state: &mut Self::ObservationState,
    _input_complexity: f64
)

fn is_interesting(
    &self,
    observation_state: &Self::ObservationState,
    _input_complexity: f64
) -> bool

fn add(
    &mut self,
    input_idx: PoolStorageIndex,
    complexity: f64,
    observation_state: Self::ObservationState
) -> Vec<CorpusDelta>

impl Debug for MaximiseCounterValuePool

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

Formats the value using the given formatter.

impl Pool for MaximiseCounterValuePool

type Stats = MaximiseCounterValuePoolStats

Statistics about the pool to be printed to the terminal as the fuzzer is running and saved to a .csv file after the run

fn stats(&self) -> Self::Stats

The pool’s statistics

fn len(&self) -> usize

The number of test cases in the pool

fn get_random_index(&mut self) -> Option<PoolStorageIndex>

Get the index of a random test case.

fn mark_test_case_as_dead_end(&mut self, idx: PoolStorageIndex)

Mark a certain test case as a dead end.