Trait monster::engine::BugFinder

pub trait BugFinder<Info, Error> where
    Info: BugInfo,
    Error: Error, {
    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

fn search_for_bugs(
    &self,
    program: &Program
) -> Result<Option<RaritySimulationBug>, RaritySimulationError>

Performs rarity simulation on a given program

If one state encountered a bug, execution is terminated and its description is returned. If no bugs have been encountered after the configured limit has been met, None is returned.

Please see the module-level documentation for a detailed description of rarity simulation.

impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S> where
    E: ExplorationStrategy,
    S: Solver, 

fn search_for_bugs(
    &self,
    program: &Program
) -> Result<Option<GenericBug<SymbolicExecutionBugInfo>>, SymbolicExecutionError>