Struct puffin::fuzzer::mutations::SwapMutator
source · pub struct SwapMutator<S>where
S: HasRand,{
constraints: TermConstraints,
phantom_s: PhantomData<S>,
}
Expand description
SWAP: Swaps a sub-term with a different sub-term which is part of the trace (such that types match).
Fields§
§constraints: TermConstraints
§phantom_s: PhantomData<S>
Implementations§
source§impl<S> SwapMutator<S>where
S: HasRand,
impl<S> SwapMutator<S>where
S: HasRand,
pub fn new(constraints: TermConstraints) -> Self
Trait Implementations§
source§impl<S, M: Matcher> Mutator<Trace<M>, S> for SwapMutator<S>where
S: HasRand,
impl<S, M: Matcher> Mutator<Trace<M>, S> for SwapMutator<S>where
S: HasRand,
Auto Trait Implementations§
impl<S> RefUnwindSafe for SwapMutator<S>where
S: RefUnwindSafe,
impl<S> Send for SwapMutator<S>where
S: Send,
impl<S> Sync for SwapMutator<S>where
S: Sync,
impl<S> Unpin for SwapMutator<S>where
S: Unpin,
impl<S> UnwindSafe for SwapMutator<S>where
S: UnwindSafe,
Blanket Implementations§
§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.