libafl::state

Trait HasSolutions

Source 
pub trait HasSolutions<I> {
    type Solutions: Corpus<I>;

    // Required methods
    fn solutions(&self) -> &Self::Solutions;
    fn solutions_mut(&mut self) -> &mut Self::Solutions;
}
Expand description

Trait for elements offering a corpus of solutions

Required Associated Types§

Source

type Solutions: Corpus<I>

The associated type implementing Corpus for solutions

Required Methods§

Source

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

The solutions corpus

Source

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

The solutions corpus (mutable)

Implementors§

Source§

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

Source§

type Solutions = SC