pub struct SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>, { /* private fields */ }
Expand description
A mutational stage that uses Z3 to solve concolic constraints attached to the crate::corpus::Testcase
by the ConcolicTracingStage
.
Trait Implementations
sourceimpl<EM: Clone, I: Clone, S: Clone, Z: Clone> Clone for SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,
impl<EM: Clone, I: Clone, S: Clone, Z: Clone> Clone for SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,
sourcefn clone(&self) -> SimpleConcolicMutationalStage<EM, I, S, Z>
fn clone(&self) -> SimpleConcolicMutationalStage<EM, I, S, Z>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl<EM: Debug, I: Debug, S: Debug, Z: Debug> Debug for SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,
impl<EM: Debug, I: Debug, S: Debug, Z: Debug> Debug for SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,
sourceimpl<EM, I, S, Z> Default for SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,
impl<EM, I, S, Z> Default for SimpleConcolicMutationalStage<EM, I, S, Z> where
I: Input,
S: HasClientPerfMonitor + HasExecutions + HasCorpus<I>,
Auto Trait Implementations
impl<EM, I, S, Z> RefUnwindSafe for SimpleConcolicMutationalStage<EM, I, S, Z> where
EM: RefUnwindSafe,
I: RefUnwindSafe,
S: RefUnwindSafe,
Z: RefUnwindSafe,
impl<EM, I, S, Z> Send for SimpleConcolicMutationalStage<EM, I, S, Z> where
EM: Send,
I: Send,
S: Send,
Z: Send,
impl<EM, I, S, Z> Sync for SimpleConcolicMutationalStage<EM, I, S, Z> where
EM: Sync,
I: Sync,
S: Sync,
Z: Sync,
impl<EM, I, S, Z> Unpin for SimpleConcolicMutationalStage<EM, I, S, Z> where
EM: Unpin,
I: Unpin,
S: Unpin,
Z: Unpin,
impl<EM, I, S, Z> UnwindSafe for SimpleConcolicMutationalStage<EM, I, S, Z> where
EM: UnwindSafe,
I: UnwindSafe,
S: UnwindSafe,
Z: UnwindSafe,
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.