Struct Task

Source

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

Expand description

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.

Task

Struct Task Copy item path

Implementations§

impl<'ir, 'task, B> Task<'ir, 'task, B>

pub fn set_stop_functions(&mut self, new_fns: &'task HashSet<Name>)

Auto Trait Implementations§

impl<'ir, 'task, B> Freeze for Task<'ir, 'task, B>

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

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

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

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

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

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

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

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct Task

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

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

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

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,