Trait libafl::state::HasSolutions

pub trait HasSolutions<I: Input> {
    type Solutions: Corpus<I>;
    fn solutions(&self) -> &Self::Solutions;
    fn solutions_mut(&mut self) -> &mut Self::Solutions;
}

Trait for elements offering a corpus of solutions

Associated Types

type Solutions: Corpus<I>

The associated type implementing Corpus for solutions

Required methods

fn solutions(&self) -> &Self::Solutions

The solutions corpus

fn solutions_mut(&mut self) -> &mut Self::Solutions

The solutions corpus (mut)

Implementors

impl<C, FT, I, R, SC> HasSolutions<I> for StdState<C, FT, I, R, SC> where
    C: Corpus<I>,
    I: Input,
    R: Rand,
    FT: FeedbackStatesTuple,
    SC: Corpus<I>, 

type Solutions = SC