Struct libafl::observers::concolic::ConcolicMetadata [−][src]
pub struct ConcolicMetadata { /* fields omitted */ }
Expand description
A metadata holding a buffer of a concolic trace.
Implementations
Iterates over all messages in the buffer. Does not consume the buffer.
Trait Implementations
Returns the “default value” for a type. Read more
fn 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
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
Mutably borrows from an owned value. Read more
type PreprendResult = Tail
type PreprendResult = Tail
The Resulting TupleList
, of an Prepend::prepend()
call,
including the prepended entry. Read more
type Output = T
type Output = T
Should always be Self