[−][src]Struct isla_lib::executor::Task

pub struct Task<'ir, B> { /* fields omitted */ }

A Task is a suspended point in the symbolic execution of a program. It consists of a frame, which is a snapshot of the program variables, a checkpoint which allows us to reconstruct the SMT solver state, and finally an option SMTLIB definiton which is added to the solver state when the task is resumed.

Auto Trait Implementations

impl<'ir, B> !RefUnwindSafe for Task<'ir, B>

impl<'ir, B> Send for Task<'ir, B> where
    B: Send + Sync, 

impl<'ir, B> Sync for Task<'ir, B> where
    B: Send + Sync, 

impl<'ir, B> Unpin for Task<'ir, B>

impl<'ir, B> !UnwindSafe for Task<'ir, B>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.