Module fuzzcheck::sensors_and_pools[][src]

Expand description

Types implementing the Sensor and Pool traits.

Modules

Each pool has an associated Stats type. They’re not very interesting, but I don’t want to completely hide them, so I have gathered them here.

Structs

A pool that combines two pools

A sensor that combines two sensors

Combines two SensorAndPool trait objects into one.

A custom sensor consisting of an array of counters that can be manually set.

A sensor that automatically records the code coverage of the program through an array of counters.

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

A sensor that combines two sensors of the same kind into one.

A pool that tries to find N test cases which, combined, activate the most counters of a sensor

A sensor that does nothing.

A strategy for OptimiseAggregateStatPool that maximises the number of counters that are != 0

A pool that finds a single test case maximising some statistics computed from all of the sensor’s counters.

A pool that tries to find a minimal test case activating each sensor counter.

A strategy for OptimiseAggregateStatPool that maximises the total sum of all counters

A type describing a test failure.

A pool that saves failing test cases.

A sensor that records test failures.

A pool that stores an input for each different value of each sensor counter

A pool that stores only one given test case.

Traits

A trait for pools that helps to implement CompatibleWithSensor for sensors whose observation handler is a closure of type &'a mut dyn FnMut(P::Observation)>.