Struct monster::engine::symbolic_execution::SymbolicExecutionBugInfo [−][src]
Fields
witness: Option<Witness>
pc: u64
Trait Implementations
impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S> where
E: ExplorationStrategy,
S: Solver,
[src]
impl<'a, E, S> BugFinder<SymbolicExecutionBugInfo, SymbolicExecutionError> for SymbolicExecutionEngine<'a, E, S> where
E: ExplorationStrategy,
S: Solver,
[src]fn search_for_bugs(
&self,
program: &Program
) -> Result<Option<GenericBug<SymbolicExecutionBugInfo>>, SymbolicExecutionError>
[src]Auto Trait Implementations
impl RefUnwindSafe for SymbolicExecutionBugInfo
impl Send for SymbolicExecutionBugInfo
impl Sync for SymbolicExecutionBugInfo
impl Unpin for SymbolicExecutionBugInfo
impl UnwindSafe for SymbolicExecutionBugInfo
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V