SymbolicExecutionResult

monster::engine::symbolic_execution

Type Alias SymbolicExecutionResult 

Source 
pub type SymbolicExecutionResult = Result<Option<SymbolicExecutionBug>, SymbolicExecutionError>;

Aliased Type§

pub enum SymbolicExecutionResult {
    Ok(Option<Bug<SymbolicExecutionBugInfo>>),
    Err(SymbolicExecutionError),
}

Variants§

§1.0.0

Ok(Option<Bug<SymbolicExecutionBugInfo>>)

Contains the success value

§1.0.0

Err(SymbolicExecutionError)

Contains the error value