Trait fuzzcheck::Pool

source · [−]
pub trait Pool: SaveToStatsFolder {
    type Stats: Stats;

    fn stats(&self) -> Self::Stats;
    fn get_random_index(&mut self) -> Option<PoolStorageIndex>;

    fn weight(&self) -> f64 { ... }
}
Expand description

A Pool ranks test cases based on observations recorded by a sensor.

The pool trait is divided into two parts:

  1. Pool contains general methods that are independent of the sensor used
  2. CompatibleWithObservations<O> is a subtrait of Pool. It describes how the pool handles observations made by the Sensor.

Required Associated Types

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

Required Methods

The pool’s statistics

Get the index of a random test case.

Most Pool implementations will want to prioritise certain test cases over others based on their associated observations.

Provided Methods

Gives the relative importance of the pool. It must be a positive number.

The weight of the pool is not used by the fuzzer directly, but can be used by types such as AndPool.

The value is 1.0 by default.

Implementors