Struct puffin::fuzzer::mutations::ReplaceReuseMutator
source · pub struct ReplaceReuseMutator<S>where
S: HasRand,{
constraints: TermConstraints,
phantom_s: PhantomData<S>,
}
Expand description
REPLACE-REUSE: Replaces a sub-term with a different sub-term which is part of the trace (such that types match). The new sub-term could come from another step which has a different recipe term.
Fields§
§constraints: TermConstraints
§phantom_s: PhantomData<S>
Implementations§
source§impl<S> ReplaceReuseMutator<S>where
S: HasRand,
impl<S> ReplaceReuseMutator<S>where
S: HasRand,
pub fn new(constraints: TermConstraints) -> Self
Trait Implementations§
source§impl<S, PT: ProtocolTypes> Mutator<Trace<PT>, S> for ReplaceReuseMutator<S>where
S: HasRand,
impl<S, PT: ProtocolTypes> Mutator<Trace<PT>, S> for ReplaceReuseMutator<S>where
S: HasRand,
Auto Trait Implementations§
impl<S> Freeze for ReplaceReuseMutator<S>
impl<S> RefUnwindSafe for ReplaceReuseMutator<S>where
S: RefUnwindSafe,
impl<S> Send for ReplaceReuseMutator<S>where
S: Send,
impl<S> Sync for ReplaceReuseMutator<S>where
S: Sync,
impl<S> Unpin for ReplaceReuseMutator<S>where
S: Unpin,
impl<S> UnwindSafe for ReplaceReuseMutator<S>where
S: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<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.