Trait libafl::state::HasSolutions

source · 
pub trait HasSolutions: UsesInput {
    type Solutions: Corpus<Input = <Self as UsesInput>::Input>;

    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<Input = <Self as UsesInput>::Input>

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<I, C, R, SC> HasSolutions for StdState<I, C, R, SC>where
    I: Input,
    SC: Corpus<Input = <Self as UsesInput>::Input>,

§

type Solutions = SC