Struct puffin::fuzzer::mutations::ReplaceMatchMutator
source · pub struct ReplaceMatchMutator<S>where
S: HasRand,{
constraints: TermConstraints,
signature: &'static Signature,
phantom_s: PhantomData<S>,
}
Expand description
REPLACE-MATCH: Replaces a function symbol with a different one (such that types match). An example would be to replace a constant with another constant or the binary function fn_add with fn_sub. It can also replace any variable with a constant.
Fields§
§constraints: TermConstraints
§signature: &'static Signature
§phantom_s: PhantomData<S>
Implementations§
source§impl<S> ReplaceMatchMutator<S>where
S: HasRand,
impl<S> ReplaceMatchMutator<S>where
S: HasRand,
pub fn new(constraints: TermConstraints, signature: &'static Signature) -> Self
Trait Implementations§
source§impl<S, M: Matcher> Mutator<Trace<M>, S> for ReplaceMatchMutator<S>where
S: HasRand,
impl<S, M: Matcher> Mutator<Trace<M>, S> for ReplaceMatchMutator<S>where
S: HasRand,
Auto Trait Implementations§
impl<S> !RefUnwindSafe for ReplaceMatchMutator<S>
impl<S> Send for ReplaceMatchMutator<S>where
S: Send,
impl<S> Sync for ReplaceMatchMutator<S>where
S: Sync,
impl<S> Unpin for ReplaceMatchMutator<S>where
S: Unpin,
impl<S> !UnwindSafe for ReplaceMatchMutator<S>
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.