pub struct ConcolicMetadata { /* private fields */ }
Expand description
A metadata holding a buffer of a concolic trace.
Implementations
sourceimpl ConcolicMetadata
impl ConcolicMetadata
sourcepub fn iter_messages(&self) -> impl Iterator<Item = (SymExprRef, SymExpr)> + '_
pub fn iter_messages(&self) -> impl Iterator<Item = (SymExprRef, SymExpr)> + '_
Iterates over all messages in the buffer. Does not consume the buffer.
Trait Implementations
sourceimpl Debug for ConcolicMetadata
impl Debug for ConcolicMetadata
sourceimpl Default for ConcolicMetadata
impl Default for ConcolicMetadata
sourcefn default() -> ConcolicMetadata
fn default() -> ConcolicMetadata
Returns the “default value” for a type. Read more
sourceimpl<'de> Deserialize<'de> for ConcolicMetadata
impl<'de> Deserialize<'de> for ConcolicMetadata
sourcefn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
sourceimpl SerdeAny for ConcolicMetadata
impl SerdeAny for ConcolicMetadata
sourcefn as_any_mut(&mut self) -> &mut dyn Any
fn as_any_mut(&mut self) -> &mut dyn Any
returns this as mutable Any trait
sourcefn as_any_boxed(self: Box<ConcolicMetadata>) -> Box<dyn Any>
fn as_any_boxed(self: Box<ConcolicMetadata>) -> Box<dyn Any>
returns this as boxed Any trait
sourceimpl Serialize for ConcolicMetadata
impl Serialize for ConcolicMetadata
Auto Trait Implementations
impl RefUnwindSafe for ConcolicMetadata
impl Send for ConcolicMetadata
impl Sync for ConcolicMetadata
impl Unpin for ConcolicMetadata
impl UnwindSafe for ConcolicMetadata
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Tail, T> Prepend<T> for Tail
impl<Tail, T> Prepend<T> for Tail
type PreprendResult = Tail
type PreprendResult = Tail
The Resulting TupleList
, of an Prepend::prepend()
call,
including the prepended entry. Read more
sourcefn prepend(self, value: T) -> (T, <Tail as Prepend<T>>::PreprendResult)
fn prepend(self, value: T) -> (T, <Tail as Prepend<T>>::PreprendResult)
Prepend a value to this tuple, returning a new tuple with prepended value.