Trait BugFinder 

pub trait BugFinder<Info, Error>
where
    Info: BugInfo,
    Error: Error,
{
    // Required method
    fn search_for_bugs(
        &self,
        program: &Program,
    ) -> Result<Option<Bug<Info>>, Error>;
}

Required Methods

fn search_for_bugs(&self, program: &Program) -> Result<Option<Bug<Info>>, Error>

Implementors

impl BugFinder<RarityBugInfo, RaritySimulationError> for RaritySimulation

impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S>

where E: ExplorationStrategy, S: Solver,