Trait fuzzcheck::CompatibleWithSensor

pub trait CompatibleWithSensor<S: Sensor>: Pool {
    fn process(
        &mut self, 
        input_id: PoolStorageIndex, 
        sensor: &mut S, 
        complexity: f64
    ) -> Vec<CorpusDelta>;
}

A subtrait of Pool describing how the pool handles observations made by a sensor.

This trait is separate from Pool because a single pool type may handle multiple different kinds of sensors.

It is responsible for judging whether the observations are interesting, and then adding the test case to the pool if they are. It communicates to the rest of the fuzzer what test cases were added or removed from the pool via the CorpusDelta type. This ensures that the right message can be printed to the terminal and that the corpus on the file system, which reflects the content of the pool, can be properly updated.

Required methods

fn process(
    &mut self,
    input_id: PoolStorageIndex,
    sensor: &mut S,
    complexity: f64
) -> Vec<CorpusDelta>

Implementors

impl CompatibleWithSensor<TestFailureSensor> for TestFailurePool

impl<S1, S2, P1, P2> CompatibleWithSensor<AndSensor<S1, S2>> for AndPool<P1, P2> where
    S1: Sensor,
    S2: Sensor,
    P1: Pool,
    P2: Pool,
    P1: CompatibleWithSensor<S1>,
    P2: CompatibleWithSensor<S2>, 

impl<S, P> CompatibleWithSensor<S> for P where
    S: for<'a> Sensor<ObservationHandler = &'a mut dyn FnMut(P::Observation)>,
    P: CompatibleWithIteratorSensor, 

impl<S: Sensor> CompatibleWithSensor<S> for UnitPool